Main Content

IEC 61508, IEC 62304, ISO 26262, ISO 25119, and EN 50128/EN 50657 Checks

IEC 61508, IEC 62304, ISO 26262, ISO 25119, and EN 50128/EN 50657 Checks

You can use these Model Advisor checks to facilitate designing and troubleshooting models, subsystems, and the corresponding generated code for applications to comply with IEC 61508-3, IEC 62304, ISO 26262-6, ISO 25119, or EN 50128, EN 50657, and MISRA C:2012 standards. They are certified by the IEC Certification Kit for use in development processes that must comply with IEC 61508, ISO 26262, EN 50128, EN 50657, ISO 25119, or derivative standards.

The Model Advisor performs a checkout of the Simulink® Check™ license when you run the these checks.

Tips

If your model uses model referencing, run the IEC 61508, IEC 62304, ISO 26262, ISO 25119, or EN 50128/EN 50657 checks on all referenced models before running them on the top-level model.

Tips

If your model uses model referencing, run the IEC 61508, IEC 62304, ISO 26262 ISO 25119, or EN 50128/EN 50657 checks on all referenced models before running them on the top-level model.

See Also

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