41:12视频长度为41:12。
安全关键系统的监控设计
使用基于模型的设计,MathWorks工程师将展示如何开发和测试监控模块。该工作流程横跨软件开发过程,从复杂状态机的建模和仿真,到开环和闭环测试以及自动PLC代码生成。通过基于模拟的测试,我们可以在开发的早期阶段发现设计缺陷。
在我们的演示中,我们将演示如何:
- 对监控系统进行建模和仿真
- 将需求链接并跟踪到模型
- 应用测试和覆盖工具来证明控制算法的正确性
- 从模型生成IEC 61131结构文本,用于将算法部署到PLC系统
注意:在R2金宝app017b中,Simulink验证和验证转换为Simulink检查、Simulink覆盖和需求工具箱。
记录:2015年5月21日
相关产品下载188bet金宝搏
您也可以从以下列表中选择一个网站:
如何获得最佳的网站性能
选择中国站点(中文或英文)以获得最佳站点性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。