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 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 (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
Condition | Recommended 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
Reports for Code Generation (Simulink Coder)
Radio Technical Commission for Aeronautics (RTCA) for information on the DO-178C Software Considerations in Airborne Systems and Equipment Certification and related standards