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
Cite As
Natasha Jeppu (2026). Exploring Design Verifier (https://in.mathworks.com/matlabcentral/fileexchange/48858-exploring-design-verifier), MATLAB Central File Exchange. Retrieved .
Acknowledgements
Inspired by: Testing Safety Critical Control Systems
General Information
- Version 1.2.0 (391 KB)
MATLAB Release Compatibility
- Compatible with any release
Platform Compatibility
- Windows
- macOS
- Linux
| Version | Published | Release Notes | Action |
|---|---|---|---|
| 1.2.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 | Added a picture. |
||
| 1.0.0 |
