The MathWorks公司正式宣布，R2007b版本中的嵌入式C程序代码产生器 (Real-Time Workshop Embedded Coder) ，成功地通过汽车电子程序码验证软件(Automotive Code Validation Suite: AVS)的测试。汽车电子程序码验证软件(AVS)，提供需要取得认证标准的嵌入式程序代码产生器工具一个独立的测试环境。德国莱因集团(TÜV RHEINLAND)内的报告指出，「根据IEC 61508-3:1998标准7.4.4条款，能够成功利用汽车电子程序码验证软件(AVS)的检测工具，都应该被视为是取得业界标准程序的保障。」

The MathWorks公司台湾总代理钛思科技表示，汽车电子程序码验证软件(AVS)协助工程人员能够有效检测一系列的模型化基础设计(Model-Based Design)工具；从model规格，到最后经由程序代码产生器、编译工具、链接工具和嵌入式处理器所产生的嵌入式程序代码。这项由德国莱因集团(TÜV RHEINLAND)工具所执行的有效性检测，证明经由C程序代码产生器 (Real-Time Workshop Embedded Coder) 产生的C code，和Simulink及Stateflow model中产生的结果是一致的。汽车电子程序码验证软件(AVS)是在2002年由德国Continental Automotive Systems公司、福特汽车、和德国莱因集团(TÜV RHEINLAND)所建立的，而目前此一工具也开放给汽车电子开发大厂及供货商使用。

根据德国Continental Automotive Systems公司Torsten Sauer表示，「这项成功的案例等于向工程人员和项目经理表示，他们必须把嵌入式C程序代码产生器 (Real-Time Workshop Embedded Coder) ，应用在安全性特别重要的系统研发上。同时，应该鼓励所有的人都要遵照该项验证检测方式，才能确保特定的制程架构没有问题。」

The MathWorks公司的工程及设计自动化副总Andy Grace则表示，「利用汽车电子程序码验证软件(AVS)进行检测，让大家了解工程人员如何在严格的开发过程中，使用模型化基础设计(Model-Based Design)的概念，以务实又轻松的方式实现大型的设计。」