34:30
视频长度为 34:30
安全关键系统的监控逻辑设计
MathWorks工程师将针对监控系统,使用基于模型的设计方式,演示设计和测试的过程。该过程涵盖复杂状态机的建模和仿真,开环,闭环系统的测试以及自动化PLC代码的生成过程。通过基于仿真的测试,可以在系统开发早期,检查出系统的设计错误。
在演示过程中,您将看到:
- 监控系统的建模和仿真
- 需求和模型的双向追溯
- 对控制逻辑的测试和覆盖度检查,以保证其正确性
- 为模型生成IEC 61131 结构化文本,将算法发布到PLC系统中
关于演示者
吴菁:MathWorks中国区高级应用工程师,机械电子工程硕士,专注于控制系统设计的行业应用。毕业于北京航空航天大学,获得机械电子工程学士学位,曾就职于中国运载火箭技术研究院(CASA),从事运载火箭的推力矢量控制系统的开发工作,并获得硕士学位。
Flash用户:把鼠标移动到视频上查看内容大纲 提醒:Simulink Verification and Validation 在R2017b版本转变到 Simulink Check、Simulink Coverage和Simulink Requirement中。 |
录制日期: 2016 年 11 月 24 日
您也可以从以下列表中选择网站:
如何获得最佳网站性能
选择中国网站(中文或英文)以获得最佳网站性能。其他 MathWorks 国家/地区网站并未针对您所在位置的访问进行优化。
美洲
- América Latina (Español)
- Canada (English)
- United States (English)
欧洲
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
亚太
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)