主要内容

符合IEC 61508、IEC 62304、ISO 26262、ISO 25119和EN 50128/EN 50657标准的型号检查

您可以通过运行model Advisor检查您的模型或子系统是否符合以下标准的选定方面:

  • ISO 26262:2018道路车辆。功能安全

  • ISO 25119:2018农林拖拉机和机械。控制系统的安全相关部件

  • IEC 61508:2010电气/电子/可编程电子安全相关系统的功能安全

  • EN 50128:2011铁路应用。通信，信号和处理系统。铁路控制和保护系统用软件

  • En 50657: 2017铁路应用程序。车辆应用。车辆软件

  • IEC 62304:2015医疗设备软件。软件生命周期过程

  • MISRA - C: 2012在关键系统中使用C语言的指南

为了检查是否符合这些标准，打开模型顾问然后在这些文件夹里检查。

  • 按照任务>ISO 26262建模标准

  • 按照任务>ISO 25119建模标准

  • 按照任务>IEC 61508建模标准

  • 按照任务>EN 50128/EN 50657建模标准

  • 按照任务>IEC 62304建模标准

该表列出了IEC 61508、IEC 62304、ISO 26262、ISO 25119和EN 50128/EN 50657检查。

子文件夹 模型顾问检查
N/A 显示配置管理数据
显示模型度量和复杂性报告
检查未连接的对象
MISRA 检查AUTOSAR接收器接口是否缺少错误端口
检查不支持的块名称
检查用作总线元素名称的总线对象名称
检查浮点值上的相等和不相等操作
检查对有符号整数的按位操作
检查整型字长
检查模型函数中是否缺少const限定符
检查递归函数调用
检查没有默认大小写的开关大小写表达式
错误报告 显示IEC认证套件的错误报告(IEC认证套件)
显示Simulink Check的错误报告(IEC认证套件)
显示Simulink Coverage的错误报告(IEC认证套件)
显示需求工具箱的错误报告(IEC认证套件)
显示Simulink设计验证器的错误报告(IEC认证套件)
显示Simulink测试的错误报告(IEC认证套件)
显示嵌入式Coder的错误报告(IEC认证套件)
显示AUTOSAR块集的错误报告(IEC认证套件)
显示Simulink PLC Coder的错误报告(IEC认证套件)
显示HDL Coder的错误报告(IEC认证套件)
显示Polyspace bug Finder的bug报告(IEC认证套件)
显示Polyspace bug Finder服务器的bug报告(IEC认证套件)
显示Polyspace代码证明程序的错误报告(IEC认证套件)
显示Polyspace代码验证器服务器的错误报告(IEC认证套件)

以下是适用于IEC 61508、IEC 62304、ISO 26262、ISO 25119、EN 50128和EN 50657标准的高完整性系统建模检查。

高完整性系统建模的模型检验

您可以通过运行model Advisor检查您的模型或子系统是否符合高完整性系统模型安全标准的选定方面。

要检查是否符合高完整性系统模型标准，请从以下Model Advisor文件夹中运行高完整性检查:

  • 按照任务>DO-178C/DO-331建模标准>高度集成的系统

  • 按照任务>IEC 61508建模标准>高度集成的系统

  • 按照任务>IEC 62304建模标准>高度集成的系统

  • 按照任务>EN 50128/EN 50657建模标准>高度集成的系统

  • 按照任务>ISO 26262建模标准>高度集成的系统

  • 按照任务>ISO 25119建模标准>高度集成的系统

模型顾问检查高完整性系统建模指南

的动态仿真模块®检查™模型顾问提供高完整性系统建模检查，您可以使用它来验证是否符合安全标准，包括:

高完整性系统建模指南及其相应的检查总结在此表中。对于没有Model Advisor检查的指导方针，不可能自动检查指导方针。没有相应检查的指南被注明为不适用。

