Applying Model-Based Design to a safety-critical system requires extra consideration and rigor so that the system adheres to defined safety standards. IEC 61508, Functional safety of electrical/electronic/programmable electronic safety related systems, is such a standard. Because the standard was published when most software was coded by hand, the standard needs to be mapped to Model-Based Design technologies. For further information about MathWorks® support for IEC 61508, see IEC 61508 Support in MATLAB and Simulink.
MathWorks provides an IEC Certification Kit product that you can use to certify MathWorks code generation and verification tools for projects based on the IEC 61508 standard. For more information, see https://www.mathworks.com/products/iec-61508/.
If you have a Simulink® Check™ product license, you can check that your Simulink model or subsystem and the code that you generate from it complies with selected aspects of the IEC 61508 standard.
To check your model or subsystem:
Open the Model Advisor.
Navigate to By Task > Modeling Standards for IEC 61508.
Run the IEC 61508 (Simulink Check) checks.
For more information on using the Model Advisor, see Check Your Model Using the Model Advisor.
Typically, applications that require certification require some level of traceability between requirements, models, and corresponding code.
|Associate requirements documents with objects in Simulink models|
The Requirements Management Interface Setup (Simulink Requirements) that is available if you have a Simulink Requirements™ license.
|Trace model blocks and subsystems to generated code|
The Model-to-Code Traceability option when generating an HTML report during the code generation or build process.
|Trace generated code to model blocks and subsystems|
The Code-to-Model Traceability option when generating an HTML report during the code generation or build process.