IEC 61508、IEC 62304、ISO 26262、ISO 25119和EN 50128 / EN 50657检查- MATLAB和Simulink MathW金宝apporks日本

IEC 61508, IEC 62304, ISO 26262, ISO 25119，和EN 50128/EN 50657检查

您可以使用这些Model Advisor检查来为符合IEC 61508-3、IEC 62340、ISO 26262-6、ISO 25119或EN 50128、EN 50657和MISRA C:2012标准的应用程序设计和故障排除模型、子系统和相应生成的代码。他们是由IEC认证工具包用于必须符合IEC 61508、ISO 26262、EN 50128、EN 50657、ISO 25119或派生标准的开发过程。

模型Advisor执行金宝app^®检查™当你运行这些检查时。

提示

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

提示

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

另请参阅

运行模型Advisor检查和评审结果
合格模型顾问检查(IEC认证工具包)
IEC 61508标准(嵌入式编码)
IEC 62304标准(嵌入式编码)
ISO 26262标准(嵌入式编码)
EN 50128标准(嵌入式编码)
ISO 25119标准(嵌入式编码)
MISRA - C的指导方针(嵌入式编码)

显示配置管理数据

检查身份证：mathworks.iec61508.MdlVersionInfo

显示模型配置和校验信息。

描述

此inform检查显示当前模型的以下信息:

模型版本号
模式作者
日期
模型校验和

可以使用金宝app仿真软件检查．

结果和建议的行动

条件	建议的行动
无法检索模型版本和校验和信息。	此摘要供您参考。无需处理。

功能和限制

不能在库模型上运行。
不允许排除区块或图表。

另请参阅

IEC 61508-3，表A.8(5) -软件配置管理
软件配置管理过程
ISO 26262-8，条款7 -配置管理
EN 50128，表A.9(5) -软件配置管理
管理模型版本和指定模型属性
模型更改日志(金宝app仿真软件报告生成器)在金宝app仿真软件报告生成器™文档
金宝appSimulink.BlockDiagram.getChecksum在Simuli金宝appnk文档中
金宝appSimulink.SubSystem.getChecksum在Simuli金宝appnk文档中

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

检查身份证：mathworks.iec61508.MdlMetricsInfo

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

描述

IEC 61508、ISO 26262、EN 50128和EN 50657标准建议使用尺寸和复杂性度量来评估开发中的软件。此检查为模型提供度量信息。所提供的信息可用于检查模型或子系统的大小或复杂性是否超过给定的限制。检查显示:

给定模型中包含的每个Simulink块类型的块金宝app计数，包括库链接块。
statflow的计数^®给定模型中的构造(如果适用)。
给定模型中包含的子系统的名称、级别和深度(如果适用)。
给定模型的最大子系统深度。

可以使用金宝app仿真软件检查．

此检查需要Stateflow许可证。

结果和建议的行动

条件	建议的行动
N/A	此摘要供您参考。无需处理。

功能和限制

在库模型上运行。
分析库链接块的内容。
分析所有被屏蔽子系统中的内容。
不允许排除区块或图表。

另请参阅

IEC 61508-3，表B.9(1) -软件模块尺寸限制，表B.9(2) -软件复杂度控制
IEC 62304, 5.5.3 -软件单元验收标准
ISO 26262-6，表1 (1a) -降低复杂性的实施，表3 (a) -软件组件的层次结构，表3 (b) -软件组件的限制尺寸，和表3 (c) -接口的限制尺寸
EN 50128，表A.12(8) -函数、子程序和方法的大小和复杂性有限(9)子程序参数的数量有限
EN 50657，表A.12(8) -函数、子程序和方法的大小和复杂性有限(9)子程序参数的数量有限
sldiagnostics在Simuli金宝appnk文档中
状态流图的圈复杂度(金宝app仿真软件覆盖)

检查未连接的对象

检查身份证：mathworks.iec61508.UnconnectedObjects

识别模型中未连接的线路、输入端口和输出端口。

描述

未连接的对象很可能在传播信号属性(如数据、类型、样本时间和维度)方面造成问题。

端口连接到地面或《终结者》块通过这个检查。

可以使用金宝app仿真软件检查．

结果和建议的行动

条件	建议的行动
模型或子系统中存在未连接的线路、输入端口或输出端口。	双击未连接项列表中的一个元素，以定位模型关系图中的项。连接结果中标识的对象。

功能和限制

在库模型上运行。
不分析库链接块的内容。
分析所有被屏蔽子系统中的内容。
允许排除区块和图表。

另请参阅

IEC 61508-3，表A.3(3) -语言子集
IEC 62304, 5.5.3 -软件单元验收标准
ISO 26262-6，表1 (1b) -语言子集的使用，表1 (1d) -防御实现技术的使用
EN 50128，表A.4(11) -语言子集
EN 50657，表A.4(11) -语言子集
信号基础知识