使用基于模型的设计构建可执行的规范

Mahindra使用基于模型的开发将传统的车载网络(IVN)文本规范转换为可执行规范。这些可执行规范由所有使用MATLAB建模的Mahindra IVN网络管理逻辑组成^®,仿万博1manbetx真软件^®和状态流^®．万博1manbetxSimulink Design Verifier™检查任何设计错误并发现死逻辑。万博1manbetxSimulink验证和验证™实现需求可追溯性。使用Vector CANoE工具箱将CANoE与MATLAB集成，以CAN消息和信号作为输入，检查网管逻辑。最后，Simuli万博1manbetxnk Report Generator™创建脚本，从已开发的模型中生成自动报告，这些报告作为可执行规范共享给Mahindra的供应商。进行这种迁移的原因是因为IVN团队在软件交付方面遇到了一些非常严重的供应商问题。这些交付将花费大量的开发时间和大量的bug。经过调查，马欣德拉意识到这些漏洞主要是由于无法理解它们的规格。为了让供应商理解，需要进行大量的电话和讨论。解决方案是使用基于模型的设计将规范转换为行业标准。

注意:在R2万博1manbetx017b中，Simulink验证和验证转换为Simulink检查、Simulink覆盖和需求工具箱。