检查数据存储内存的安全相关诊断设置
mathworks.hism.hisl_0013
依赖关系: Simulink® Check™
用法: 高完整性系统建模
规范: hisl_0013: Usage of data store memory
说明
使用此检查来验证与数据存储内存相关的模型诊断配置参数是否已设置为最佳状态，以便为安全相关应用程序生成代码。
建议的行动和结果
查看检查中标记出的违规行为以及建议的修复措施。应用更改后，保存模型并重新运行检查分析。
您可以使用修复按钮，让模型顾问修复所有标记的违规行为。为进行此项检查，模型顾问会配置适用于功能调用连接且可能影响安全性的模型诊断设置。
| 建模条件 | 建议的操作 |
|---|---|
| 用于检测模型是否尝试从当前时间步中尚未存储数据的数据存储中读取数据的诊断信息被设置为除全部作为错误之外的值。在数据写入之前读取数据可能会导致使用过时的数据或未初始化的数据。 | 在“配置参数”对话框中，将其设置为 检测写前读 |
| 检测模型是否尝试在当前时间步从数据存储中读取数据后再次将数据存储到数据存储中的诊断信息被设置为除全部作为错误之外的值。读取数据后再写入数据可能会导致使用过时或不正确的数据。 | 在“配置参数”对话框中，将 检测读后写 设置为 Enable all as errors，或者将参数 WriteAfterReadMsg 设置为 "Enable all as errors"。 |
| 用于检测模型是否在当前时间步中连续两次尝试将数据存储到数据存储中的诊断值被设置为除全部作为错误之外的值。在同一时间步内写入两次数据可能会导致数据不可预测。 | 在“配置参数”对话框中，将 检测写后写 设置为 Enable all as errors，或者将参数 WriteAfterWriteMsg 设置为 "Enable all as errors"。 |
| 用于检测模型是否在当前时间步中连续两次尝试将数据存储到数据存储中的诊断值被设置为除全部作为错误之外的值。在同一时间步内写入两次数据可能会导致数据不可预测。 | 在“配置参数”对话框中，将 多任务数据存储 设置为 error，或者将参数 MultiTaskDSMMsg 设置为 "error"。 |
| 诊断结果显示参数重复数据存储名称未设置为错误。 | 在“配置参数”对话框中，将 重复数据存储名称 设置为 error，或者将参数 UniqueDataStoreMsg 设置为 "error"。 |
功能和限制
无法在库模型上运行。
不允许排除模块或图。
无需模型编译
版本历史记录
在 R2017b 中推出
