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