Exploring Simulink Design Verifier for Sfunctions
Simulink Design Verifier applied to Auto Pilot model with Voter logic and Mode Transition Logics as Sfunctions
You are now following this Submission
- You will see updates in your followed content feed
- You may receive emails, depending on your communication preferences
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 .
Acknowledgements
Inspired by: Exploring Simulink Design Verifier - 2
General Information
- Version 1.0.0 (285 KB)
MATLAB Release Compatibility
- Compatible with R2017a to R2018b
Platform Compatibility
- Windows
- macOS
- Linux
| Version | Published | Release Notes | Action |
|---|---|---|---|
| 1.0.0 |
