Chinmay Chinara,马恒达研究谷
Mahindra使用基于模型的开发将传统的车内网络(IVN)文本规范转换为可执行规范。这些可执行的规范包含了使用MATLAB建模的所有Mahindra IVN网络管理逻辑®,仿金宝app真软件®, Stateflow®.金宝appSimulink Design Verifier™会检查任何设计错误,并找到失效逻辑。金宝appSimulink Verification and Validation™提供需求追溯功能。使用Vector CANoE工具箱将CANoE与MATLAB集成,以CAN消息和信号作为输入,检查网络管理逻辑。最后,Simuli金宝appnk Report Generator™创建脚本,从已开发的模型生成自动报告,这些模型作为可执行规范共享给Mahindra的供应商。进行迁移的原因是,IVN团队在软件交付方面遇到了一些非常严重的问题。这些交付将需要大量的开发时间和大量的bug。在调查中,Mahindra意识到这些bug主要是因为无法理解它们的规范。为了让供应商理解,需要多次电话和讨论。解决方案是使用基于模型的设计将规范转换为行业标准。
注:在R20金宝app17b中,Simulink Verification和Validation已过渡到Simulink Check、Simulink Coverage和Simulink Requirements。
录音时间:2016年4月26日
你也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。