Exploring Simulink Design Verifier for Sfunctions

バージョン 1.0.0 (285 KB) 作成者: Ravi
Simulink Design Verifier applied to Auto Pilot model with Voter logic and Mode Transition Logics as Sfunctions
ダウンロード: 49
更新 2019/1/21

ライセンスの表示

This is a validation of an Autopilot model with Voter Logic and Mode Transition using Simulink Design Verifier. The requirements are given as tables. An equivalent Sfunction blocks are created which represents the Voter Logic and Mode Transition Logic. Both Voter Logic and Mode Transition Logic are validated using assertion in the SDV.

引用

Ravi (2024). Exploring Simulink Design Verifier for Sfunctions (https://www.mathworks.com/matlabcentral/fileexchange/70045-exploring-simulink-design-verifier-for-sfunctions), MATLAB Central File Exchange. 取得済み .

MATLAB リリースの互換性
作成: R2017a
R2017a 以降 R2018b 以前と互換性あり
プラットフォームの互換性
Windows macOS Linux
カテゴリ
Help Center および MATLAB AnswersFunctional Requirements Testing についてさらに検索
謝辞

ヒントを得たファイル: Exploring Simulink Design Verifier - 2

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

VoterLogic_MTL_Sfunction/MTL_sfunctionBuilder

VoterLogic_MTL_Sfunction/votingLogic_SfunctionBuilder

VoterLogic_MTL_Sfunction/MTL_sfunctionBuilder

VoterLogic_MTL_Sfunction/sfunction_AutoPilot

VoterLogic_MTL_Sfunction/votingLogic_SfunctionBuilder

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