Designing Supervisory Control for Safety-Critical Systems

Using Model-Based Design, MathWorks engineers will showcase how to develop and test a supervisory control module. The workflow spans the software development process from modeling and simulation of complex state machines, to open-loop and closed-loop testing and automatic PLC code generation.  Through simulation based testing we uncover design flaws at an early stage of development.  

During our presentation, we will show how to:

• Model and simulate a supervisory control system
• Link and trace requirements to the model
• Apply testing and coverage tools to prove correctness of the control algorithm
• Generate IEC 61131 structure text from the model for deploying the algorithm to a PLC system

Note: Simulink Verification and Validation transitioned to Simulink Check, Simulink Coverage, and Requirements Toolbox in R2017b.