来自 TUV 的认证报告称,“负责开发此 Real-Time Workshop Embedded Coder 的 The MathWorks 开发组织已接受审核,以评估其开发与质量保证程序。此评估根据 IEC 61508 侧重于评估软件修改过程、客户错误报告及针对与安全相关的开发的适用性。”
此TUV证书是基于解决“对模型与生成代码的具体应用验证与确认”的典型汽车应用工作流。此工作流描述如何将基于模型的设计用于要求符合 IEC 61508-3 的应用。
The MathWorks 工程与设计自动化副总裁 Andy Grace 说:“TUV 评估与获得的相应证书是The MathWorks 的一项重要成果,它进一步表明了我们对汽车行业生产需求的专注与支持。”
2008 年 6 月,The MathWorks 宣布其 Real-Time Workshop Embedded Coder 产品已顺利通过 Automotive Code Validation Suite(汽车代码验证套件,简称 AVS)的验证。AVS 提供了用来验证嵌入式代码生成器的一个独立测试套件。来自 TUV Rheinland Industrie Service, ASI 的报道称,“根据 IEC 61508-3:1998(条款7.4.4),使用 AVS 进行的成功验证将被视为获得认可程序的验证依据。”
（电子工程专辑）
