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.
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.
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.
Qualified Model Advisor Checks (IEC Certification Kit)
IEC 61508 Standard (Embedded Coder)
IEC 62304 Standard (Embedded Coder)
ISO 26262 Standard (Embedded Coder)
EN 50128 Standard (Embedded Coder)
ISO 25119 Standard (Embedded Coder)
MISRA C Guidelines (Embedded Coder)
Check ID:
mathworks.iec61508.MdlVersionInfo
Display model configuration and checksum information.
This informer check displays the following information for the current model:
Model version number
Model author
Date
Model checksum
Available with Simulink Check.
Condition | Recommended Action |
---|---|
Could not retrieve model version and checksum information. | This summary is provided for your information. No action is required. |
Does not run on library models.
Does not allow exclusions of blocks or charts.
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
Model Change Log
(Simulink Report Generator) in the
Simulink
Report Generator™ documentation
Simulink.BlockDiagram.getChecksum
in the Simulink documentation
Simulink.SubSystem.getChecksum
in the Simulink documentation
Check ID:
mathworks.iec61508.MdlMetricsInfo
Display number of elements and name, level, and depth of subsystems for the model or subsystem.
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.
Condition | Recommended Action |
---|---|
N/A | This summary is provided for your information. No action is required. |
Runs on library models.
Analyzes content of library linked blocks.
Analyzes content in all masked subsystems.
Does not allow exclusions of blocks or charts.
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 ID:
mathworks.iec61508.UnconnectedObjects
Identify unconnected lines, input ports, and output ports in the model.
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.
Condition | Recommended Action |
---|---|
There are unconnected lines, input ports, or output ports in the model or subsystem. |
|
Runs on library models.
Does not analyze content of library linked blocks.
Analyzes content in all masked subsystems.
Allows exclusions of blocks and charts.
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