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 Subfolder||Model Advisor Check||Check ID|
|N/A||Display configuration management data|
|Display model metrics and complexity report|
|Check for unconnected objects|
|Display model version information|
|High-Integrity Systems||See Model Advisor Checks for High-Integrity Systems Modeling Guidelines|
|Simulink||Identify unconnected lines, input ports, and output ports|
|Library Links||Identify unresolved library links|
|Requirements Consistency||See Model Advisor Checks for Requirements Links|
|Bug Reports||See Bug Report Checks (IEC Certification Kit)|