Exploring Design Verifier

バージョン 1.2.0.0 (391 KB) 作成者: Natasha Jeppu
A set of Simulink blocks to explore Design Verifier in Flight Controls
0.0
(0)
ダウンロード: 583
更新 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 (2026). Exploring Design Verifier (https://jp.mathworks.com/matlabcentral/fileexchange/48858-exploring-design-verifier), MATLAB Central File Exchange. に取得済み.

MATLAB リリースの互換性
作成: R2014b
すべてのリリースと互換性あり
プラットフォームの互換性
Windows macOS Linux
カテゴリ
Help Center および MATLAB Answers で Simulink Design Verifier についてさらに検索
タグ タグを追加

バージョン 公開済み リリース ノート
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