MathWorks® intends this document for engineers developing models and generating code for high-integrity systems using Model-Based Design with MathWorks products. This document describes creating Simulink® models that are complete, unambiguous, statically deterministic , robust, and verifiable. The document focus is on model settings, block usage, and block parameters that impact simulation behavior or code generated by the Embedded Coder® product.
These guidelines do not assume that you use a particular safety or certification standard. The guidelines reference some safety standards where applicable, including:
Guidelines in this document might also be applicable to related standards, including IEC 62304, and DO-254.
You can use the Model Advisor to support adhering to these guidelines. Each guideline lists the checks that are applicable to that guideline, or to parts of that guideline.
This document does not address model style or development processes. For more information about creating models in a way that improves consistency, clarity, and readability, see the MAAB Control Algorithm Modeling guidelines. Development process guidance and additional information for specific standards is available with the IEC Certification Kit (for IEC 61508 and ISO 26262) and DO Qualification Kit (for DO-178 and DO-254) products.
Disclaimer While adhering to the recommendations in this document will reduce the risk that an error is introduced during development and not be detected, it is not a guarantee that the system being developed will be safe. Conversely, if some of the recommendations in this document are not followed, it does not mean that the system being developed will be unsafe.