检查针对采样时间的安全相关诊断设置
mathworks.hism.hisl_0044
依赖关系: Simulink® Check™
用法: 高完整性系统建模
规范: hisl_0044:配置参数 > 诊断 > 采样时间
说明
此检查验证模型配置是否使用与采样时间诊断相关的最佳参数设置，以便为安全相关应用程序生成代码。
建议的行动和结果
查看检查中标记出的违规行为以及建议的修复措施。应用更改后，保存模型并重新运行检查分析。
如果您认为标记的违规行为与您的设计无关或不可行，请使用申述按钮提供理由，说明为什么该违规行为与您的设计无关或不可行。
您可以使用修复按钮，让模型顾问修复所有标记的违规行为。本次检查中，模型顾问会配置可能影响安全性的模型代码生成设置。
| 建模条件 | 建议的操作 |
|---|---|
| 当源模块继承采样时间时，Simulink 不会发出错误。对源模块使用继承的采样时间可能会导致源模块及其连接块的执行速率不可预测。对于与安全相关的应用，请使用明确的源块采样时间，以防止执行顺序错误。 | 将模型配置参数 信号源模块指定 -1 采样时间 设置为 error，或将参数 InheritedTsInSrcMsg 设置为 'error'。 |
| 当检测到在多任务模式下运行的两个块之间发生无效数据传输时，Simulink 不会发出错误。请勿将此类数据传输用于安全相关的应用。 | 将模型配置参数多任务数据转移设置为 error，或将参数 MultiTaskRateTransMsg 设置为 'error'。 |
| 当 Simulink 检测到可能导致数据损坏或非确定性行为的子系统时，不会发出错误。该软件检测条件执行的多速率子系统（启用、触发或函数调用子系统）是否在多任务模式下运行。在允许抢占的实时环境中，此类子系统可能会损坏数据并表现出不可预测的行为。 | 将模型配置参数 多任务条件执行子系统 设置为 error，或将参数 MultiTaskCondExecSysMsg 设置为 'error'。 |
| 当 Signal Specification 模块的采样时间与目标端口不同时，Simulink 不会发出错误。采样时间设置过高会导致执行速率不可预测。 | 将模型配置参数 强制应用 Signal Specification 模块指定的采样时间 设置为 error，或将参数 SigSpecEnsureSampleTimeMsg 设置为 'error'。 |
| 当 Simulink 检测到两个优先级相同且可以相互抢占的任务时，它不会发出错误。 | 将模型配置参数 具有同等优先级的任务 设置为 error，或将参数 TasksWithSamePriorityMsg 设置为 'error'。 |
| 当模型包含未指定是否阻止该模型从父模型继承其采样时间的 S-Function 时，Simulink 不会发出错误。使用这些 S-Function 可能会导致不可预测的行为。模型开发者需要知道模型中何时存在这样的 S-Function，以便对其进行修改，从而产生可预测的行为。 | 将模型配置参数 未指定采样时间的可继承性 设置为 error，或将参数 UnknownTsInhSupMsg 设置为 'error'。 |
功能和限制
无需模型编译
无法在库模型上运行。
不允许排除模块或图。
