Model Checks for DO-178C/DO-331 Standard Compliance

You can check that your model or subsystem complies with selected aspects of the DO-178C safety standard by running the Model Advisor.

To check compliance with DO standards, open the Model Advisor and run the checks in By Task > Modeling Standards for DO-178C/DO-331.

The table lists the DO-178C/DO-331 checks.

Subfolder	Model Advisor Checks
N/A	Display model version information
MISRA	Check for missing error ports for AUTOSAR receiver interfaces
	Check for unsupported block names
	Check bus object names that are used as bus element names
	Check for equality and inequality operations on floating-point values
	Check for bitwise operations on signed integers
	Check integer word length
	Check for missing const qualifiers in model functions
	Check for recursive function calls
	Check for switch case expressions without a default case
Bug Reports	Display bug reports for DO Qualification Kit (DO Qualification Kit)
	Display bug reports for Simulink Check (DO Qualification Kit)
	Display bug reports for Simulink Coverage (DO Qualification Kit)
	Display bug reports for Requirements Toolbox (DO Qualification Kit)
	Display bug reports for Simulink Code Inspector (DO Qualification Kit)
	Display bug reports for Simulink Report Generator (DO Qualification Kit)
	Display bug reports for Simulink (DO Qualification Kit)
	Display bug reports for Simulink Test (DO Qualification Kit)
	Display bug reports for Simulink Design Verifier (DO Qualification Kit)
	Display bug reports for Embedded Coder (DO Qualification Kit)
	Display bug reports for Polyspace Bug Finder (DO Qualification Kit)
	Display bug reports for Polyspace Bug Finder Server (DO Qualification Kit)
	Display bug reports for Polyspace Code Prover (DO Qualification Kit)
	Display bug reports for Polyspace Code Prover Server (DO Qualification Kit)

The following are the High-Integrity System Modeling checks that are applicable for the DO-178C/DO-331 standards.

Model Checks for High Integrity Systems Modeling

You can check that your model or subsystem complies with selected aspects of the High Integrity System Model safety standard by running the Model Advisor.

To check compliance with High Integrity System Model standards, run the high-integrity checks from these Model Advisor folders:

By Task > Modeling Standards for DO-178C/DO-331 > High-Integrity Systems
By Task > Modeling Standards for IEC 61508 > High-Integrity Systems
By Task > Modeling Standards for IEC 62304 > High-Integrity Systems
By Task > Modeling Standards for EN 50128/EN 50657 > High-Integrity Systems
By Task > Modeling Standards for ISO 26262 > High-Integrity Systems
By Task > Modeling Standards for ISO 25119 > High-Integrity Systems

Model Advisor Checks for High-Integrity Systems Modeling Guidelines

The Simulink^® Check™ Model Advisor provides High-Integrity System Modelling checks that you can use to verify a compliance with safety standards, including:

The high-integrity system modeling guidelines and their corresponding checks are summarized in this table. For the guidelines that do not have Model Advisor checks, it is not possible to automate checking of the guideline. Guidelines without a corresponding check are noted as not applicable.

