Model Advisor Checks for IEC 61508, IEC 62304, ISO 26262, ISO 25119, and EN 50128/EN 50657 Standards Compliance

You can check that your model or subsystem complies with selected aspects of the following standards by running the Model Advisor:

ISO 26262:2018 Road vehicles — Functional safety
ISO 25119:2018 Tractors And Machinery For Agriculture And Forestry — Safety-Related Parts Of Control Systems
IEC 61508:2010 Functional Safety of Electrical/Electronic/Programmable Electronic Safety Related Systems
EN 50128:2011 Railway applications - Communication, Signalling and Processing Systems - Software for Railway Control and Protection Systems
EN 50657: 2017 Railways Applications. Rolling stock applications. Software on Board Rolling Stock
IEC 62304:2015 Medical Device Software – Software Life Cycle Processes
MISRA C:2012 Guidelines for the Use of the C Language in Critical Systems

To check compliance with these standards, open the Model Advisor and run the checks in these folders.

By Task > Modeling Standards for ISO 26262
By Task > Modeling Standards for ISO 25119
By Task > Modeling Standards for IEC 61508
By Task > Modeling Standards for EN 50128/EN 50657
By Task > Modeling Standards for IEC 62304

The table lists the IEC 61508, IEC 62304, ISO 26262, ISO 25119, and EN 50128/EN 50657 checks.

Subfolder	Model Advisor Checks
N/A	Display configuration management data
	Display model metrics and complexity report
	Check for unconnected objects
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 IEC Certification Kit (IEC Certification Kit)
	Display bug reports for Simulink Check (IEC Certification Kit)
	Display bug reports for Simulink Coverage (IEC Certification Kit)
	Display bug reports for Requirements Toolbox (IEC Certification Kit)
	Display bug reports for Simulink Design Verifier (IEC Certification Kit)
	Display bug reports for Simulink Test (IEC Certification Kit)
	Display bug reports for Embedded Coder (IEC Certification Kit)
	Display bug reports for AUTOSAR Blockset (IEC Certification Kit)
	Display bug reports for Simulink PLC Coder (IEC Certification Kit)
	Display bug reports for HDL Coder (IEC Certification Kit)
	Display bug reports for Polyspace Bug Finder (IEC Certification Kit)
	Display bug reports for Polyspace Bug Finder Server (IEC Certification Kit)
	Display bug reports for Polyspace Code Prover (IEC Certification Kit)
	Display bug reports for Polyspace Code Prover Server (IEC Certification Kit)

Following are the High-Integrity System Modeling checks that are applicable for the IEC 61508, IEC 62304, ISO 26262, ISO 25119, EN 50128, and EN 50657 standards.

Model Advisor Checks for High Integrity Systems Modeling Guidelines

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 memory
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 element 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