The MathWorks 近日宣布，MathWorks Release 2008a 的 Real-Time Workshop Embedded Coder （實時工作間嵌入式編碼器）產品已通過 TÜV SÜD Automotive GmbH 認證。

　　來自 TÜV 的認證報告稱，"負責開發此 Real-Time Workshop Embedded Coder 的 The MathWorks 開發組織已接受審核，以評估其開發與質量保證程序。此評估根據 IEC 61508 側重于評估軟件修改過程、客戶錯誤報告及針對與安全相關的開發的適用性。"

　　此TÜV證書是基于解決"對模型與生成代碼的具體應用驗證與確認"的典型汽車應用工作流。此工作流描述如何將基于模型的設計用于要求符合 IEC 61508-3 的應用。

　　The MathWorks 工程與設計自動化副總裁 Andy Grace 說："TÜV 評估與獲得的相應證書是The MathWorks 的一項重要成果，它進一步表明了我們對汽車行業生產需求的專注與支持。"

　　2008 年 6 月，The MathWorks 宣布其 Real-Time Workshop Embedded Coder 產品已順利通過 Automotive Code Validation Suite（汽車代碼驗證套件，簡稱 AVS）的驗證。AVS 提供了用來驗證嵌入式代碼生成器的一個獨立測試套件。來自 TÜV Rheinland Industrie Service， ASI 的報道稱，"根據 IEC 61508-3:1998（條款7.4.4），使用 AVS 進行的成功驗證將被視為獲得認可程序的驗證依據。"