Exploring Simulink Design Verifier for Sfunctions

版本 1.0.0 (285.4 KB) 作者: Ravi
Simulink Design Verifier applied to Auto Pilot model with Voter logic and Mode Transition Logics as Sfunctions
49.0 次下载
更新时间 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 CenterMATLAB Answers 中查找有关 Functional Requirements Testing 的更多信息

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