IEC Certification Kit (for ISO 26262 and IEC 61508)

 

IEC Certification Kit (for ISO 26262 and IEC 61508)

针对 ISO 26262 和 IEC 61508 认证鉴定软件工具

视频长度为 1:54
示意图说明根据 ISO 26262 针对工具用例执行的分类步骤(左)和所需验证(右)。

工具分类和工具鉴定

借助鉴定工件和模板文档,根据功能安全标准对 MathWorks 规范、设计、代码生成和验证工具进行分类和鉴定。

TÜV 南德为基于模型的设计所用的工具颁发的认证标志。

TÜV 南德的认证工件

使用 TÜV 南德提供的证书和证书报告,强化您的安全案例和工具鉴定包。

该表列出了用于开发和编辑 Simulink 模型的 AI 工具可能出现的功能异常及其工具影响。

AI 工具分类指南

借助 TÜV 南德认证的指南,将智能体 AI 引入您的基于模型的工程工作流。该 ISO 26262 指南涵盖模型编辑、模型审查和测试用例生成等 AI 辅助用例。

符合 ISO 26262 标准的基于模型的设计研究案例

探索研究案例,逐步了解基于模型的设计如何帮助自动执行和加速您的工程流程,同时确保符合 ISO 26262 标准。

IEC 61508 和相关标准指南

使用经过预先鉴定并广泛使用的参考工作流和工具映射文档,在您的项目或组织中建立符合标准的流程。支持的标准包括 IEC 61508 和派生标准,如 EN 50128、EN 50657、IEC 62304、ISO 25119 和 ISO 26262。

IEC Certification Kit 提供的 A-SPICE 工具映射文档摘录,显示 SWE1 中的基本实践示例(左列)以及适用的用例与工件(其他列)。

符合汽车 SPICE (A-SPICE) 要求的工具映射

在注重可追溯性、正确性、一致性和完整性理念的指导下,使用基于模型的设计打造符合 A-SPICE 要求的高质量产品。

符合 ISO 21434 标准的网络安全系统

应用 IEC Certification Kit 指南,以便更好地检测嵌入式软件中的漏洞,并使用基于模型的设计构建符合 ISO 21434 标准的网络安全系统。

Simulink 系统模型示例,其中包括通过 CAN 总线连接的控制器和被控对象子模型,以及用于对 CAN 总线发起模拟网络安全攻击的交换机。

符合 ISO 21434 标准的网络安全系统

应用 IEC Certification Kit 指南,以便更好地检测嵌入式软件中的漏洞,并使用基于模型的设计构建符合 ISO 21434 标准的网络安全系统。

科世达亚洲研发中心使用基于模型的设计开发汽车软件并获得 ISO 26262 ASIL D 级认证

“我们的团队使用基于模型的设计并基于最高功能安全标准来设计、实现和验证软件,这使我们节省了成本,提高了效率,并确保了软件质量。如果没有基于模型的设计,则在相同的时限内,我们需要更多的工程师才能完成项目。”

有兴趣了解 IEC Certification Kit?