Exploring Simulink Design Verifier - 2

Versione 1.0.0.0 (1,1 MB) da Natasha Jeppu
A Simulink Design Verifier applied to Autopilot Mode Transition
0.0
(0)
209 download
Aggiornato 26 giu 2015

Visualizza la licenza

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.

Cita come

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

Compatibilità della release di MATLAB
Creato con R2013b
Compatibile con qualsiasi release
Compatibilità della piattaforma
Windows macOS Linux
Categorie
Scopri di più su Simulink Design Verifier in Help Center e MATLAB Answers
Tag Aggiungi tag

Community Treasure Hunt

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

Start Hunting!

Versione Pubblicato Note della release
1.0.0.0