Mahindra公司使用基于模型的开发将传统车载网络（IVN）文本规格为可执行的规范。这些可执行的规范包括所有的使用MATLAB模型马辛德拉IVN网络管理逻辑^®，S金宝appimulink的^®，和Stateflow^®。金宝appSimulink设计验证™检查任何设计错误，并认定死者逻辑。金宝appSimulink的验证和确认™确实需求跟踪。矢量独木舟工具箱用于与MATLAB整合独木舟以便采取CAN消息和信号作为输入，用于检查所述网络管理逻辑。最后，Simuli金宝appnk的报表生成™创建脚本来生成从开发的车型，这是为可执行规范Mahindra公司的供应商共享自动化报告。这样做的原因迁移，因为IVN队正面临着非常严重的问题，对他们的软件交付少数供应商。这些实物将有巨大的发展时间和许多错误。在调查中，马辛德拉意识到这些错误是主要是考虑到不能够理解他们的规格。无数次电话，并讨论将需要对供应商的理解。该解决方案是转换规格，并且将使用基于模型的设计行业标准。

注：Simu金宝applink的验证与确认过渡到Simulink的检查，Simulink的覆盖面，并在R2017b Simulink的要求。