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).

Note

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

Model Advisor Subfolder	Model Advisor Check	Check ID
N/A	Display configuration management data	mathworks.iec61508.MdlVersionInfo
	Display model metrics and complexity report	mathworks.iec61508.MdlMetricsInfo
	Check for unconnected objects	mathworks.iec61508.UnconnectedObjects
	Display model version information	mathworks.do178.MdlChecksum
High-Integrity Systems	See Model Advisor Checks for High-Integrity Systems Modeling Guidelines
Simulink	Identify unconnected lines, input ports, and output ports	mathworks.design.UnconnectedLinesPorts
Library Links	Identify unresolved library links	mathworks.design.UnresolvedLibLinks
Requirements Consistency	See Model Advisor Checks for Requirements Links
Bug Reports	See Bug Report Checks (IEC Certification Kit)