主要内容

模型顾问检查高完整性系统建模的指导方针

你可以检查你的模型或子系统符合安全标准高完整性系统模型的选择方面顾问通过运行模型。

检查符合高完整性系统模型的标准,从这些模型高度集成运行检查顾问文件夹:

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

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

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

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

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

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

高度集成模型顾问检查系统建模的指导方针

的万博1manbetx®检查™模型造型顾问提供了高度集成系统检查,您可以使用来验证符合安全标准,包括:

高度集成的系统建模的指导方针和相应的检查表中进行了总结。没有模型的指导顾问检查,不可能自动检查的指导方针。指南指出没有相应的检查不适用。

模型顾问检查 检查身份证 高度集成系统建模指南
检查使用查找表的块 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 hisl_0017:使用块计算关系运算符(2)
检查关系比较浮点信号 mathworks.hism.hisl_0016 hisl_0016:块计算关系运算符的使用
检查使用逻辑操作符的街区 mathworks.hism.hisl_0018 hisl_0018:使用逻辑操作符块
检查使用迭代器块 mathworks.hism.hisl_0006 hisl_0006:使用迭代器块
检查使用,而迭代器子系统 mathworks.hism.hisl_0007 hisl_0007:使用迭代器或者在迭代器子系统
检查使用迭代器块 mathworks.hism.hisl_0008 hisl_0008:使用迭代器块
检查如果块和行动子系统模块的使用 mathworks.hism.hisl_0010 hisl_0010:如果块和行动子系统模块的使用
检查开关模块和开关的使用情况下行动子系统模块 mathworks.hism.hisl_0011 hisl_0011:阻塞和行动子系统开关的使用情况
检查安全优化设置逻辑信号 mathworks.hism.hisl_0045 hisl_0045:配置参数> >数学和数据类型实现逻辑信号作为布尔数据(与双)
检查安全块减少优化设置 mathworks.hism.hisl_0046 hisl_0046:配置参数> >块减少仿真目标
检查安全优化设置应用寿命 mathworks.hism.hisl_0048 hisl_0048:数学和数据类型配置参数> >应用程序生命周期(天)
检查安全优化设置数据初始化 mathworks.hism.hisl_0052 hisl_0052:配置参数> > >生成代码优化数据初始化
检查安全优化设置数据类型转换 mathworks.hism.hisl_0053 hisl_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:配置参数> >标识符生成代码
检查使用Abs的街区 mathworks.hism.hisl_0001 hisl_0001:使用Abs块
检查使用的剩余部分和互操作 mathworks.sldv.hism.hisl_0002 hisl_0002:使用剩余和互操作
检查使用的平方根的操作 mathworks.hism.hisl_0003 hisl_0003:平方根的使用操作
检查使用的日志和log10操作 mathworks.sldv.hism.hisl_0004 hisl_0004:使用自然对数和以10为底的对数操作
检查使用分配的块 mathworks.hism.hisl_0029 hisl_0029:使用分配的块
检查使用的信号路由模块 mathworks.hism.hisl_0034 hisl_0034:使用信号路由模块
检查根港口与失踪的范围定义 mathworks.hism.hisl_0025 hisl_0025:设计最小/最大规格的输入接口
检查与失踪的范围定义根外港 mathworks.hism.hisl_0026 hisl_0026:设计最小/最大输出接口的规范
检查状态机Stateflow图表的类型 mathworks.hism.hisf_0001 hisf_0001:状态机类型
检查Stateflow图表过渡路径交叉并行状态边界 mathworks.hism.hisf_0013 hisf_0013:使用过渡路径(穿越平行状态边界)
检查Stateflow图表排序的状态和转换 mathworks.hism.hisf_0002 hisf_0002:指定的国家/过渡执行顺序
检查Stateflow调试选项 mathworks.hism.hisf_0011 hisf_0011: Stateflow调试设置
检查Stateflow图表的独特定义数据对象 mathworks.hism.hisl_0061 hisl_0061:唯一标识清晰
检查Stateflow图表强劲数据类型 mathworks.hism.hisf_0015 hisf_0015:强大的数据类型(铸造变量和参数表达式)
检查作业操作Stateflow图表 mathworks.hism.hisf_0065 hisf_0065:铸型Stateflow改善代码合规操作
一元操作符检查Stateflow图表 mathworks.hism.hisf_0211 hisf_0211:防止Stateflow图表中使用一元操作符来改善代码合规
检查MATLAB函数接口和继承的属性 mathworks.hism.himl_0002 在MATLAB函数边界himl_0002:强大的数据类型
检查MATLAB函数度量 mathworks.hism.himl_0003 himl_0003:用户定义的MATLAB函数的复杂性
检查MATLAB代码分析器的消息 mathworks.hism.himl_0004 himl_0004: MATLAB代码分析器代码生成的建议
检查安全模型引用设置 mathworks.hism.hisl_0037 hisl_0037:配置参数>模型引用
检查安全诊断设置解决者 mathworks.hism.hisl_0043 hisl_0043:配置参数>诊断>解算器
检查安全解算器设置仿真时间 mathworks.hism.hisl_0040 hisl_0040:解决配置参数> >仿真时间
检查安全解决解算器设置选项 mathworks.hism.hisl_0041 hisl_0041:解决配置参数> >解算器选项
检查安全解算器设置任务和采样时间 mathworks.hism.hisl_0042 hisl_0042:解决配置参数> >任务和样品时间选项
检查安全诊断设置样品时间 mathworks.hism.hisl_0044 hisl_0044:配置参数>诊断>样品时间
检查安全诊断设置参数 mathworks.hism.hisl_0302 hisl_0302:配置参数>诊断> >数据有效性参数
检查安全诊断设置数据用于调试 mathworks.hism.hisl_0305 hisl_0305:配置参数>诊断>数据有效性>调试
检查安全诊断设置数据存储内存 mathworks.hism.hisl_0013 hisl_0013:使用数据存储的内存
检查安全诊断设置类型转换 mathworks.hism.hisl_0309 hisl_0309:配置参数>诊断>类型转换
检查安全诊断设置信号连接 mathworks.hism.hisl_0306 hisl_0306:配置参数>诊断> >连接信号
检查安全诊断设置总线连接 mathworks.hism.hisl_0307 hisl_0307:配置参数>诊断>连接>公交车
检查安全诊断设置适用于函数调用连接 mathworks.hism.hisl_0308 hisl_0308:配置参数>诊断>连接>函数调用
检查安全诊断设置兼容性 mathworks.hism.hisl_0301 hisl_0301:配置参数>诊断>兼容性
检查安全诊断模型初始化设置 mathworks.hism.hisl_0304 hisl_0304:配置参数>诊断> >有效性模型的初始化数据
检查安全诊断设置模型引用 mathworks.hism.hisl_0310 hisl_0310:配置参数>诊断>模型引用
检查安全诊断设置储蓄 mathworks.hism.hisl_0036 hisl_0036:配置参数>诊断>保存
检查安全诊断设置合并块 mathworks.hism.hisl_0303 hisl_0303:配置参数>诊断>有效性数据>合并块
检查安全Stateflow诊断设置 mathworks.hism.hisl_0311 >诊断> Stateflow hisl_0311:配置参数
检查模型对象名称 mathworks.hism.hisl_0032 hisl_0032:模型元素的名字
检查不链接到需求的模型元素 mathworks.hism.hisl_0070 hisl_0070:放置要求链接在一个模型
检查转型路径的不当使用 mathworks.hism.hisf_0014 hisf_0014:使用过渡路径(通过状态)
检查使用位操作的块 mathworks.hism.hisl_0019 hisl_0019:使用位操作
检查数据类型的块索引信号 mathworks.hism.hisl_0022 hisl_0022:数据类型选择指数信号
检查模型文件的名字 mathworks.hism.hisl_0031 hisl_0031:模型文件的名字
检查是否在MATLAB / elseif /其他模式的功能模块 mathworks.hism.hisl_0022 himl_0006: MATLAB代码如果elseif /其他模式
检查switch语句在MATLAB函数块 mathworks.hism.himl_0007 否则himl_0007: MATLAB代码switch / case /模式
检查全局变量的图形功能 mathworks.hism.hisl_0062 hisl_0062:全局变量在图形功能
检查用户定义的对象名称的长度 mathworks.hism.hisl_0063 hisl_0063:用户定义的对象名称的长度来改进MISRA - C: 2012合规
检查使用合并块 mathworks.hism.hisl_0015 hisl_0015:合并模块的使用
支票的使用有条件地执行子系统 mathworks.hism.hisl_0012 hisl_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:条件表达式的数据类型和大小
检查端口的命名Stateflow图表 mathworks.hism.hisf_0016 hisf_0016: Stateflow港口名称
检查Stateflow数据对象的范围 mathworks.hism.hisf_0017 hisf_0017: Stateflow数据对象范围
检查使用的块 mathworks.hism.hisl_0066 hisl_0066:增益模块的使用
检查除计算 mathworks.hism.hisl_0067 hisl_0067:防止被零除计算
检查循环控制变量的数据类型 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.Blk万博1manbetxSupport

 hisl_0020:块不建议用于MISRA - C: 2012

