Exploring Simulink Design Verifier - 2
A Simulink Design Verifier applied to Autopilot Mode Transition
Al momento, stai seguendo questo contributo
- Vedrai gli aggiornamenti nel tuo feed del contenuto seguito
- Potresti ricevere delle email a seconda delle tue preferenze per le comunicazioni
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 (2026). Exploring Simulink Design Verifier - 2 (https://it.mathworks.com/matlabcentral/fileexchange/51567-exploring-simulink-design-verifier-2), MATLAB Central File Exchange. Recuperato .
Riconoscimenti
Ispirato: Exploring Design Verifier - 05, Exploring Simulink Design Verifier for Sfunctions
Informazioni generali
- Versione 1.0.0.0 (1,1 MB)
Compatibilità della release di MATLAB
- Compatibile con qualsiasi release
Compatibilità della piattaforma
- Windows
- macOS
- Linux
| Versione | Pubblicato | Note della release | Action |
|---|---|---|---|
| 1.0.0.0 |