模型顾问检查 检查身份证 高完整性系统建模指南
检查查找表块的使用情况 mathworks.hism.hisl_0033 hisl_0033:查阅表块的使用
检查不一致的向量索引方法 mathworks.hism.hisl_0021 hisl_0021:一致向量索引方法
检查变量块的使用情况 mathworks.hism.hisl_0021 hisl_0023:变量块的验证
检查缺少属性的根导入 mathworks.hism.hisl_0024 hisl_0024:导入接口定义
检查关系运算符块的使用情况 mathworks.hism.hisl_0017 hisil_0017:使用计算关系运算符的块(2)
检查浮点信号上的关系比较 mathworks.hism.hisl_0016 hisil_0016:使用计算关系运算符的块
检查逻辑运算符块的使用情况 mathworks.hism.hisl_0018 hisil_0018:逻辑运算符块的用法
检查While Iterator块的使用情况 mathworks.hism.hisl_0006 hisil_0006: While迭代器块的使用
检查For和While Iterator子系统的使用情况 mathworks.hism.hisl_0007 hisil_0007: For迭代器或While迭代器子系统的使用
检查For Iterator块的使用情况 mathworks.hism.hisl_0008 hisil_0008: For迭代器块的用法
检查If块和If动作子系统块的使用情况 mathworks.hism.hisl_0010 hisil_0010: If块和If动作子系统块的使用
检查Switch Case块和Switch Case Action Subsystem块的使用情况 mathworks.hism.hisl_0011 hisil_0011: Switch Case块和Action子系统块的使用
检查逻辑信号的安全相关优化设置 mathworks.hism.hisl_0045 数学和数据类型实现逻辑信号为布尔数据(vs. double)
检查安全相关的减块优化设置 mathworks.hism.hisl_0046 hisl_0046: Configuration Parameters > Simulation Target > Block reduction
检查与应用程序寿命相关的安全优化设置 mathworks.hism.hisl_0048 配置参数>数学和数据类型>应用程序寿命(天)
检查数据初始化的安全相关优化设置 mathworks.hism.hisl_0052 hisl_0052: Configuration Parameters > Code Generation > Optimization >数据初始化
检查数据类型转换的安全相关优化设置 mathworks.hism.hisl_0053 hiisl_0053:配置参数>代码生成>优化>从浮点到整数转换中删除包装超出范围值的代码
检查与安全相关的优化设置是否存在除法算术异常 mathworks.hism.hisl_0054 hisl_0054:配置参数>代码生成>优化>删除防止除法算术异常的代码
检查与安全相关的代码生成设置以获得注释 mathworks.hism.hisl_0038 hisl_0038:配置参数>代码生成>注释
检查与安全相关的代码生成接口设置 mathworks.hism.hisl_0039 hisl_0039:配置参数>代码生成>接口
检查与安全相关的代码生成设置以获得代码样式 mathworks.hism.hisl_0047 hisl_0047:配置参数>代码生成>代码样式
检查与安全相关的代码生成标识符设置 mathworks.hism.hisl_0049 hisl_0049: Configuration Parameters > Code Generation > identifier .配置参数
检查Abs块的使用情况 mathworks.hism.hisl_0001 hisl_0001: Abs块的使用情况
检查余数和倒数运算的用法 mathworks.sldv.hism.hisl_0002 hisl_0002:余数和倒数运算的使用
检查平方根运算的使用情况 mathworks.hism.hisl_0003 hisil_0003:平方根运算的使用
检查log和log10操作的使用情况 mathworks.sldv.hism.hisl_0004 hisl_0004:使用自然对数和以10为基数的对数运算
检查分配块的使用情况 mathworks.hism.hisl_0029 hisil_0029:分配块的使用
检查信号路由块的使用情况 mathworks.hism.hisl_0034 hisil_0034:信号路由块的使用
检查缺少范围定义的根导入 mathworks.hism.hisl_0025 hisl_0025:输入接口的设计最小/最大规范
检查缺少范围定义的根输出 mathworks.hism.hisl_0026 hisl_0026:输出接口设计最小/最大规格
检查状态流图的状态机类型 mathworks.hism.hisf_0001 hisf_0001:状态机类型
检查状态流图，查找跨越平行状态边界的转换路径 mathworks.hism.hisf_0013 hisf_0013:转换路径的使用(跨越并行状态边界)
查看状态流图，了解状态和转换的顺序 mathworks.hism.hisf_0002 hisf_0002:用户指定的状态/转换执行顺序
检查状态流调试选项 mathworks.hism.hisf_0011 hisf_0011:状态流调试设置
查看状态流图，查找唯一定义的数据对象 mathworks.hism.hisl_0061 hisl_0061:唯一标识符
检查状态流图以获得强数据类型 mathworks.hism.hisf_0015 hisf_0015:强数据类型(在表达式中转换变量和参数)
检查状态流图中的赋值操作 mathworks.hism.hisf_0065 hisf_0065:在Stateflow中类型转换操作，以提高代码遵从性
检查状态流图中的一元运算符 mathworks.hism.hisf_0211 hisf_0211:防止在状态流图中使用一元运算符，以提高代码遵从性
检查带有继承属性的MATLAB函数接口 mathworks.hism.himl_0002 himl_0002: MATLAB函数边界上的强数据类型化
检查MATLAB函数指标 mathworks.hism.himl_0003 himl_0003:用户定义的MATLAB函数的复杂性
检查MATLAB代码分析器消息 mathworks.hism.himl_0004 himl_0004: MATLAB代码分析器的代码生成建议
检查与安全相关的模型引用设置 mathworks.hism.hisl_0037 >模型引用
检查求解器的安全相关诊断设置 mathworks.hism.hisl_0043 配置参数>诊断>求解器
检查模拟时间的安全相关求解器设置 mathworks.hism.hisl_0040 hisl_0040: Configuration Parameters > Solver >模拟时间
检查与安全相关的求解器设置以获得求解器选项 mathworks.hism.hisl_0041 hisl_0041: Configuration Parameters > Solver > Solver选项
检查安全相关的求解器设置的任务和采样时间 mathworks.hism.hisl_0042 hisl_0042:配置参数>求解>任务和采样时间选项
检查取样时间的安全相关诊断设置 mathworks.hism.hisl_0044 hisl_0044: Configuration Parameters > Diagnostics > Sample Time
检查安全相关的诊断设置参数 mathworks.hism.hisl_0302 hisil_0302:配置参数>诊断>数据有效性>参数
检查用于调试的数据的安全相关诊断设置 mathworks.hism.hisl_0305 hisl_0305:配置参数>诊断>数据有效性>调试
检查数据存储内存的安全相关诊断设置 mathworks.hism.hisl_0013 hisil_0013:数据存储块的使用情况
检查与类型转换相关的安全诊断设置 mathworks.hism.hisl_0309 >诊断>类型转换
检查与安全相关的诊断设置以检查信号连通性 mathworks.hism.hisl_0306 hisl_0306:配置参数>诊断>连接>信号
检查与总线连接相关的安全诊断设置 mathworks.hism.hisl_0307 hisl_0307:配置参数>诊断>连接>总线
检查应用于函数调用连通性的与安全相关的诊断设置 mathworks.hism.hisl_0308 hisl_0308: Configuration Parameters > Diagnostics > Connectivity > Function calls
检查与安全性相关的诊断设置以获得兼容性 mathworks.hism.hisl_0301 hisl_0301:配置参数>诊断>兼容性
检查与模型初始化相关的安全诊断设置 mathworks.hism.hisl_0304 hisl_0304:配置参数>诊断>数据有效性>模型初始化
检查与模型引用相关的安全诊断设置 mathworks.hism.hisl_0310 >诊断>型号参考
检查与安全相关的诊断设置以进行保存 mathworks.hism.hisl_0036 hisl_0036: Configuration Parameters > Diagnostics > Saving
检查合并块的安全相关诊断设置 mathworks.hism.hisl_0303 hisl_0303:配置参数>诊断>数据有效性>合并块
检查状态流的安全相关诊断设置 mathworks.hism.hisl_0311 hisl_0311:配置参数>诊断>状态流
检查模型对象名称 mathworks.hism.hisl_0032 hisl_0032:模型对象名称
检查没有链接到需求的模型元素 mathworks.hism.hisl_0070 hisl_0070:在模型中放置需求链接
检查过渡路径的不适当使用 mathworks.hism.hisf_0014 hisf_0014:使用转换路径(通过状态)
检查位操作块的使用情况 mathworks.hism.hisl_0019 hisil_0019:使用位操作
检查带有索引信号的块的数据类型 mathworks.hism.hisl_0022 hisil_0022:索引信号的数据类型选择
检查模型文件名 mathworks.hism.hisl_0031 hisl_0031:模型文件名
检查MATLAB函数块中的if/elseif/else模式 mathworks.hism.hisl_0022 himl_0006: MATLAB代码if / elseif / else模式
检查MATLAB函数块中的开关语句 mathworks.hism.himl_0007 himl_0007: MATLAB代码开关/ case / else模式
检查图形函数中的全局变量 mathworks.hism.hisl_0062 hisl_0062:图形函数中的全局变量
检查用户定义的对象名称的长度 mathworks.hism.hisl_0063 hisil_0063:用户定义的对象名的长度，以改进MISRA C:2012的符合性
检查Merge块的使用情况 mathworks.hism.hisl_0015 hisil_0015:合并块的使用
检查有条件执行的子系统的使用情况 mathworks.hism.hisl_0012 hisil_0012:使用有条件执行的子系统
检查标准化的MATLAB函数头的使用情况 mathworks.hism.himl_0001 himl_0001:使用标准化的MATLAB函数头
检查MATLAB函数块中关系运算符的使用 mathworks.hism.himl_0008 himl_0008: MATLAB代码关系运算符数据类型
检查MATLAB函数块中逻辑运算符和函数的使用情况 mathworks.hism.himl_0010 himl_0010:带有逻辑运算符和函数的MATLAB代码
检查条件表达式的类型和大小 mathworks.hism.himl_0011 himl_0011:条件表达式的数据类型和大小
检查状态流图中的端口命名 mathworks.hism.hisf_0016 hisf_0016:状态流端口名称
检查Stateflow数据对象的作用域 mathworks.hism.hisf_0017 hisf_0017:状态流数据对象作用域
检查增益块的使用情况 mathworks.hism.hisl_0066 hisil_0066:使用增益块
检查以零除的计算 mathworks.hism.hisl_0067 hisl_0067:防止被0除的计算
检查循环控制变量的数据类型 mathworks.hism.hisl_0102 hisl_0102:改进MISRA C:2012符合性的循环控制变量的数据类型
检查MISRA C:2012的配置参数 mathworks.misra.CodeGenSettings hisl_0060:改善MISRA C:2012遵从性的配置参数

