Exploring Simulink Design Verifier for Sfunctions
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.
Zitieren als
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. Abgerufen .
Kompatibilität der MATLAB-Version
Plattform-Kompatibilität
Windows macOS LinuxKategorien
- Verification, Validation, and Test > Simulink Design Verifier > Generate Tests > Functional Requirements Testing >
Tags
Quellenangaben
Inspiriert von: Exploring Simulink Design Verifier - 2
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!Live Editor erkunden
Erstellen Sie Skripte mit Code, Ausgabe und formatiertem Text in einem einzigen ausführbaren Dokument.
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
Version | Veröffentlicht | Versionshinweise | |
---|---|---|---|
1.0.0 |