Main Content

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

You can use the Simulink® Check™ Model Advisor to check that your model or subsystem complies with selected aspects of these standards:

To execute these checks, 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 IEC 62304

  • By Task > Modeling Standards for ISO 25119

  • By Task > Modeling Standards for EN 50128/EN 50657

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 for use by the IEC Certification Kit, see Simulink Check - Trace Matrix (mathworks_slchk_trace.xlsx). This artifact is available in the certification project that you create for Simulink Check. For more information, see Set Up Tool-Specific Certification Projects (IEC Certification 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 configuration management datamathworks.iec61508.MdlVersionInfo
Display model metrics and complexity reportmathworks.iec61508.MdlMetricsInfo
Check for unconnected objectsmathworks.iec61508.UnconnectedObjects
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 View bug reports (IEC Certification Kit)

Display configuration management data

Check ID: mathworks.iec61508.MdlVersionInfo

Display model configuration and checksum information.

Description

This informer check displays the following information for the current model:

  • Model version number

  • Model 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

Display model metrics and complexity report

Check ID: mathworks.iec61508.MdlMetricsInfo

Display number of elements and name, level, and depth of subsystems for the model or subsystem.

Description

The IEC 61508, ISO 26262, EN 50128, and EN 50657 standards recommend the usage of size and complexity metrics to assess the software under development. This check provides metrics information for the model. The provided information can be used to inspect whether the size or complexity of the model or subsystem exceeds given limits. The check displays:

  • A block count for each Simulink block type contained in the given model, including library linked blocks.

  • A count of Stateflow® constructs in the given model (if applicable).

  • Name, level, and depth of the subsystems contained in the given model (if applicable).

  • The maximum subsystem depth of the given model.

Available with Simulink Check.

This check requires a Stateflow license.

Results and Recommended Actions

ConditionRecommended Action
N/A This summary is provided for your information. No action is required.

Capabilities and Limitations

  • Runs on library models.

  • Analyzes content of library linked blocks.

  • Analyzes content in all masked subsystems.

  • Does not allow exclusions of blocks or charts.

See Also

  • IEC 61508-3, Table B.9 (1) - Software module size limit, Table B.9 (2) - Software complexity control

  • IEC 62304, 5.5.3 - Software Unit acceptance criteria

  • ISO 26262-6, Table 1 (1a) - Enforcement of low complexity, Table 3 (a) - Hierarchical structure of software components, Table 3 (b) - Restricted size of software components, and Table 3 (c) - Restricted size of interfaces

  • EN 50128, Table A.12 (8) - Limited size and complexity of Functions, Subroutines and Methods and (9) Limited number of subroutine parameters

  • EN 50657, Table A.12 (8) - Limited size and complexity of Functions, Subroutines and Methods and (9) Limited number of subroutine parameters

  • sldiagnostics in the Simulink documentation

  • Cyclomatic Complexity for Stateflow Charts (Simulink Coverage)

Check for unconnected objects

Check ID: mathworks.iec61508.UnconnectedObjects

Identify unconnected lines, input ports, and output ports in the model.

Description

Unconnected objects are likely to cause problems propagating signal attributes such as data, type, sample time, and dimensions.

Ports connected to Ground or Terminator blocks pass this check.

Available with Simulink Check.

Results and Recommended Actions

ConditionRecommended Action
There are unconnected lines, input ports, or output ports in the model or subsystem.

  • Double-click an element in the list of unconnected items to locate the item in the model diagram.

  • Connect the objects identified in the results.

Capabilities and Limitations

  • Runs on library models.

  • Does not analyze content of library linked blocks.

  • Analyzes content in all masked subsystems.

  • Allows exclusions of blocks and charts.

See Also

  • IEC 61508-3, Table A.3 (3) - Language subset

  • IEC 62304, 5.5.3 - Software Unit acceptance criteria

  • ISO 26262-6, Table 1 (1b) - Use of language subsets, Table 1 (1d) - Use of defensive implementation techniques

  • EN 50128, Table A.4 (11) - Language Subset

  • EN 50657, Table A.4 (11) - Language Subset

  • Signal Basics