Main Content

Model Advisor Checks for DO-178C/DO-331 Industry Standards

You can use the Model Advisor to check that your model or subsystem complies with selected aspects of the DO-178C / DO-331 safety standards.

To execute these checks, open the Model Advisor and run the checks in By Task > Modeling Guidelines for DO-178C/DO-331.

Execution of these checks requires Embedded Coder®, Simulink® Check™, Simulink Design Verifier™, or Requirements Toolbox™.

For the list of Model Advisor checks that are qualified by the DO Qualification Kit for use in projects involving the DO-178 standard and related standards, see Simulink Check - Trace Matrix (mathworks_slchk_trace.xlsx). This artifact is available in the qualification project that you create for Simulink Check. For more information, see Create a Tool-Specific Qualification Project (DO Qualification Kit).


If your model uses model referencing, run qualified checks on all referenced models before running them on the top-level model.

Model Advisor SubfolderModel Advisor CheckCheck ID
N/ADisplay configuration management datamathworks.iec61508.MdlVersionInfo
Display model metrics and complexity reportmathworks.iec61508.MdlMetricsInfo
Check for unconnected objectsmathworks.iec61508.UnconnectedObjects
Display model version informationmathworks.do178.MdlChecksum
High-Integrity SystemsSee Model Advisor Checks for High-Integrity Systems Modeling Guidelines
SimulinkIdentify unconnected lines, input ports, and output
Library LinksIdentify unresolved library
Requirements ConsistencySee Model Advisor Checks for Requirements Links
Bug ReportsSee Bug Report Checks (IEC Certification Kit)