File Exchange

image thumbnail

Exploring Design Verifier

version 1.2.0.0 (391 KB) by Natasha Jeppu
A set of Simulink blocks to explore Design Verifier in Flight Controls

1 Download

Updated 25 Jun 2015

View License

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 (2020). Exploring Design Verifier (https://www.mathworks.com/matlabcentral/fileexchange/48858-exploring-design-verifier), MATLAB Central File Exchange. Retrieved .

Comments and Ratings (1)

Bin Zhang

thank you very much for your shared Case.

Updates

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.2.0.0

There was an error in the priority circuit. This has been corrected. A mutant file for Priority is included which shows how SDV works in bringing out the error.

1.1.0.0

Added a picture.

MATLAB Release Compatibility
Created with R2014b
Compatible with any release
Platform Compatibility
Windows macOS Linux