Exploring Simulink Design Verifier - 2

バージョン 1.0.0.0 (1.1 MB) 作成者: Natasha Jeppu
A Simulink Design Verifier applied to Autopilot Mode Transition
0.0
(0)
ダウンロード: 209
更新 2015/6/26

ライセンスの表示

This is a validation of an Autopilot Mode Transition using Simulink Design Verifier. The requirements are given as tables. An equivalent model is created which represents this mode transition. This is validated using assertion in the SDV. The SDV is compared with random test runs against the same set of assertions. Matlab m files are provided to run the cases.

引用

Natasha Jeppu (2026). Exploring Simulink Design Verifier - 2 (https://jp.mathworks.com/matlabcentral/fileexchange/51567-exploring-simulink-design-verifier-2), MATLAB Central File Exchange. 取得日: .

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

バージョン 公開済み リリース ノート
1.0.0.0