IEC 61508、IEC 62304、ISO 26262、ISO 25119、EN 50128/EN 50657检查
IEC 61508、IEC 62304、ISO 26262、ISO 25119、EN 50128/EN 50657检查
您可以使用这些Model Advisor检查来促进应用程序的模型、子系统和相应的生成代码的设计和故障排除,以符合IEC 61508-3、IEC 62304、ISO 26262-6、ISO 25119或EN 50128、EN 50657和MISRA C:2012标准。他们是由IEC认证套件用于必须符合IEC 61508、ISO 26262、EN 50128、EN 50657、ISO 25119或衍生标准的开发过程。
的签出金宝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检查。
另请参阅
显示配置管理数据
检查身份证:mathworks.iec61508.MdlVersionInfo
显示模型配置和校验和信息。
描述
此通知器检查显示当前模型的以下信息:
型号版本号
模式作者
日期
模型校验和
可以使用金宝app仿真软件检查.
结果及建议的行动
条件 | 建议的行动 |
---|---|
无法检索模型版本和校验和信息。 | 此摘要供您参考。无需执行该操作。 |
能力与限制
不能在库模型上运行。
不允许排除块或图表。
另请参阅
IEC 61508-3,表A.8(5) -软件配置管理
IEC 62304-8软件配置管理过程
ISO 26262-8,第7条-配置管理
EN 50128,表A.9(5) -软件配置管理
型号变更日志
(金宝appSimulink报表生成器)在金宝appSimulink报表生成器™文档金宝appSimulink.BlockDiagram.getChecksum
在Simuli金宝appnk文档中金宝appSimulink.SubSystem.getChecksum
在Simuli金宝appnk文档中
显示模型度量和复杂性报告
检查身份证:mathworks.iec61508.MdlMetricsInfo
显示模型或子系统的元素数量和名称、级别和子系统深度。
描述
IEC 61508、ISO 26262、EN 50128和EN 50657标准建议使用大小和复杂性指标来评估开发中的软件。此检查为模型提供度量信息。所提供的信息可用于检查模型或子系统的大小或复杂性是否超过给定的限制。检查显示:
给定模型中包含的每种Simulink块类型的块金宝app计数,包括库链接块。
状态流的计数®在给定模型中构造(如果适用)。
给定模型中包含的子系统的名称、级别和深度(如果适用)。
给定模型的最大子系统深度。
可以使用金宝app仿真软件检查.
此检查需要Stateflow许可证。
结果及建议的行动
条件 | 建议的行动 |
---|---|
N/A | 此摘要供您参考。无需执行该操作。 |
能力与限制
在库模型上运行。
分析库链接块的内容。
分析所有被屏蔽子系统中的内容。
不允许排除块或图表。
另请参阅
表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) -语言子集