Exploring Simulink Design Verifier for Sfunctions

Versión 1.0.0 (285 KB) por Ravi
Simulink Design Verifier applied to Auto Pilot model with Voter logic and Mode Transition Logics as Sfunctions
0.0
(0)
50 descargas
Actualizado 21 ene 2019

Ver licencia

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.

Citar como

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. Recuperado .

Compatibilidad con la versión de MATLAB
Se creó con R2017a
Compatible con cualquier versión desde R2017a hasta R2018b
Compatibilidad con las plataformas
Windows macOS Linux
Categorías
Más información sobre Functional Requirements Testing en Help Center y MATLAB Answers.
Agradecimientos

Inspirado por: 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

Versión Publicado Notas de la versión
1.0.0