文档

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

的金宝app®检查™Model Advisor提供了高完整性系统建模检查，您可以使用这些检查来验证安全标准的符合性，包括:

表中总结了高完整性准则及其相应的检查。对于没有Model Advisor检查的指导方针，不可能自动检查指导方针。没有相应检查的指南被认为是不适用的。

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

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

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

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

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

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

有关使用Model Advisor的信息，请参见运行Model Advisor检查．

高完整性建模指南 Model Advisor检查
hisl_0001: Abs块的使用情况 检查Abs块的使用情况(金宝app仿真软件检查)
hisl_0002:数学函数块的使用(rem和倒数) 检查数学函数块(rem和倒数函数)的使用情况(金宝app仿真软件检查)
hisl_0003:平方根块的使用情况 不适用
hisl_0004:数学函数块的使用(自然对数和以10为底的对数) 检查Math Function块的使用情况(log和log10函数)(金宝app仿真软件检查)
hisl_0005: Product块的使用情况 不适用
hisl_0006: While迭代器块的使用 检查While Iterator块的使用情况(金宝app仿真软件检查)
hisl_0007: For迭代器或While迭代器子系统的使用 检查For和While迭代器子系统的使用情况(金宝app仿真软件检查)
hisl_0008: For迭代器块的使用 检查For Iterator块的使用情况(金宝app仿真软件检查)
hisl_0010: If块和If动作子系统块的使用 检查If块和If动作子系统块的使用情况(金宝app仿真软件检查)
hisl_0011: Switch Case块和Action子系统块的使用情况 检查开关案例块和开关案例动作子系统块的使用情况(金宝app仿真软件检查)
hisl_0012:使用有条件执行的子系统 检查有条件执行的子系统的使用情况(金宝app仿真软件检查)
hisl_0013:数据存储块使用情况 检查数据存储内存的安全相关诊断设置(金宝app仿真软件检查)
hisl_0015: Merge块的使用情况 检查合并块的使用情况(金宝app仿真软件检查)
hisl_0016:计算关系运算符的块的使用情况 检查是否等同于浮点类型的关系运算符块(金宝app仿真软件检查)
hisl_0017:计算关系运算符的块的使用(2) 检查关系操作符块的使用情况(金宝app仿真软件检查)
hisl_0018:逻辑操作符块的使用 检查Logical Operator块的使用情况(金宝app仿真软件检查)
hisl_0019:位操作的使用 检查位操作块的使用情况(金宝app仿真软件检查)
hisl_0020:对于MISRA C:2012合规性不建议使用block

检查不推荐用于C/ c++产品代码部署的块(金宝app仿真软件检查)

