设计关键安全系统的监控

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

在我们的演讲中,我们将展示如何:

• 模型和模拟监控系统
• 链接和跟踪需求到模型中
• 应用测试和覆盖工具证明了控制算法的正确性
• 从模型生成IEC 61131结构文本PLC系统部署算法

注意:仿真软金宝app件验证和确认转换到仿真软件检查,仿真软件的覆盖率和需求在R2017b工具箱。