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