Exploring Design Verifier
A set of Simulink blocks to explore Design Verifier in Flight Controls
You are now following this Submission
- You will see updates in your followed content feed
- You may receive emails, depending on your communication preferences
This is a collection of Simulink models which can be used to explore Simulink Design Verifier. The blocks are commonly used in flight control laws. The verification utilities of SDV prove the correctness of implementation. The requirements for the blocks is given as a PDF file. Some of the blocks have mutations introduced to show the working of SDV.
Cite As
Natasha Jeppu (2026). Exploring Design Verifier (https://uk.mathworks.com/matlabcentral/fileexchange/48858-exploring-design-verifier), MATLAB Central File Exchange. Retrieved .
Acknowledgements
Inspired by: Testing Safety Critical Control Systems, Safety Critical Control Elements Examples
General Information
- Version 1.2.0.0 (391 KB)
MATLAB Release Compatibility
- Compatible with any release
Platform Compatibility
- Windows
- macOS
- Linux
| Version | Published | Release Notes | Action |
|---|---|---|---|
| 1.2.0.0 | I have added a Transient Free Switch block for the SDV. Please refer to http://www.mathworks.com/matlabcentral/fileexchange/39047-testing-of-safety-critical-control-systems for details of TFS block.
|
||
| 1.1.0.0 | Added a picture. |
||
| 1.0.0.0 |
