主要内容

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 theIEC Certification Kitfor use in development processes that must comply with IEC 61508, ISO 26262, EN 50128, EN 50657, ISO 25119, or derivative standards.

模型顾问执行金宝app®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.

提示

如果您的模型使用模型引用，请运行IEC 61508，IEC 62304，ISO 26262 ISO 25119或EN 50128/EN 50657检查所有引用的模型，然后再在顶级模型上运行它们。

See Also

显示配置管理数据

Check ID:Mathworks.iec61508.mdlversioninfo

Display model configuration and checksum information.

Description

此告密者检查显示当前模型的以下信息：

  • 型号版本号

  • 模型作者

  • 日期

  • Model checksum

可用Simulink Check.

Results and Recommended Actions

Condition Recommended Action
无法检索模型版本和校验和信息。 This summary is provided for your information. No action is required.

功能和局限性

  • 不在库模型上运行。

  • 不允许排除块或图表。

See Also

显示模型指标和复杂性报告

Check ID:mathworks.iec61508.MdlMetricsInfo

显示模型或子系统子系统的元素和名称，级别和深度的数量。

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:

  • 给定模型中包含的每个Simulink块类型的块金宝app计数，包括库链接块。

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

可用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.

功能和局限性

  • Runs on library models.

  • 分析库链接块的内容。

  • Analyzes content in all masked subsystems.

  • 不允许排除块或图表。

See Also

  • IEC 61508-3，表B.9（1） - 软件模块尺寸限制，表B.9（2） - 软件复杂性控制

  • 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在里面Simulink documentation

  • 状态流图表的循环复杂性(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.

连接到的端口Ground或者Terminatorblocks pass this check.

可用Simulink Check.

Results and Recommended Actions

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

  • 双击未连接项目列表中的元素以在模型图中找到该项目。

  • 连接结果中识别的对象。

功能和局限性

  • Runs on library models.

  • 不分析有限公司ntent 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

  • 信号基础