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.

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

Condition	Recommended 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.

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

Condition	Recommended 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.

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

Condition	Recommended 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.