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 Set Up Tool-Specific Qualification Projects (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 SubfolderModel Advisor CheckCheck ID
N/ADisplay model version informationmathworks.do178.MdlChecksum
High-Integrity SystemsSee Model Advisor Checks for High-Integrity Systems Modeling Guidelines
SimulinkIdentify unconnected lines, input ports, and output portsmathworks.design.UnconnectedLinesPorts
Library LinksIdentify unresolved library linksmathworks.design.UnresolvedLibLinks
Requirements ConsistencySee Model Advisor Checks for Requirements Links
Bug ReportsSee Bug Report Checks (DO Qualification Kit)

Display model version information

Check ID: mathworks.do178.MdlChecksum

Display model version information in your report.

Description

This check displays the following information for the current model:

  • Version number

  • Author

  • Date

  • Model checksum

Available with Simulink Check.

Results and Recommended Actions

ConditionRecommended Action
Could not retrieve model version and checksum information. This summary is provided for your information. No action is required.

Capabilities and Limitations

  • Does not run on library models.

  • Does not allow exclusions of blocks or charts.

See Also