Exploring Design Verifier

版本 1.2.0.0 (390.7 KB) 作者: Natasha Jeppu
A set of Simulink blocks to explore Design Verifier in Flight Controls
0.0
(0)
576.0 次下载
更新时间 2015/6/25

查看许可证

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.

引用格式

Natasha Jeppu (2024). Exploring Design Verifier (https://www.mathworks.com/matlabcentral/fileexchange/48858-exploring-design-verifier), MATLAB Central File Exchange. 检索来源 .

MATLAB 版本兼容性
创建方式 R2014b
兼容任何版本
平台兼容性
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.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.
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.
1.0.0.0