Applying Model-Based Design to a safety-critical system requires extra consideration and rigor so that the system adheres to defined functional safety standards. ISO 25119, Tractors and machinery for agriculture and forestry — Safety-related parts of control systems, is such a standard.
MathWorks® provides an IEC Certification Kit product that you can use to qualify MathWorks code generation and verification tools for projects based on the ISO 25119 standard. For more information, see IEC Certification Kit.
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.