Mahindra使用基于模型的开发，将传统的车载网络（IVN）文本规范转换为可执行规范。这些可执行规范由使用MATLAB建模的所有Mahindra IVN网络管理逻辑组成^®，S万博1manbetximulink.^®和州流^®。万博1manbetxSimulink Design Verifier™检查任何设计错误并找到死亡逻辑。万博1manbetxSimulink验证和验证™需要可追溯性。矢量独木舟工具箱用于将独木舟与MATLAB集成，以便拍摄可以将消息和信号作为检查网络管理逻辑的输入。最后，Simuli万博1manbetxnk Report Generator™会创建脚本以从开发的模型生成自动报告，这些型号被共享为Mahindra供应商的可执行规范。此迁移的原因是因为IVN团队在其软件交付中的一些供应商面临非常严重的问题。这些交付将具有巨大的开发时间和许多错误。在调查中，Mahindra意识到这些错误主要是由于无法理解他们的规格。供应商理解的许多电话和讨论将是必需的。解决方案是使用基于模型的设计将规范转换为行业标准。

注意：Sim万博1manbetxulink验证和验证转换为R2017B中的Simulink Check，Simulink Coverage和Simulink要求。