Exploring Simulink Design Verifier - 2

Version 1.0.0.0 (1.1 MB) by Natasha Jeppu
A Simulink Design Verifier applied to Autopilot Mode Transition
0.0
(0)
204 Downloads
Updated 26 Jun 2015

View License

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.

Cite As

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

MATLAB Release Compatibility
Created with R2013b
Compatible with any release
Platform Compatibility
Windows macOS Linux
Categories
Find more on Simulink Design Verifier in Help Center and MATLAB Answers

Community Treasure Hunt

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

Start Hunting!

Version Published Release Notes
1.0.0.0