设计安全关键系统的监督控制
哈斯。沙玛,MathWorks
Nishaat Vasi, MathWorks
使用基于模型的设计，MathWorks工程师将展示如何开发和测试监控模块。该工作流程涵盖了从复杂状态机的建模和仿真到开环和闭环测试以及PLC代码自动生成的软件开发过程。通过基于模拟的测试，我们在开发的早期阶段发现了设计缺陷。
在我们的演讲中，我们将展示如何:
- 对监控系统进行建模和仿真
- 将需求链接到模型并进行跟踪
- 应用测试和覆盖工具来证明控制算法的正确性
- 从模型生成IEC 61131结构文本，用于将算法部署到PLC系统中
注：Simu万博1manbetxlink验证和确认转换为R2017b中的Simulink检查、Simulink覆盖范围和Simulink要求。
产品焦点
记录时间:2015年5月21日
相关视频和网络研讨会
您还可以从以下列表中选择网站：