Exploring Simulink Design Verifier - 2

Version 1.0.0.0 (1,1 Mo) par Natasha Jeppu
A Simulink Design Verifier applied to Autopilot Mode Transition
0.0
(0)
204 téléchargements
Mise à jour 26 juin 2015

Afficher la licence

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.

Citation pour cette source

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

Compatibilité avec les versions de MATLAB
Créé avec R2013b
Compatible avec toutes les versions
Plateformes compatibles
Windows macOS Linux
Catégories
En savoir plus sur Simulink Design Verifier dans Help Center et MATLAB Answers

Community Treasure Hunt

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

Start Hunting!

Version Publié le Notes de version
1.0.0.0