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)的概念，以務實又輕鬆的方式實現大型的設計。」