检查MISRA C:2012不推荐的块(金宝app仿真软件检查)
hisl_0021:一致向量索引方法 检查不一致的矢量索引方法(金宝app仿真软件检查)
hisl_0022:索引信号的数据类型选择 检查带有索引信号的块的数据类型(金宝app仿真软件检查)
hisl_0023:模型和子系统变量的验证 检查带有“生成预处理器条件”活动的变体块(金宝app仿真软件检查)
hisl_0024:导入接口定义 检查缺少属性的根导入(金宝app仿真软件检查)
hisl_0025:输入接口的设计最小/最大规格 检查缺少范围定义的根导入(金宝app仿真软件检查)
hisl_0026:输出接口的设计最小/最大规格 检查缺少范围定义的根Outports(金宝app仿真软件检查)
hisl_0028:倒数平方根块的使用 不适用
hisl_0029:分配块的使用情况 检查分配块的使用情况(金宝app仿真软件检查)
hisl_0031:模型文件名 检查模型文件名(金宝app仿真软件检查)
hisl_0032:模型对象名称 检查模型对象名称(金宝app仿真软件检查)
hisl_0033:查找表块的使用情况 检查查找表块的使用情况(金宝app仿真软件检查)
hisl_0034:信号路由块的使用情况 检查信号路由块的使用情况(金宝app仿真软件检查)
hisl_0036:配置参数>诊断>保存 检查安全相关的诊断设置，以便保存(金宝app仿真软件检查)
hisl_0037配置参数>模型引用 检查与安全相关的模型引用设置(金宝app仿真软件检查)
hisl_0038:配置参数>代码生成>注释 检查与安全相关的代码生成设置以获取注释(金宝app仿真软件检查)
hisl_0039:配置参数>代码生成>接口 检查与安全相关的代码生成接口设置(金宝app仿真软件检查)
hisl_0040: Configuration Parameters > Solver >仿真时间 检查模拟时间的安全相关解算器设置(金宝app仿真软件检查)
hisl_0041: Configuration Parameters > Solver > Solver选项 检查解算器选项的安全相关解算器设置(金宝app仿真软件检查)
hisl_0042:配置参数> Solver >任务和采样时间选项 检查任务和采样时间的安全相关解算器设置(金宝app仿真软件检查)
hisl_0043:配置参数>诊断>求解器 检查解算器的安全相关诊断设置(金宝app仿真软件检查)
hisl_0044:配置参数>诊断>采样时间 检查取样时间的安全相关诊断设置(金宝app仿真软件检查)
hisl_0045:配置参数>数学和数据类型>实现逻辑信号为布尔数据(vs. double) 检查逻辑信号的安全相关优化设置(金宝app仿真软件检查)
hisl_0046:配置参数>仿真目标>减块 检查安全相关的减少阻塞优化设置(金宝app仿真软件检查)
hisl_0047:配置参数>代码生成>代码样式 检查代码样式的安全相关代码生成设置(金宝app仿真软件检查)
hisl_0048:配置参数>数学和数据类型>应用寿命(天) 检查与应用程序生命周期相关的安全优化设置(金宝app仿真软件检查)
hisl_0049:配置参数>代码生成>标识符 检查与安全相关的代码生成标识符设置(金宝app仿真软件检查)
hisl_0051:配置参数>代码生成>优化>环路展开阈值 检查环展开阈值的安全相关优化设置(金宝app仿真软件检查)
hisl_0052:配置参数>代码生成>优化>数据初始化 检查与数据初始化相关的安全优化设置(金宝app仿真软件检查)
hisl_0053:配置参数>代码生成>优化>从包装超出范围值的浮点到整数转换中删除代码 检查数据类型转换的安全相关优化设置(金宝app仿真软件检查)
hisl_0054:配置参数>代码生成>优化>删除除法算术异常保护代码 检查除法算术异常的安全相关优化设置(金宝app仿真软件检查)
hisl_0056:配置参数>代码生成>优化>使用指定的最小值和最大值进行优化 检查指定的最小值和最大值的安全相关优化设置(金宝app仿真软件检查)
hisl_0060:改进MISRA C:2012遵从性的配置参数 检查MISRA C:2012的配置参数(金宝app仿真软件检查)
hisl_0061:清晰的唯一标识符 检查状态流图，查找唯一定义的数据对象(金宝app仿真软件检查)
hisl_0062:图形函数中的全局变量 检查图形函数中的全局变量(金宝app仿真软件检查)
hisl_0063:用户自定义对象名称的长度，以提高MISRA C:2012的合规性 检查用户定义的对象名称的长度(金宝app仿真软件检查)
hisl_0066:增益块的使用情况 检查增益块的使用情况(金宝app仿真软件检查)
hisl_0070:在模型中放置需求链接 检查没有链接到需求的模型元素(金宝app仿真软件检查)
hisl_0101:避免不变量比较操作，以提高MISRA C:2012的遵从性 不适用
hisl_0102:改善MISRA C:2012遵从性的循环控制变量的数据类型 检查回路控制变量的数据类型(金宝app仿真软件检查)
hisl_0301:配置参数>诊断>兼容性 检查与安全相关的诊断设置以确保兼容性(金宝app仿真软件检查)
hisl_0302:配置参数>诊断>数据有效性>参数 检查参数的安全相关诊断设置(金宝app仿真软件检查)
hisl_0303:配置参数>诊断>数据有效性>合并块 检查合并块的安全相关诊断设置(金宝app仿真软件检查)
hisl_0304:配置参数>诊断>数据有效性>模型初始化 检查与模型初始化相关的安全诊断设置(金宝app仿真软件检查)
hisl_0305:配置参数>诊断>数据有效性>调试 检查用于调试的数据的安全相关诊断设置(金宝app仿真软件检查)
hisl_0306:配置参数>诊断>连接>信号 检查与信号连通性有关的安全诊断设置(金宝app仿真软件检查)
hisl_0307:配置参数>诊断>连接>总线 检查总线连接的安全相关诊断设置(金宝app仿真软件检查)
hisl_0308:配置参数>诊断>连通性>函数调用 检查应用于函数调用连通性的与安全相关的诊断设置(金宝app仿真软件检查)
hisl_0309:配置参数>诊断>类型转换 检查类型转换的安全相关诊断设置(金宝app仿真软件检查)
hisl_0310:配置参数>诊断>模型引用 检查与模型引用相关的安全诊断设置(金宝app仿真软件检查)
hisl_0311:配置参数>诊断>状态流 检查状态流的安全相关诊断设置(金宝app仿真软件检查)
hisl_0314:配置参数>诊断>数据有效性>信号 检查信号数据的安全相关诊断设置(金宝app仿真软件检查)
hisf_0001:状态机类型 检查状态流程图的状态机类型(金宝app仿真软件检查)
hisf_0002:用户指定的状态/转换执行顺序 检查状态流程图以了解状态和转换的顺序(金宝app仿真软件检查)
hisf_0003:位操作的使用 检查状态流程图中按位操作的使用情况(金宝app仿真软件检查)
hisf_0004:使用递归行为 不适用
hisf_0007:连接条件的使用(保持互斥) 不适用
hisf_0009:强数据类型(Simulink和状态流边界)金宝app 使用Simulink I/O检查强数据类型金宝app(金宝app仿真软件检查)
hisf_0011:状态流调试设置 检查Stateflow调试选项(金宝app仿真软件检查)
hisf_0013:转换路径的使用(跨越并行州边界) 检查状态流图，查找跨越并行状态边界的转换路径(金宝app仿真软件检查)
hisf_0014:转换路径的使用(通过状态) 检查是否使用了不恰当的转换路径(金宝app仿真软件检查)
hisf_0015:强数据类型(强制转换表达式中的变量和参数) 检查状态流程图是否有强数据类型(金宝app仿真软件检查)
hisf_0016:状态流端口名称 检查状态流程图中的端口名称(金宝app仿真软件检查)
hisf_0017:状态流数据对象作用域 检查状态流数据对象的作用域(金宝app仿真软件检查)
hisf_0064:转移状态流数据的操作，以提高代码遵从性 检查状态流数据的移位操作的使用情况(金宝app仿真软件检查)
hisf_0065:在statflow中进行类型转换操作，以提高代码遵从性 检查状态流程图中的分配操作(金宝app仿真软件检查)
hisf_0211:防止在状态流程图中使用一元操作符，以提高代码的遵从性 检查状态流程图中的一元操作符(金宝app仿真软件检查)
hisf_0213:防止状态流程图中的除零计算，以提高MISRA C:2012的合规性 不适用
himl_0001:使用标准化的MATLAB函数头 检查标准化的MATLAB函数头的使用情况(金宝app仿真软件检查)
himl_0002: MATLAB函数边界的强数据类型 检查带有继承属性的MATLAB函数接口(金宝app仿真软件检查)
himl_0003: MATLAB函数复杂度限制 检验MATLAB函数指标(金宝app仿真软件检查)
himl_0004: MATLAB代码分析器代码生成建议 检查MATLAB代码分析器消息(金宝app仿真软件检查)
himl_0006: if / elseif / else模式的MATLAB代码 在MATLAB函数块中检查if/elseif/else模式(金宝app仿真软件检查)
himl_0007: MATLAB代码切换/ case / else模式 检查MATLAB函数块中的开关语句(金宝app仿真软件检查)
himl_0008: MATLAB代码关系运算符数据类型 检查MATLAB函数块中关系运算符的使用情况(金宝app仿真软件检查)
himl_0009:等价/不等价关系运算符的MATLAB代码 在MATLAB函数块中检查相等运算符的使用(金宝app仿真软件检查)
himl_0010: MATLAB代码的逻辑运算符和函数 检查MATLAB函数块中逻辑运算符和函数的使用情况(金宝app仿真软件检查)
himl_0011:条件表达式的数据类型和大小 检查条件表达式的类型和大小(金宝app仿真软件检查)
金宝app仿真软件文档
金宝app

试试MATLAB、Sim金宝appulink和其他产品下载188bet金宝搏

现在就去审判吧