使用 MATLAB 和 Simulink 进行 ISO 26262 合规

汽车行业高完整性系统的开发特点是需证明符合 ISO^® 26262 道路车辆功能安全国际标准。ISO 26262 将功能根据汽车安全完整性等级 (ASIL) 从低到高分为 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 南德认证，适用于开发针对所有 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 南德证书和报告、测试套件和其他认证交付物。该工具包提供工作流和交付物来帮助您遵守，并证明您遵守了 ISO 26262。此外，TÜV 南德每年均会对 IEC Certification Kit 支持的工具的软件开发和质量工程流程进行审核。

用于开发 ISO 26262 应用的主要产品：

• IEC Certification Kit (for ISO 26262 and IEC 61508)
• MATLAB
• Simulink
• Stateflow
• Embedded Coder
• Simulink Check
• Simulink Coverage
• Requirements Toolbox
• Simulink Report Generator
• Simulink Design Verifier
• MATLAB Test
• Simulink Test
• Polyspace Bug Finder
• Polyspace Code Prover
• AUTOSAR Blockset
• HDL Coder

有关 MathWorks 对 ISO 26262 标准的支持的更多信息：