Chinmay Chinara, Mahindra Research Valley
Mahindra使用基于模型的开发,将传统的车载网络(IVN)文本规范转换为可执行规范。这些可执行规范由所有使用MATLAB建模的Mahindra IVN网络管理逻辑组成®,仿万博1manbetx真软件®,Stateflow®。万博1manbetxSimulink设计验证程序™检查任何设计错误并找到死逻辑。万博1manbetxSimulink验证和验证™进行需求跟踪。利用向量独木舟工具箱将独木舟与MATLAB进行集成,以CAN消息和信号作为输入,对网络管理逻辑进行检查。最后,Simuli万博1manbetxnk Report Generator™创建脚本,以从开发的模型生成自动化报告,这些报告作为可执行规范共享给Mahindra的供应商。这种迁移的原因是IVN团队在软件交付方面面临着一些供应商的严重问题。这些交付将会有大量的开发时间和大量的bug。在调查中,Mahindra意识到这些bug主要是由于无法理解它们的规范造成的。供应商需要多次电话和讨论才能理解。对此的解决方案是使用基于模型的设计将规范转换为行业标准。
注意:Sim万博1manbetxulink验证和确认在R2017b中转换为Simulink检查、Simulink覆盖和Simulink要求。
记录:2016年4月26日
你也可以从以下列表中选择一个网站:
选择中国网站(中文或英文),以获得最佳的网站表现。其他MathWorks国家站点没有针对您所在位置的访问进行优化。