随着嵌入式系统设计越来越复杂，其模型扩展到数万个组成模块已是常见的系统设计，因此利用基于标准的建模准则增强设计代码的可读性、可维护性及提升代码的复用，同时防止出现建模错误，正是系统设计商迫切的需求。The MathWorks公司最新发布的2.0版MATLAB、Simulink和Stateflow控制算法建模新准则，则实现了汽车工程团队为规格交换、仿真、自动代码生成、归档和测试定义建立和管理模型的功能。MathWorks公司Jim Tung表示，多年以来世界领先的汽车公司均通过The MathWorks公司的MATLAB、Simulink和Stateflow应用基于模型的设计，以此来解决在工程分析、建模和仿真、快速原型、自动代码生成及系统验证和确认领域中出现的开发和测试挑战。

　　The MathWorks的Simulink Verification and Validation 软件能够自动评估和验证系统模型与DO-178B和IEC-61508标准及MAAB建模准则的合格性，用于这些安全关键标准的最新模型检查功能使Simulink Verification and Validation所提供的现有支持扩展到客户开发的建模准则。Jim Tung称，MATLAB开放的产品体系使MATLAB成为诸多领域系统开发首选软件，通过分布在各领域的300 余家第三方合作伙伴，以联合建模、数据共享、开发流程衔接等方式，组成了在不同领域内的完整解决方案，实现了从算法开发到实时仿真再到代码生成与最终产品实现的完整过程。

　　Simulink Verification and Validation 包括用于DO-178B、IEC-61508和MAAB工程开发准则的建模标准检查功能，工程师们可以使用Simulink Verification and Validation中的自定义应用编程接口（API），来开发自己的建模检查功能并实现自动执行。据Jim Tung介绍，在MATLAB产品系列中，自动化的代码生成工具主要有Real-Time Workshop（RTW）和Real-Time Workshop Embedded Coder，这两种代码生成工具可以直接将Simulink的模型框图和Stateflow的状态图分别转换成快速原形或者高效优化的产品级代码。

　　The MathWorks日前推出了R2008a版的Simulink和Real-Time Workshop Embedded Coder，支持导入和导出AUTOSAR软件组件说明及生成AUTOSAR兼容产品级代码。其强大、灵活的内置功能，由AUTOSAR的创作工具（Authoring Tool 如Vector Informatik的DaVinci Tool Suite）生成的软件组件可以被自动导入Simulink，以设计和实现组件的功能。这样，一个单独的Simulink模块就可以在AUTOSAR和非AUTOSAR环境中的进行仿真、快速原型实现和产品级代码生成，使工程师们不再需要为了支持AUTOSAR而采用新的模块集或工具。

　　The MathWorks北美和亚太区汽车行业市场经理金文思表示，为AUTOSAR提供新支持是MathWorks工具的一项重要增强功能，这使汽车开发商可利用其现有的工具和知识来开发与AUTOSAR兼容的嵌入式系统及生成生产数据。金文思介绍，在完成组件的建模和设计之后，使用最新版的Real-Time Workshop Embedded Coder即可自动生成AUTOSAR兼容代码。为了验证所生成的代码并根据参考模型行为对其进行检测，软件通过自动配置和生成代码接口为软件在环检测提供支持，该代码用于发送使用AUTOSAR运行时间环境API调用的仿真数据。

　　除了组件之外，Real-Time Workshop Embedded Coder还可以自动生成经过更新的AUTOSAR软件组件定义文档，使组件可与AUTOSAR运行环境（RTE）和AUTOSAR基本软件整合。金文思表示，通过汽车开放系统架构（AUTOSAR）合作，汽车OEM厂商、供应商和工具销售商围绕一个标准展开合作，帮助应对汽车电子领域内日益增长的复杂性并在不降低质量的前提下改善成本效率。