检查安全优化设置指定最小值和最大值

 mathworks.hism.hisl_0056 hisl_0056:配置参数> > >生成代码优化优化使用指定的最小和最大值
检查使用互惠√6块 mathworks.hism.hisl_0028 hisl_0028:使用互惠的平方根
检查安全设置硬件实现 mathworks.hism.hisl_0071 hisl_0071:配置参数> >不一致的硬件实现设置硬件实现
检查使用递归 mathworks.hism.hisf_0004 hisf_0004:防止递归函数调用来改善代码合规
检查MATLAB函数不支持代码生成万博1manbetx mathworks.hism.himl_0012 himl_0012:使用MATLAB函数的代码生成
指标为生成的代码的复杂性 mathworks.hism.himl_0013 himl_0013:内置MATLAB函数复杂性的限制
可调谐性忽略检查参数为参考模型 mathworks.hism.hisl_0072 hisl_0072:使用可调参数为参考模型
检查使用的移位操作 mathworks.hism.hisl_0073 hisl_0073:使用移位操作
检查安全诊断设置变量 mathworks.hism.hisl_0074 hisl_0074:配置参数>诊断>建模与变异有关的问题
检查禁用和参数化库链接 mathworks.hism.hisl_0075 hisl_0075:使用库链接
检查访问和死代码 mathworks.hism.hisl_0101 hisl_0101:避免操作导致死亡的逻辑来改善代码合规
检查根外港和缺失的属性 mathworks.hism.hisl_0077 hisl_0077:外港接口定义

另请参阅