安全关键系统的监控设计

使用基于模型的设计，MathWorks工程师将展示如何开发和测试监控模块。该工作流程横跨软件开发过程，从复杂状态机的建模和仿真，到开环和闭环测试以及自动PLC代码生成。通过基于模拟的测试，我们可以在开发的早期阶段发现设计缺陷。

在我们的演示中，我们将演示如何:

• 对监控系统进行建模和仿真
• 将需求链接并跟踪到模型
• 应用测试和覆盖工具来证明控制算法的正确性
• 从模型生成IEC 61131结构文本，用于将算法部署到PLC系统

注意:在R2万博1manbetx017b中，Simulink验证和验证转换为Simulink检查、Simulink覆盖和需求工具箱。