IEC Certification Kit 提供了工具分类和工具鉴定工作产品,以及模板、证书和验证套件。借助该工具包,您可以在您的环境中鉴定 MathWorks 规范、设计、代码生成和验证工具。
您可以使用该工具包简化嵌入式系统的认证,以便针对 ISO® 26262、IEC 61508、ISO 25119、EN 50128、EN 50657 和 IEC 62304 生成符合标准的完整工具鉴定包。该工具包支持 ASIL A 到 ASIL D(适用于 ISO 26262)和 SIL 1 到 SIL 4(适用于 IEC 61508)。针对所支持的产品和标准,该工具包提供来自认证机构 TÜV 南德的证书和评估报告。
IEC Certification Kit 提供相关文档,帮助您将基于模型的设计用例映射到 ISO 21434(网络安全)、ISO 21448 (SOTIF) 和汽车 SPICE 等功能安全标准和汽车标准的要求。您可以使用该工具包提供的自动化工具和研究案例来启动您的认证项目,并生成在您产品的整个生命周期内都需要的工作产品。
注意:ISO26262:2018 指出,Simulink 和 Stateflow 适用于软件架构和软件单元设计表示法,可作为自动代码生成的基础。
符合 ISO 26262 标准的基于模型的设计研究案例
探索研究案例,逐步了解基于模型的设计如何帮助自动执行和加速您的工程流程,同时确保符合 ISO 26262 标准。
IEC 61508 和相关标准指南
使用经过预先鉴定并广泛使用的参考工作流和工具映射文档,在您的项目或组织中建立符合标准的流程。支持的标准包括 IEC 61508 和派生标准,如 EN 50128、EN 50657、IEC 62304、ISO 25119 和 ISO 26262。
符合汽车 SPICE (A-SPICE) 要求的工具映射
在注重可追溯性、正确性、一致性和完整性理念的指导下,使用基于模型的设计打造符合 A-SPICE 要求的高质量产品。
符合 ISO 21448 (SOTIF) 要求的验证和确认方法
根据 ISO 21448:2021 (SOTIF) 要求,使用基于模型的设计开发高级驾驶辅助系统 (ADAS) 和自动驾驶 (AD) 应用。
通过基于场景的测试来验证和确认预期功能的安全性。
产品资源:
科世达亚洲研发中心使用基于模型的设计开发汽车软件并获得 ISO 26262 ASIL D 级认证
“我们的团队使用基于模型的设计并基于最高功能安全标准来设计、实现和验证软件,这使我们节省了成本,提高了效率,并确保了软件质量。如果没有基于模型的设计,则在相同的时限内,我们需要更多的工程师才能完成项目。”