Exploring Design Verifier

A set of Simulink blocks to explore Design Verifier in Flight Controls

Version 1.2.0.0 (391 ko)
586 téléchargements
(0)
25 juin 2015

Vous suivez désormais cette soumission

This is a collection of Simulink models which can be used to explore Simulink Design Verifier. The blocks are commonly used in flight control laws. The verification utilities of SDV prove the correctness of implementation. The requirements for the blocks is given as a PDF file. Some of the blocks have mutations introduced to show the working of SDV.

D’autres ont également téléchargé

kmap

3,7K téléchargements

4,00 / 5 (4)

Citation pour cette source

Natasha Jeppu (2026). Exploring Design Verifier (https://fr.mathworks.com/matlabcentral/fileexchange/48858-exploring-design-verifier), MATLAB Central File Exchange. Extrait(e) le .

Catégories

En savoir plus sur Simulink Design Verifier dans Help Center et MATLAB Answers

Informations générales

Compatibilité avec les versions de MATLAB

  • Compatible avec toutes les versions

Plateformes compatibles

  • Windows
  • macOS
  • Linux
Ouvrir dans un nouvel onglet
Version Publié le Notes de version
1.2.0.0

I have added a Transient Free Switch block for the SDV. Please refer to http://www.mathworks.com/matlabcentral/fileexchange/39047-testing-of-safety-critical-control-systems for details of TFS block.
There was an error in the priority circuit. This has been corrected. A mutant file for Priority is included which shows how SDV works in bringing out the error.
1.1.0.0

Added a picture.
1.0.0.0