With MATLAB and Simulink, engineering teams speed up product development while ensuring compliance with the most rigorous requirements of safety standards such as ISO 26262, IEC 61508, EN 50128, EN 50657, IEC 62304, ISO 25119, DO-178C, and DO-254.
DO Qualification Kit and IEC Certification Kit provide reference workflows and guidance that let you meet the requirements of safety standards throughout their process models.
The kits provide guidance on methods and tool use cases, which you can use at the system, hardware, and software levels covering specification, design, implementation, verification, and validation activities. Verification and validation with Model-Based Design span activities of verifying software units to validating system requirements. With Model-Based Design simulation capabilities, you can shift left much of these verification and validation activities even before final implementation or production-intent hardware becomes available.
A reference workflow for system and software certification in DO Qualification Kit and IEC Certification Kit.
Concept and Development Activities at the System Level
With Model-Based Design, you can use System Composer, Simulink, Simscape, and verification and validation tools in Simulink to conceptualize, specify, design, develop, verify, and validate your electrical and/or electronic (E/E) systems, including:
- Specification of system safety and non-safety requirements
- Development and specification of architectural designs with backward traceability to system requirements and forward traceability to individual disciplines (hardware and software)
- Early verification and validation of system requirements and system designs
- System rapid prototyping and system-level hardware-in-the-loop testing
Development Activities at the Software Level
Engineers develop embedded software with Model-Based Design to meet certification standards
- Specification of software safety and non-safety requirements
- Development of software architecture designs with backward and forward traceability, respectively, to software requirements and software elements
- Design and implementation of software units, without or with automatic code generation
- Design, implementation, and integration of software components, including automated code generation from software component models
- Static and dynamic verification of software units, software components, and fully integrated embedded software
Testing your software as soon as your detailed design models become available.
Development Activities at the Hardware Level
Model-Based Design lets engineering teams develop FPGA and ASIC applications that comply with standard requirements on programmable logic devices, including design and verification activities.
Using HDL Verifier to ensure your generated RTL functions as required.
Supporting Processes
In addition to engineering processes, Model-Based Design provides several capabilities relevant to supporting processes.
Running MATLAB and Simulink on your own CI server.
Standards
The following links show content specific to various standards; however, due to many commonalities among different certification standards, you can transfer several methods and concepts from one standard to another with little to no change.
Key products for complying with Functional Safety standards:
- IEC Certification Kit (for ISO 26262, IEC 61508, and related standards)
- DO Qualification Kit (for DO 178C and related standards)
Let us know how we can help you.
Contact us for a custom evaluation, and get pricing based on your needs.
