Exploring Simulink Design Verifier for Sfunctions

Simulink Design Verifier applied to Auto Pilot model with Voter logic and Mode Transition Logics as 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.