Exploring Design Verifier
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.
Citar como
Natasha Jeppu (2024). Exploring Design Verifier (https://www.mathworks.com/matlabcentral/fileexchange/48858-exploring-design-verifier), MATLAB Central File Exchange. Recuperado .
Compatibilidad con la versión de MATLAB
Compatibilidad con las plataformas
Windows macOS LinuxCategorías
- Verification, Validation, and Test > Simulink Design Verifier >
- Engineering > Aerospace Engineering > GNC and Avionics >
Etiquetas
Agradecimientos
Inspirado por: Testing Safety Critical Control Systems, Safety Critical Control Elements Examples
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!Descubra Live Editor
Cree scripts con código, salida y texto formateado en un documento ejecutable.
Versión | Publicado | Notas de la versión | |
---|---|---|---|
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.
|
||
1.1.0.0 | Added a picture. |
||
1.0.0.0 |