主要内容

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

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

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

  • 按照任务>DO-178C / DO-331的建模标准>高完整性系统

  • 按照任务>IEC 61508的建模标准>高完整性系统

  • 按照任务>IEC 62304的建模标准>高完整性系统

  • 按照任务>EN 50128 / EN 50657的建模标准>高完整性系统

  • 按照任务>ISO 26262的建模标准>高完整性系统

  • 按照任务>ISO 25119建模标准>高完整性系统

有关空中系统和设备认证和相关标准的高完整性系统模型软件考虑的信息，请参阅航空无线电技术委员会（RTCA）．

该表列出了高完整性系统模型检查及其相应的建模指导方针。有关高完整性建模指南的更多信息，请参见高度集成系统建模．

高完整性系统建模检查

高完整性系统模型检查 适用的高完整性系统建模指南
检查查找表块的使用情况 hisl_0033：查找表块的使用
检查载体索引方法不一致 hisl_0021：一致的矢量索引方法
检查Variant Block的使用情况 hisl_0023:校验变量块
检查具有缺失属性的root Inports hisl_0024：Inport接口定义
检查关系运算符块的使用情况 hisl_0017：计算关系运算符的块（2）
检查关系运算符块的使用情况 hisl_0016：使用计算关系运算符的块的使用
检查逻辑运算符块的使用情况 hisl_0018：逻辑运算座的使用
检查While迭代器块的使用情况 hisl_0006: While迭代器块的使用
检查使用情况和iterator子系统的使用情况 hisl_0007：使用迭代器或迭代子系统的使用
检查用于迭代器块的使用情况 hisl_0008：用于迭代器块的用法
检查if块的使用情况是否of occe子系统块 hisl_0010: If块和If动作子系统块的使用
检查开关案例块和开关案例动作子系统块的使用情况 hisl_0011：使用切换盒块和动作子系统块的使用
检查逻辑信号的安全相关优化设置 hisl_0045：配置参数>数学和数据类型>实现逻辑信号作为布尔数据（与双倍）
检查与安全相关的块减少优化设置 hisl_0046:配置参数>模拟目标>减少阻塞
检查与应用程序寿命相关的安全优化设置 hisl_0048：配置参数>数学和数据类型>应用程序使用寿命（天）
检查数据初始化的安全相关优化设置 hisl_0052：配置参数>代码生成>优化>数据初始化
检查数据类型转换的安全相关优化设置 hisl_0053：配置参数>代码生成>优化>删除浮点的代码到包裹超出范围值的整数转换
检查除法运算异常的安全相关优化设置 hisl_0054：配置参数>代码生成>优化>删除保护违反分裂算术例外的代码
检查与安全相关的代码生成设置是否有注释 hisl_0038:配置参数>代码生成>注释
检查安全相关的代码生成界面设置 hisl_0039：配置参数>代码生成>接口
检查与代码样式相关的安全代码生成设置 hisl_0047：配置参数>代码生成>代码样式
检查安全相关的代码生成标识符设置 hisl_0049：配置参数>代码生成>标识符
检查Abs块的使用情况 hisl_0001：abs阻止的用法
检查数学功能块的使用（REM和互惠函数） hisl_0002：数学函数块的使用（REM和互惠）
检查Math Function块(log和log10函数)的使用情况 hisl_0004：数学函数块的使用（自然对数和基数10对数）
检查分配块的使用情况 hisl_0029:赋值块的使用
检查信号路由块的使用情况 hisl_0034：信号路由块的使用
检查缺少范围定义的根导入 hisl_0025:输入接口的设计最小/最大规格
检查具有缺失范围定义的根出口 HISL_0026：设计最小/最大输出接口规范
检查状态机类型的状态流图 hisf_0001:状态机类型
检查跨并行状态边界的转换路径的状态溢图 HISF_0013：过渡路径的使用（交叉并行状态边界）
检查状态垃圾图表，用于排序状态和转换 hisf_0002：用户指定的状态/转换执行顺序
检查StateFlow调试选项 hisf_0011：extendflow调试设置
检查状态流图中唯一定义的数据对象 hisl_0061：清晰度的唯一标识符
检查StateFlow图表是否有强数据键入 HISF_0015：强大的数据键入（铸造变量和表达式参数）
检查statflow数据的移位操作的使用情况 hisf_0064:对statflow数据进行移位操作，以提高代码遵从性
检查状态溢图中的分配操作 hisf_0065:在statflow中进行类型转换操作以提高代码遵从性
检查一元运算符的状态溢图表 HISF_0211：防止在状态溢图中使用联合运算符，以提高代码合规性
使用Simulink I / O检查打字的强大数据金宝app hisf_0009:强数据类型(Simulink和statfl金宝appow边界)
检查MATLAB功能接口与继承的属性 himl_0002: MATLAB函数边界的强数据类型
检查MATLAB功能指标 himl_0003: MATLAB函数复杂度的限制
检查MATLAB代码分析器消息 himl_0004: MATLAB代码分析器对代码生成的建议
检查安全相关模型引用设置 hisl_0037:配置参数>模型引用
检查与安全相关的解析器诊断设置 hisl_0043：配置参数>诊断>求解器
检查模拟时间的安全相关求解器设置 hisl_0040：配置参数>求解器>模拟时间
检查安全相关的求解器设置以获取求解器选项 hisl_0041：配置参数>求解器>求解器选项
检查安全相关的求解器设置以进行任务和采样时间 hisl_0042:配置参数>求解器>任务设置和采样时间选项
检查安全相关的诊断设置以进行采样时间 hisl_0044：配置参数>诊断>采样时间
检查与参数的安全相关诊断设置 hisl_0302:配置参数>诊断>数据有效性>参数
检查用于调试的数据的安全相关诊断设置 Hisl_0305：配置参数>诊断>数据有效性>调试
检查数据存储内存的安全相关诊断设置 hisl_0013:数据存储块的使用情况
检查类型转换的安全相关诊断设置 hisl_0309：配置参数>诊断>类型转换
检查信号连接的安全相关诊断设置 hisl_0306:配置参数>诊断>连接>信号
检查安全相关的诊断设置是否总线连接 hisl_0307：配置参数>诊断>连接>公共汽车
检查适用于功能呼叫连接的安全相关诊断设置 hisl_0308：配置参数>诊断>连接>函数调用
检查与安全相关的诊断设置以确保兼容性 hisl_0301:配置参数>诊断>兼容性
检查模型初始化的安全相关诊断设置 hisl_0304：配置参数>诊断>数据有效性>模型初始化
检查模型引用的安全相关诊断设置 hisl_0310：配置参数>诊断>模型引用
检查与安全相关的诊断设置以进行保存 hisl_0036：配置参数>诊断>保存
检查合并块的安全相关诊断设置 hisl_0303：配置参数>诊断>数据有效性>合并块
检查statflow的安全相关诊断设置 hisl_0311:配置参数> Diagnostics > statflow . hisl_0311:配置参数> Diagnostics
检查循环展开阈值的安全相关优化设置 hisl_0051：配置参数>代码生成>优化>循环展开阈值
检查模型对象名称 hisl_0032：模型对象名称
检查没有链接到要求的模型元素 hisl_0070:在模型中放置需求链接
检查过渡路径不当使用 hisf_0014：过渡路径的使用（通过状态）
检查位操作符块的使用情况 hisl_0019:按位操作的用法
检查带有索引信号的块的数据类型 hisl_0022：索引信号的数据类型选择
检查模型文件名 hisl_0031:模型文件名
选中MATLAB功能块中的/ elseif / else模式 himl_0006：matlab代码如果/ elseif / else模式
检查MATLAB函数块中的开关语句 HIML_0007：MATLAB代码交换机/案例/否则模式
在图形功能中检查全局变量 hisl_0062:图形函数中的全局变量
检查用户定义的对象名称的长度 hisl_0063：用户定义的对象名称的长度，以改善Misra C：2012合规性
检查合并块的使用情况 hisl_0015：合并块的使用
检查有条件执行的子系统的使用情况 hisl_0012：使用有条件执行的子系统
检查标准化MATLAB功能标题的使用情况 HIML_0001：标准化MATLAB功能标题的使用
检查MATLAB函数块中关系运算符的使用情况 HIML_0008：MATLAB代码关系运算符数据类型
检查MATLAB功能块中平等运算符的使用情况 himl_0009:具有相等/不相等关系运算符的MATLAB代码
检查MATLAB函数块中逻辑运算符和函数的使用情况 HIML_0010：MATLAB代码具有逻辑运算符和功能
检查条件表达式的类型和大小 himl_0011:条件表达式的数据类型和大小
检查状态流图中的端口命名 hisf_0016:状态流端口名
检查stateflow数据对象的范围 HISF_0017：StateFlow数据对象范围
检查增益块的使用情况 hisl_0066：使用收益块
检查状态流图中按位操作的使用情况 HISF_0003：按位操作的使用
检查Loop控制变量的数据类型 HISL_0102：LOOP控制变量的数据类型，以改善MISRA C：2012合规性
检查MISRA C：2012的配置参数 hisl_0060：配置issra c：2012合规性的配置参数

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

检查不推荐用于Misra C：2012的块

 HISL_0020：不推荐用于MISRA C：2012合规性的块

检查安全相关的优化设置，以获得指定的最小值和最大值

 hisl_0056：配置参数>代码生成>优化>优化使用指定的最小值和最大值
检查数学功能块的使用（REM和互惠函数） hisl_0002：数学函数块的使用（REM和互惠）
检查SQRT块的使用情况 hisl_0003：平方根块的使用
检查Math Function块(log和log10函数)的使用情况 hisl_0004：数学函数块的使用（自然对数和基数10对数）
检查互惠SQRT块的使用情况 hisl_0028:平方根倒数块的用法

金宝appSimulink检查文档

金宝app

尝试MATLAB, Si金宝appmulink和其他产品下载188bet金宝搏

立即获得审判