Exploring Simulink Design Verifier for Sfunctions

Version 1.0.0 (285 ko) par Ravi
Simulink Design Verifier applied to Auto Pilot model with Voter logic and Mode Transition Logics as Sfunctions
0.0
(0)
50 téléchargements
Mise à jour 21 jan. 2019

Afficher la licence

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.

Citation pour cette source

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. Récupéré le .

Compatibilité avec les versions de MATLAB
Créé avec R2017a
Compatible avec les versions R2017a à R2018b
Plateformes compatibles
Windows macOS Linux
Catégories
En savoir plus sur Functional Requirements Testing dans Help Center et MATLAB Answers
Remerciements

Inspiré par : 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

Version Publié le Notes de version
1.0.0