8:32视频长度为8:32。
使用基于模型的设计构建可执行的规范
Chinmay Chinara,马欣德拉研究谷
Mahindra使用基于模型的开发将传统的车载网络(In-Vehicle Networking, IVN)文本规范转换为可执行规范。这些可执行的规范由所有使用MATLAB建模的Mahindra IVN网络管理逻辑组成®,仿真软件®, Stateflow®.Simulink Design Verifier™检查任何设计错误和发现死逻辑。Simulink验证和验证™实现了需求可追溯性。使用Vector CANoE工具箱将CANoE与MATLAB集成,以CAN消息和信号作为输入,检查网管逻辑。最后,Simulink Report Generator™创建脚本,从开发的模型中生成自动报告,这些报告作为可执行规范共享给Mahindra的供应商。这种迁移的原因是IVN团队在软件交付方面面临着非常严重的问题。这些交付将有大量的开发时间和大量的bug。经过调查,马欣德拉意识到这些bug主要是由于无法理解它们的规格。要让供应商理解,需要打很多电话和讨论。这个问题的解决方案是使用基于模型的设计将规范转换为行业标准。
注意:在R2017b中,Simulink验证和验证转换为Simulink检查、Simulink覆盖和需求工具箱。
记录:2016年4月26日
您也可以从以下列表中选择网站:
如何获得最佳的网站性能
选择中国网站(中文或英文)以获得最佳的网站表现。其他MathWorks国家网站没有针对从您的位置访问进行优化。