Model Advisor Check	Check ID	High-Integrity System Modeling Guidelines
Check usage of lookup table blocks	`mathworks.hism.hisl_0033`	hisl_0033: Usage of Lookup Table blocks
Check for inconsistent vector indexing methods	`mathworks.hism.hisl_0021`	hisl_0021: Consistent vector indexing method
Check usage of variant blocks	`mathworks.hism.hisl_0021`	hisl_0023: Verification of variant blocks
Check for root Inports with missing properties	`mathworks.hism.hisl_0024`	hisl_0024: Inport interface definition
Check usage of Relational Operator blocks	`mathworks.hism.hisl_0017`	hisl_0017: Usage of blocks that compute relational operators (2)
Check relational comparisons on floating-point signals	`mathworks.hism.hisl_0016`	hisl_0016: Usage of blocks that compute relational operators
Check usage of Logical Operator blocks	`mathworks.hism.hisl_0018`	hisl_0018: Usage of Logical Operator block
Check usage of While Iterator blocks	`mathworks.hism.hisl_0006`	hisl_0006: Usage of While Iterator blocks
Check usage of For and While Iterator subsystems	`mathworks.hism.hisl_0007`	hisl_0007: Usage of For Iterator or While Iterator subsystems
Check usage of For Iterator blocks	`mathworks.hism.hisl_0008`	hisl_0008: Usage of For Iterator Blocks
Check usage of If blocks and If Action Subsystem blocks	`mathworks.hism.hisl_0010`	hisl_0010: Usage of If blocks and If Action Subsystem blocks
Check usage of Switch Case blocks and Switch Case Action Subsystem blocks	`mathworks.hism.hisl_0011`	hisl_0011: Usage of Switch Case blocks and Action Subsystem blocks
Check safety-related optimization settings for logic signals	`mathworks.hism.hisl_0045`	hisl_0045: Configuration Parameters > Math and Data Types > Implement logic signals as Boolean data (vs. double)
Check safety-related block reduction optimization settings	`mathworks.hism.hisl_0046`	hisl_0046: Configuration Parameters > Simulation Target > Block reduction
Check safety-related optimization settings for application lifespan	`mathworks.hism.hisl_0048`	hisl_0048: Configuration Parameters > Math and Data Types > Application lifespan (days)
Check safety-related optimization settings for data initialization	`mathworks.hism.hisl_0052`	hisl_0052: Configuration Parameters > Code Generation > Optimization > Data initialization
Check safety-related optimization settings for data type conversions	`mathworks.hism.hisl_0053`	hisl_0053: Configuration Parameters > Code Generation > Optimization > Remove code from floating-point to integer conversions that wraps out-of-range values
Check safety-related optimization settings for division arithmetic exceptions	`mathworks.hism.hisl_0054`	hisl_0054: Configuration Parameters > Code Generation > Optimization > Remove code that protects against division arithmetic exceptions
Check safety-related code generation settings for comments	`mathworks.hism.hisl_0038`	hisl_0038: Configuration Parameters > Code Generation > Comments
Check safety-related code generation interface settings	`mathworks.hism.hisl_0039`	hisl_0039: Configuration Parameters > Code Generation > Interface
Check safety-related code generation settings for code style	`mathworks.hism.hisl_0047`	hisl_0047: Configuration Parameters > Code Generation > Code Style
Check safety-related code generation identifier settings	`mathworks.hism.hisl_0049`	hisl_0049: Configuration Parameters > Code Generation > Identifiers
Check usage of Abs blocks	`mathworks.hism.hisl_0001`	hisl_0001: Usage of Abs block
Check usage of remainder and reciprocal operations	`mathworks.sldv.hism.hisl_0002`	hisl_0002: Usage of remainder and reciprocal operations
Check usage of square root operations	`mathworks.hism.hisl_0003`	hisl_0003: Usage of square root operations
Check usage of log and log10 operations	`mathworks.sldv.hism.hisl_0004`	hisl_0004: Usage of natural logarithm and base 10 logarithm operations
Check usage of Assignment blocks	`mathworks.hism.hisl_0029`	hisl_0029: Usage of Assignment blocks
Check usage of Signal Routing blocks	`mathworks.hism.hisl_0034`	hisl_0034: Usage of Signal Routing blocks
Check for root Inports with missing range definitions	`mathworks.hism.hisl_0025`	hisl_0025: Design min/max specification of input interfaces
Check for root Outports with missing range definitions	`mathworks.hism.hisl_0026`	hisl_0026: Design min/max specification of output interfaces
Check state machine type of Stateflow charts	`mathworks.hism.hisf_0001`	hisf_0001: State Machine Type
Check Stateflow charts for transition paths that cross parallel state boundaries	`mathworks.hism.hisf_0013`	hisf_0013: Usage of transition paths (crossing parallel state boundaries)
Check Stateflow charts for ordering of states and transitions	`mathworks.hism.hisf_0002`	hisf_0002: User-specified state/transition execution order
Check Stateflow debugging options	`mathworks.hism.hisf_0011`	hisf_0011: Stateflow debugging settings
Check Stateflow charts for uniquely defined data objects	`mathworks.hism.hisl_0061`	hisl_0061: Unique identifiers for clarity
Check Stateflow charts for strong data typing	`mathworks.hism.hisf_0015`	hisf_0015: Strong data typing (casting variables and parameters in expressions)
Check assignment operations in Stateflow Charts	`mathworks.hism.hisf_0065`	hisf_0065: Type cast operations in Stateflow to improve code compliance
Check Stateflow charts for unary operators	`mathworks.hism.hisf_0211`	hisf_0211: Protect against use of unary operators in Stateflow Charts to improve code compliance
Check for MATLAB Function interfaces with inherited properties	`mathworks.hism.himl_0002`	himl_0002: Strong data typing at MATLAB function boundaries
Check MATLAB Function metrics	`mathworks.hism.himl_0003`	himl_0003: Complexity of user-defined MATLAB Functions
Check MATLAB Code Analyzer messages	`mathworks.hism.himl_0004`	himl_0004: MATLAB Code Analyzer recommendations for code generation
Check safety-related model referencing settings	`mathworks.hism.hisl_0037`	hisl_0037: Configuration Parameters > Model Referencing
Check safety-related diagnostic settings for solvers	`mathworks.hism.hisl_0043`	hisl_0043: Configuration Parameters > Diagnostics > Solver
Check safety-related solver settings for simulation time	`mathworks.hism.hisl_0040`	hisl_0040: Configuration Parameters > Solver > Simulation time
Check safety-related solver settings for solver options	`mathworks.hism.hisl_0041`	hisl_0041: Configuration Parameters > Solver > Solver options
Check safety-related solver settings for tasking and sample-time	`mathworks.hism.hisl_0042`	hisl_0042: Configuration Parameters > Solver > Tasking and sample time options
Check safety-related diagnostic settings for sample time	`mathworks.hism.hisl_0044`	hisl_0044: Configuration Parameters > Diagnostics > Sample Time
Check safety-related diagnostic settings for parameters	`mathworks.hism.hisl_0302`	hisl_0302: Configuration Parameters > Diagnostics > Data Validity > Parameters
Check safety-related diagnostic settings for data used for debugging	`mathworks.hism.hisl_0305`	hisl_0305: Configuration Parameters > Diagnostics > Data Validity > Debugging
Check safety-related diagnostic settings for data store memory	`mathworks.hism.hisl_0013`	hisl_0013: Usage of data store blocks
Check safety-related diagnostic settings for type conversions	`mathworks.hism.hisl_0309`	hisl_0309: Configuration Parameters > Diagnostics > Type Conversion
Check safety-related diagnostic settings for signal connectivity	`mathworks.hism.hisl_0306`	hisl_0306: Configuration Parameters > Diagnostics > Connectivity > Signals
Check safety-related diagnostic settings for bus connectivity	`mathworks.hism.hisl_0307`	hisl_0307: Configuration Parameters > Diagnostics > Connectivity > Buses
Check safety-related diagnostic settings that apply to function-call connectivity	`mathworks.hism.hisl_0308`	hisl_0308: Configuration Parameters > Diagnostics > Connectivity > Function calls
Check safety-related diagnostic settings for compatibility	`mathworks.hism.hisl_0301`	hisl_0301: Configuration Parameters > Diagnostics > Compatibility
Check safety-related diagnostic settings for model initialization	`mathworks.hism.hisl_0304`	hisl_0304: Configuration Parameters > Diagnostics > Data Validity > Model initialization
Check safety-related diagnostic settings for model referencing	`mathworks.hism.hisl_0310`	hisl_0310: Configuration Parameters > Diagnostics > Model Referencing
Check safety-related diagnostic settings for saving	`mathworks.hism.hisl_0036`	hisl_0036: Configuration Parameters > Diagnostics > Saving
Check safety-related diagnostic settings for Merge blocks	`mathworks.hism.hisl_0303`	hisl_0303: Configuration Parameters > Diagnostics > Data Validity > Merge blocks
Check safety-related diagnostic settings for Stateflow	`mathworks.hism.hisl_0311`	hisl_0311: Configuration Parameters > Diagnostics > Stateflow
Check model object names	`mathworks.hism.hisl_0032`	hisl_0032: Model object names
Check for model elements that do not link to requirements	`mathworks.hism.hisl_0070`	hisl_0070: Placement of requirement links in a model
Check for inappropriate use of transition paths	`mathworks.hism.hisf_0014`	hisf_0014: Usage of transition paths (passing through states)
Check usage of bit operation blocks	`mathworks.hism.hisl_0019`	hisl_0019: Usage of bitwise operations
Check data types for blocks with index signals	`mathworks.hism.hisl_0022`	hisl_0022: Data type selection for index signals
Check model file name	`mathworks.hism.hisl_0031`	hisl_0031: Model file names
Check if/elseif/else patterns in MATLAB Function blocks	`mathworks.hism.hisl_0022`	himl_0006: MATLAB code if / elseif / else patterns
Check switch statements in MATLAB Function blocks	`mathworks.hism.himl_0007`	himl_0007: MATLAB code switch / case / otherwise patterns
Check global variables in graphical functions	`mathworks.hism.hisl_0062`	hisl_0062: Global variables in graphical functions
Check for length of user-defined object names	`mathworks.hism.hisl_0063`	hisl_0063: Length of user-defined object names to improve MISRA C:2012 compliance
Check usage of Merge blocks	`mathworks.hism.hisl_0015`	hisl_0015: Usage of Merge blocks
Check usage of conditionally executed subsystems	`mathworks.hism.hisl_0012`	hisl_0012: Usage of conditionally executed subsystems
Check usage of standardized MATLAB function headers	`mathworks.hism.himl_0001`	himl_0001: Usage of standardized MATLAB function headers
Check usage of relational operators in MATLAB Function blocks	`mathworks.hism.himl_0008`	himl_0008: MATLAB code relational operator data types
Check usage of logical operators and functions in MATLAB Function blocks	`mathworks.hism.himl_0010`	himl_0010: MATLAB code with logical operators and functions
Check type and size of condition expressions	`mathworks.hism.himl_0011`	himl_0011: Data type and size of condition expressions
Check naming of ports in Stateflow charts	`mathworks.hism.hisf_0016`	hisf_0016: Stateflow port names
Check scoping of Stateflow data objects	`mathworks.hism.hisf_0017`	hisf_0017: Stateflow data object scoping
Check usage of Gain blocks	`mathworks.hism.hisl_0066`	hisl_0066: Usage of Gain blocks
Check for divide-by-zero calculations	`mathworks.hism.hisl_0067`	hisl_0067: Protect against divide-by-zero calculations
Check data type of loop control variables	`mathworks.hism.hisl_0102`	hisl_0102: Data type of loop control variables to improve MISRA C:2012 compliance
Check configuration parameters for MISRA C:2012	`mathworks.misra.CodeGenSettings`	hisl_0060: Configuration parameters that improve MISRA C:2012 compliance
Check for blocks not recommended for C/C++ production code deployment Check for blocks not recommended for MISRA C:2012	`mathworks.hism.hisl_0020` `mathworks.misra.BlkSupport`	hisl_0020: Blocks not recommended for MISRA C:2012 compliance
Check safety-related optimization settings for specified minimum and maximum values	`mathworks.hism.hisl_0056`	hisl_0056: Configuration Parameters > Code Generation > Optimization > Optimize using the specified minimum and maximum values
Check usage of Reciprocal Sqrt blocks	`mathworks.hism.hisl_0028`	hisl_0028: Usage of Reciprocal Square Root blocks
Check safety-related settings for hardware implementation	`mathworks.hism.hisl_0071`	hisl_0071: Configuration Parameters > Hardware Implementation >Inconsistent hardware implementation settings
Check usage of recursions	`mathworks.hism.hisf_0004`	hisf_0004: Protect against recursive function calls to improve code compliance
Check MATLAB functions not supported for code generation	`mathworks.hism.himl_0012`	himl_0012: Usage of MATLAB functions for code generation
Metrics for generated code complexity	`mathworks.hism.himl_0013`	himl_0013: Limitation of built-in MATLAB Function complexity
Check for parameter tunability ignored for referenced models	`mathworks.hism.hisl_0072`	hisl_0072: Usage of tunable parameters for referenced models
Check usage of bit-shift operations	`mathworks.hism.hisl_0073`	hisl_0073: Usage of bit-shift operations
Check safety-related diagnostic settings for variants	`mathworks.hism.hisl_0074`	hisl_0074: Configuration Parameters > Diagnostics > Modeling issues related to variants
Check for disabled and parameterized library links	`mathworks.hism.hisl_0075`	hisl_0075: Usage of library links
Check for unreachable and dead code	`mathworks.hism.hisl_0101`	hisl_0101: Avoid operations that result in dead logic to improve code compliance
Check for root Outports with missing properties	`mathworks.hism.hisl_0077`	hisl_0077: Outport interface definition

See Also