检查 Stateflow 的安全相关诊断设置
mathworks.hism.hisl_0311
依赖关系: Simulink® Check™ 和 Stateflow®
用法: 高完整性系统建模
规范: hisl_0311:配置参数 > 诊断 > Stateflow
说明
此检查验证模型配置是否使用适用于 Stateflow 的最佳参数设置，以便在为安全相关应用程序生成代码时使用。
建议的行动和结果
查看检查中标记出的违规行为以及建议的修复措施。应用更改后，保存模型并重新运行检查分析。
您可以使用修复按钮，让模型顾问修复标记的违规行为。本次检查中，模型顾问配置适用于 Stateflow 的诊断设置，这些设置可能会影响安全性。
| 建模条件 | 建议的操作 |
|---|---|
| 用于检测图配置是否导致仿真期间出现不必要的回溯的诊断值设置为无或警告。 | 将模型配置参数意外回溯设置为 |
| 用于检测图配置中连接到图输入端口的块在初始化期间是否未初始化其输出的诊断信息设置为无或警告。 | 将模型配置参数图初始化中无效的输入数据访问设置为 |
| 用于检测图是否具有无条件默认状态转换或连接点的诊断值设置为无或警告。 | 将模型配置参数不存在无条件默认转移设置为 |
| 用于检测图是否包含循环到父状态或连接点之外的转换的诊断信息设置为无或警告。 | 将模型配置参数自然父级外的转移设置为 |
| 用于检测图是否在有效执行路径上构建的诊断信息设置为无或警告。 | 将模型配置参数不可达的执行路径设置为 |
| 诊断程序会检测参数无向事件广播是否设置为无或警告。 | 将模型配置参数无向事件广播设置为 |
| 诊断结果显示参数在条件动作之前指定的转移动作设置为无或警告。 | 将模型配置参数在条件动作之前指定的转移动作设置为 |
| 诊断程序会检测参数对摩尔图中输出的写前读是否设置为无或警告。 | 将模型配置参数对摩尔图中输出的写前读设置为 |
| 诊断结果显示参数绝对时间时序值短于采样周期设置为无或警告。 | 将模型配置参数绝对时间时序值短于采样周期设置为 |
| 诊断结果显示参数叶状态自转移设置为无或警告。 | 将模型配置参数叶状态自转移设置为 |
| 诊断结果显示参数存在输入事件时禁用了 ''初始化时执行'' 设置为无或警告。 | 将模型配置参数存在输入事件时禁用了 ''初始化时执行'' 设置为 |
功能和限制
无法在库模型上运行。
不允许排除模块或图。
无需模型编译
版本历史记录
在 R2017b 中推出
