Model Advisor Checks for IEC 61508, IEC 62304, ISO 26262, ISO 25119, and EN 50128/EN 50657 Industry Standards
Model Advisor Checks for IEC 61508, IEC 62304, ISO 26262, ISO 25119, and EN 50128/EN 50657 Industry Standards
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
Qualified Model Advisor Checks (IEC Certification Kit)
Industry Standards (Embedded Coder)
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.
See Also
IEC 61508-3, Table A.8 (5) – Software configuration management
IEC 62304-8 – Software configuration management process
ISO 26262-8, Clause 7 – Configuration management
EN 50128, Table A.9 (5) – Software Configuration Management
Simulink.BlockDiagram.getChecksum
in the Simulink documentationSimulink.SubSystem.getChecksum
in the Simulink documentation
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.
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 documentationCyclomatic 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
Condition | Recommended Action |
---|---|
There are unconnected lines, input ports, or output ports in the model or subsystem. |
|
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