Exploring Simulink Design Verifier for Sfunctions

Version 1.0.0 (285 KB) by Ravi
Simulink Design Verifier applied to Auto Pilot model with Voter logic and Mode Transition Logics as Sfunctions
0.0
(0)
52 Downloads
Updated 21 Jan 2019

View License

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.

Cite As

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

MATLAB Release Compatibility
Created with R2017a
Compatible with R2017a to R2018b
Platform Compatibility
Windows macOS Linux
Tags Add Tags
Acknowledgements

Inspired by: Exploring Simulink Design Verifier - 2

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 Published Release Notes
1.0.0