汽车行业的高完整性系统的开发特点是需证明符合 ISO® 26262 道路车辆功能安全国际标准。ISO 26262 将功能根据汽车安全完整等级 (ASIL) 分为 A 到 D 四级,A 和 D 分别代表最不严苛和最严苛。OEM 和 一级供应商都在调整其 ECU 开发流程,将基于模型的设计与 ISO 26262 结合使用。
MATLAB、Simulink、Stateflow、Embedded Coder®、MATLAB 和 Simulink® 验证工具以及 Polyspace® 代码验证工具经 TÜV 南德认证为 ISO 26262 标准 ASIL A-D 等级合规工具。此项资格基于特定于应用的自动化验证工作流程。它支持在 Simulink 中使用处理器在环 (PIL) 仿真模式进行背对背模型和代码测试,这是 ISO 26262-6 强烈推荐用于 ASIL C 级和 D 级的做法。这样,工程师便可以利用编码器和编译器优化(包括 Embedded Coder 生成的特定于处理器的代码),生成大规模生产 ECU 需要的执行快速且高效利用内存的软件。除了生成 C 代码,Embedded Coder ISO 26262 工具资格认证用例还包括生成 AUTOSAR 和 C++ 代码的功能。
HDL Coder™ 同样经过了 TÜV SÜD 认证,可用于针对各个 ASIL 开发安全相关产品。HDL Coder 生成可读且可追溯的 VHDL 和 Verilog,可以部署到任何 FPGA、ASIC 和 SoC 设备。HDL Coder 可以配合 HDL Verifier 生成测试平台,以使用 HDL 仿真器和 FPGA 板执行背对背测试。
IEC Certification Kit (for ISO 26262 and IEC 61508) 中提供了工作流程文档、TÜV SÜD 证书和报告、测试套件和其他认证工件。此外,TÜV 南德公司每年均会对 IEC Certification Kit 支持的工具的软件开发和质量工程流程进行审核。
“没有基于模型的设计,我们至少需要多投入 30% 的时间才能完成 ESCL 应用软件的开发和认证。生成符合我们所有速度和内存要求的高效代码,让我们节省了不少的时间和人力。”
Cheng Hui, platform and process manager, KOSTAL
将 MATLAB 应用于 ISO 26262
用于开发 ISO 26262 应用的主要产品:
有关 MathWorks 针对 ISO 26262 所提供支持的更多信息:
- 新闻报道:MathWorks IEC Certification Kit 符合 ISO 26262 第 2 版标准
- 技术文章:LG Chem - 使用基于模型的设计为混合动力汽车电池管理系统开发符合 AUTOSAR 标准的软件
- 用户案例:KOSTAL 通过基于模型的设计获得了 ISO 26262 ASIL D 认证
- 在线研讨会:TI Hercules MCU Optimized Code from Simulink for IEC 61508 and ISO 26262 (45:06)
- 在线研讨会:在稳健高效的工作流中使用预鉴定的开发工具满足 ISO 26262 标准的要求 (42:27)
- 咨询服务:ISO 26262 流程部署
- 文章:如何将 Simulink 用于 ISO 26262 项目
- 视频:通过编辑时检查更早发现合规性问题 (1:28)
- 视频 : 面向 ISO 26262 和 IEC 61508 的 ASIC 和 FPGA 工作流 (3:06)
- 白皮书: 回避 5 大流程陷阱,顺利实现 ISO 26262 合规