检查信号数据的安全相关诊断设置
mathworks.hism.hisl_0314
依赖关系: Simulink® Check™
用法: 高完整性系统建模
规范: hisl_0314:配置参数 > 诊断 > 数据有效性 > 信号
说明
使用此检查来验证与信号数据相关的模型诊断配置参数是否已设置为最佳状态，以便为安全相关应用程序生成代码。
建议的行动和结果
查看检查中标记出的违规行为以及建议的修复措施。应用更改后，保存模型并重新运行检查分析。
您可以使用修复按钮，让模型顾问修复标记的违规行为。本次检查中，模型顾问配置适用于 Stateflow® 的诊断设置，这些设置可能会影响安全性。
| 建模条件 | 建议的操作 |
|---|---|
指定 Simulink 软件如何解析与 Simulink.Signal 对象关联的信号的诊断信息设置为显式和隐式或显式和隐式 (警告)。对于与安全相关的应用，应要求模型开发者明确定义信号分辨率。（参阅 DO-331，MB.6.3.3.b 节 - 软件架构的一致性。） | 在“配置参数”对话框的 诊断 > 数据有效性窗格中设置 信号解析，或者将参数 或者，要禁用 |
| 用于检测信号值是否过大而无法用信号数据类型表示的诊断信息设置为无或警告。未被检测到的数值溢出可能导致应用程序出现意外行为。（参阅 DO-331，第 MB.6.3.1.g 节 - 算法准确，DO-331，第 MB.6.3.2.g 节 - 算法准确，MISRA C:2012，第 4.1 号指令和 MISRA C:2023，第 4.1 号指令。） | 在“配置参数”对话框的 诊断 > 数据有效性窗格中设置 溢出时绕回，或者将参数 IntegerOverflowMsg 设置为 error。 |
| 用于检测信号值是否过大而无法用信号数据类型表示，从而导致饱和的诊断值设置为无或警告。未被检测到的数值溢出可能导致应用程序出现意外行为。（参阅 DO-331，第 MB.6.3.1.g 节 - 算法准确，DO-331，第 MB.6.3.2.g 节 - 算法准确，MISRA C:2012，第 4.1 号指令和 MISRA C:2023，第 4.1 号指令。） | 在“配置参数”对话框的 诊断 > 数据有效性窗格中设置 溢出时饱和，或者将参数 IntegerSaturationMsg 设置为 error。 |
当当前时间步长内模块输出信号的值为 Inf 或 NaN 时，诊断程序会将值设置为无或警告。当出现这种类型的模块输出信号情况时，可能会产生数值异常，而数值异常在安全相关的应用中是不可接受的。（参阅 DO-331，第 MB.6.3.1.g 节 - 算法准确，DO-331，第 MB.6.3.2.g 节 - 算法准确，MISRA C:2012，第 4.1 号指令和 MISRA C:2023，第 4.1 号指令。） | 在“配置参数”对话框的 诊断 > 数据有效性窗格中设置 模块输出为 Inf 或 NaN，或者将参数 SignalInfNanChecking 设置为 error。 |
检测以 rt 开头的 Simulink 对象名称的诊断程序设置为无或警告。此诊断功能可防止生成的信号名称与带有 rt 前缀的名称发生冲突。（参阅 DO-331，第 MB.6.3.1.e 节 - 高级需求符合标准，以及 DO-331，第 MB.6.3.2.e 节 - 低级需求符合标准。） | 在“配置参数”对话框的 诊断 > 数据有效性窗格中设置 标识符的 "rt" 前缀，或者将参数 RTPrefix 设置为 error。 |
| 检测仿真范围检查的诊断程序设置为无或警告。该诊断程序用于仿真中信号何时超出其指定范围。Simulink 将模块输出的信号值与指定范围和模块数据类型进行比较。（参阅 DO-331，第 MB.6.3.1.g 节 - 算法准确，DO-331，第 MB.6.3.2.g 节 - 算法准确，MISRA C:2012，第 4.1 号指令和 MISRA C:2023，第 4.1 号指令。） | 在“配置参数”对话框的 诊断 > 数据有效性窗格中设置 仿真范围检查，或者将参数 SignalRangeChecking 设置为 error。 |
| 用于检测何时根据经验定义信号数据类型的诊断信息设置为无或警告。 | 在“配置参数”对话框的 诊断 > 数据有效性窗格中设置 未定数据类型，或者将参数 UnderSpecifiedDataTypeMsg 设置为 error。 |
| 在 Product 模块中，用于检测矩阵求逆过程中奇异矩阵的诊断参数设置为无或警告。 | 在“配置参数”对话框的 诊断 > 数据有效性窗格中设置 除以奇异矩阵，或者将参数 CheckMatrixSingularityMsg 设置为 error。 |
功能和限制
无法在库模型上运行。
不允许排除模块或图。
无需模型编译
版本历史记录
在 R2018a 中推出
