Exploring Simulink Design Verifier - 2

Versión 1.0.0.0 (1,1 MB) por Natasha Jeppu
A Simulink Design Verifier applied to Autopilot Mode Transition
0.0
(0)
204 descargas
Actualizado 26 jun 2015

Ver licencia

This is a validation of an Autopilot Mode Transition using Simulink Design Verifier. The requirements are given as tables. An equivalent model is created which represents this mode transition. This is validated using assertion in the SDV. The SDV is compared with random test runs against the same set of assertions. Matlab m files are provided to run the cases.

Citar como

Natasha Jeppu (2024). Exploring Simulink Design Verifier - 2 (https://www.mathworks.com/matlabcentral/fileexchange/51567-exploring-simulink-design-verifier-2), MATLAB Central File Exchange. Recuperado .

Compatibilidad con la versión de MATLAB
Se creó con R2013b
Compatible con cualquier versión
Compatibilidad con las plataformas
Windows macOS Linux
Categorías
Más información sobre Simulink Design Verifier en Help Center y MATLAB Answers.

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Versión Publicado Notas de la versión
1.0.0.0