MathWorks今天宣布，Simulink Design Verifier和Simulink Verification and Validation已通过TÜV SÜD认证，允许在符合ISO 26262标准的开发流程中使用。这一独立评估结果可以帮助开发高完整性嵌入式系统的汽车工程师们树立必要的信心，让他们相信这些验证工具能够按照其使用案例正常运作。
MathWorks根据ISO 26262-8 标准的最新版本，对Simulink Design Verifier的自动测试用例生成能力和Simulink Verification and Validation的模型覆盖率测量能力进行了分类和资格预审。TÜV SÜD 然后对工具的分类和资格预审结果进行了鉴定。为了进一步帮助汽车工程师在基于模型设计中使用早期验证和确认，MathWorks 通过Simulink Design Verifier和Simulink Verification and Validation的认证证据资料、参考工作流程以及ISO 26262工具资质审核模板，增强了IEC Certification Kit 产品性能。有了这些最新加入的内容，IEC Certification Kit 扩展了对基于模型的设计和验证产品的ISO 26262 工具资质审核支持，其中已包含Embedded Coder和Polyspace代码验证工具。
为了对ISO 26262功能安全标准中涉及到的其他活动提供支持，MathWorks继续与提供互补技术的业务伙伴密切合作。例如，由ikv++ technologies AG提供的功能安全分析工具medini analyze可用于自动确定和分解汽车安全完整性等级 (ASIL)，并可在使用Simulink开发高完整性系统时，提供ISO 26262标准所要求的详细安全分析活动。
关于MathWorks
MathWorks 是数学计算软件的领先软件供应商。MATLAB是一种用于算法开发、数据可视化、数据分析以及数值计算的技术计算语言和编程环境。Simulink是一种用于对多领域动态和嵌入式系统进行仿真和模型设计的图形化环境。全球各地的工程师和科学家均借助其产品系列，加速汽车、航空、电子、金融服务、生物技术医药和其它行业的研究、创新和开发步伐。MathWorks产品同时也是全球大学和教育机构在教学和研究中使用的主要工具。公司于1984年创立，总部位于美国马萨诸塞州内迪克，在全球15个国家有超过2200名员工。
有关其他信息，请访问 。
MATLAB 和Simulink 是The MathWorks, Inc.的注册商标。请访问 ，查看其他商标的列表。其他产品或品牌名称可能为其各自持有人的商标或注册商标。
（转载）
