The development of high-integrity systems within the automotive industry is characterized by demonstrating compliance with ISO® 26262, an international standard for road vehicle functional safety. ISO 26262 classifies functions in automotive safety integrity levels (ASIL) from A to D—that is, from least to most stringent. OEMs and Tier-1 suppliers are adapting their ECU development processes to use Model-Based Design with ISO 26262.
MATLAB, Simulink, Stateflow, Embedded Coder, MATLAB and Simulink verification tools, and Polyspace code verification tools are certified by TÜV SÜD as qualified tools according to ISO 26262 for ASIL A-D. The qualifications are based on an automated, application-specific verification workflow. It supports back-to-back model and code testing, as highly recommended by ISO 26262-6 for ASILs C and D, using the processor-in-the-loop (PIL) simulation mode in Simulink. As such, engineers can leverage coder and compiler optimizations, including processor-specific code generated by Embedded Coder, to produce the fast and memory-efficient software needed for mass production ECUs. In addition to C code generation, Embedded Coder ISO 26262 tool qualification use cases include its AUTOSAR and C++ code generation capabilities.
HDL Coder is also certified by TÜV SÜD to be suitable for use in developing safety related products for all ASILs. HDL Coder generates readable and traceable VHDL and Verilog that can target any FPGA, ASIC and SoC device. It works closely with HDL Verifier to generate testbenches to perform back-to-back testing with HDL simulators and FPGA boards.
The workflow documentation, TÜV SÜD certificates and reports, test suites, and additional certification artifacts are provided in the IEC Certification Kit (for ISO 26262 and IEC 61508). The kit provides workflows and artifacts to help you comply with—and prove that you comply with—ISO 26262. Additionally, TÜV SÜD conducts yearly audits of the software development and quality engineering processes for tools supported by the IEC Certification Kit.
“Without Model-Based Design, we would have needed at least 30% more time to develop and certify the ESCL application software. We saved time and effort by generating efficient code that satisfied all our speed and memory requirements.”
ISO26262:2018 stating Simulink and Stateflow are suitable for Software Architecture and Software Unit Design Notations and as a basis for automatic code generation.
Using MATLAB for ISO 26262
Key products for developing ISO 26262 applications:
- IEC Certification Kit (for ISO 26262 and IEC 61508)
- MATLAB
- Simulink
- Stateflow
- Embedded Coder
- System Composer
- Simulink Check
- Simulink Coverage
- Requirements Toolbox
- Simulink Report Generator
- Simulink Design Verifier
- MATLAB Test
- Simulink Test
- Polyspace Bug Finder
- Polyspace Code Prover
- Polyspace Test
- AUTOSAR Blockset
- HDL Coder
More about MathWorks support for ISO 26262:
- Press Release: MathWorks IEC Certification Kit Compliant with ISO 26262 2nd Edition
- Technical Article: LG Chem - Developing AUTOSAR-Compliant Software for a Hybrid Vehicle Battery Management System with Model-Based Design
- User Story: KOSTAL Receives ISO 26262 ASIL D Certification with Model-Based Design
- Webinar: TI Hercules MCU Optimized Code from Simulink for IEC 61508 and ISO 26262 (45:06)
- Webinar: Meeting ISO 26262 with Pre-Qualified Development Tools in a Robust and Efficient Workflow (42:27)
- Advisory Service: ISO 26262 Process Deployment
- Article: How to Use Simulink for ISO 26262 Projects
- Video: Edit-Time Checking to Find Compliance Issues Earlier (1:28)
- Video: ASIC and FPGA Workflow for ISO 26262 and IEC 61508 (3:06)
- White paper: 5 Process Pitfalls to Avoid in ISO 26262 Compliance
- SAE Paper: Model-Based Design for Safety-Related Applications
- SAE Paper: A Verification and Validation Workflow for IEC 61508 Applications
- MBEES Paper: Qualifying Software Tools According to ISO 26262
- ERTS Paper: Verification and Validation According to ISO 26262
- Guide: 10 Best Practices for Deploying AUTOSAR Using Simulink
- Resources: Automating Verification and Validation with Simulink
- Webinar: TI C2000 MCUs and MathWorks Simulink for IEC 61508 and ISO 26262
- Article: An ISO 26262 Workflow for Automated Driving Applications Using MATLAB: Guidelines and Best Practices
Let us know how we can help you.
Contact us for a custom evaluation, and get pricing based on your needs.
