检查针对逻辑信号的安全相关优化设置
mathworks.hism.hisl_0045
依赖关系: Simulink® Check™
用法: 高完整性系统建模
规范: hisl_0045:配置参数 > 数学和数据类型 > 将逻辑信号实现为布尔数据（而非双精度浮点数）
说明
此检查验证逻辑信号的模型优化配置参数是否已设置为最适合生成安全相关应用程序代码。虽然高度优化的代码对于大多数实时系统来说是可取的，但有些优化可能会产生影响安全性的不良副作用。
建议的行动和结果
查看检查中标记出的违规行为以及建议的修复措施。应用更改后，保存模型并重新运行检查分析。
如果您认为标记的违规行为与您的设计无关或不可行，请使用申述按钮提供理由，说明为什么该违规行为与您的设计无关或不可行。
您可以使用修复按钮，让模型顾问修复所有标记的违规行为。本次检查中，模型顾问会配置可能影响安全性的模型代码生成设置。
| 建模条件 | 建议的操作 |
|---|---|
生成逻辑信号的模块输出 double 数据类型的信号。 | 选择模型配置参数 将逻辑信号实现为布尔数据 (而不是双精度数据) 或将参数 |
功能和限制
支持申述
无需模型编译
无法在库模型上运行。
不允许排除模块或图。
版本历史记录
在 R2018b 中推出