检查不推荐用于C/ c++生产代码部署的块

检查MISRA C:2012不推荐的块

mathworks.hism.hisl_0020

mathworks.misra.BlkSupport

 hisl_0020:块不推荐MISRA C:2012合规

检查与安全相关的优化设置，查看指定的最小值和最大值

 mathworks.hism.hisl_0056 hisl_0056:配置参数>代码生成>优化>使用指定的最大值和最小值进行优化
检查互惠根块的使用情况 mathworks.hism.hisl_0028 hisil_0028:使用倒数平方根块
检查硬件实现的安全相关设置 mathworks.hism.hisl_0071 hisl_0071: Configuration Parameters > Hardware Implementation >硬件实现设置不一致
检查递归的使用情况 mathworks.hism.hisf_0004 hisf_0004:防止递归函数调用，以提高代码遵从性
检查代码生成不支持的MATLAB函数 mathworks.hism.himl_0012 himl_0012:使用MATLAB函数进行代码生成
生成代码复杂性的度量 mathworks.hism.himl_0013 himl_0013:内置MATLAB函数复杂度的限制
检查引用模型忽略的参数可调性 mathworks.hism.hisl_0072 hisil_0072:对引用模型使用可调参数
检查位移位操作的使用情况 mathworks.hism.hisl_0073 hisil_0073:位移位操作的使用
检查变量的安全相关诊断设置 mathworks.hism.hisl_0074 hisl_0074: Configuration Parameters > Diagnostics >与变量相关的建模问题
检查禁用的和参数化的库链接 mathworks.hism.hisl_0075 hisl_0075:库链接的使用
检查不可访问和死代码 mathworks.hism.hisl_0101 hisil_0101:避免导致死逻辑的操作，以提高代码遵从性
检查缺少属性的根输出 mathworks.hism.hisl_0077 hisl_0077:输出端口接口定义

另请参阅

相关的话题

Baidu
map