使用 MATLAB 和 Simulink,工程团队可以在加速产品开发的同时确保其符合最严格的安全标准要求,如 ISO 26262、IEC 61508、EN 50128、EN 50657、IEC 62304、ISO 25119、DO-178C 和 DO-254。
DO Qualification Kit 和 IEC Certification Kit 提供了参考工作流和指导,让您可以在过程模型的每一步都满足安全标准的要求。
这些工具包提供关于方法和工具用例的指导,您可以在系统、硬件和软件级别使用它们执行设定、设计、实现、验证和确认活动。基于模型的设计的验证和确认涵盖从验证软件单元到确认系统需求的各种活动。使用基于模型的设计仿真功能,您甚至可以在最终实现或生产预备硬件可用之前就开始执行上述大部分验证和确认活动。
系统级概念和开发活动
借助基于模型的设计,您可以使用 System Composer、Simulink、Simscape 以及 Simulink 中的验证和确认工具来概念化、指定、设计、开发、验证和确认您的电气和/或电子 (E/E) 系统,包括:
- 系统安全和非安全要求的规范
- 架构设计的开发和规范,支持到系统需求的向后可追溯性和到单个学科(硬件和软件)的向前可追溯性
- 尽早进行系统需求和系统设计的验证和确认
- 系统快速原型构建 和系统级硬件在环测试
软件级别的开发活动
工程师使用基于模型的设计开发满足认证标准的嵌入式软件 (23:33)
- 软件安全和非安全要求的规范
- 软件架构设计的开发,支持到软件需求的向后可追溯性和到软件元素得向前可追溯性
- 软件单元的设计和实现。实现可以使用自动代码生成,或者手动编写代码。
- 软件组件的设计、实现和集成,包括从软件组件模型自动生成代码
- 软件单元、软件组件和完整集成的嵌入式软件级别的静态和动态验证
使用 HDL Verifier 确保您生成的 RTL 符合要求。
标准
以下链接显示特定于各种标准的内容;然而,由于不同认证标准之间存在许多共性,您可以将一些方法和概念从一个标准迁移到另一个标准,几乎无需任何改动。
用于功能安全标准合规性的关键产品:
- IEC Certification Kit(适用于 ISO 26262,IEC 61508,和相关标准)
- DO Qualification Kit(适用于 DO-178C 和相关标准)