Exploring Simulink Design Verifier - 2
版本 1.0.0.0 (1.1 MB) 作者:
Natasha Jeppu
A Simulink Design Verifier applied to Autopilot Mode Transition
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.
引用格式
Natasha Jeppu (2024). Exploring Simulink Design Verifier - 2 (https://www.mathworks.com/matlabcentral/fileexchange/51567-exploring-simulink-design-verifier-2), MATLAB Central File Exchange. 检索来源 .
MATLAB 版本兼容性
创建方式
R2013b
兼容任何版本
平台兼容性
Windows macOS Linux类别
在 Help Center 和 MATLAB Answers 中查找有关 Simulink Design Verifier 的更多信息
标签
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!版本 | 已发布 | 发行说明 | |
---|---|---|---|
1.0.0.0 |