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.
Recorded: 21 May 2015
You can also select a web site from the following list:
How to Get Best Site Performance
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.