检查与安全相关的诊断设置，以进行类型转换

mathworks.hism.hisl_0309

依赖关系: Simulink^® Check™

用法: 高完整性系统建模

规范: hisl_0309: Configuration Parameters > Diagnostics > Type Conversion

说明

此检查验证模型配置是否使用适用于安全相关应用程序代码生成时的类型转换的最佳参数设置。

查看检查中标记出的违规行为以及建议的修复措施。应用更改后，保存模型并重新运行检查分析。

您可以使用修复按钮，让模型顾问修复标记的违规行为。对于此检查，模型顾问配置适用于类型转换且可能影响安全性的模型诊断设置。

建模条件	建议的操作
当类型转换设置为无时，检测 Data Type Conversion 块的诊断程序。该软件可以从生成的代码中删除不必要的 Data Type Conversion 块，这可能会导致出现没有相应代码的需求。需要明确指出哪些模块需要移除，以便模型开发者能够明确地移除不必要的模块。	将模型配置参数不必要的类型转换设置为 `warning`。
用于检测模块输入处向量到矩阵或矩阵到向量转换的诊断程序设置为无或警告。当 Simulink 软件自动进行此类转换时，可能会发生意外操作或不可预测的行为。	将模型配置参数向量/矩阵模块输入转换设置为 `error`
用于检测何时将 32 位整数值转换为浮点值的诊断信息设置为无。这种转换方式可能会因为大整数值的最低有效位被截断而导致精度损失。	将模型配置参数 32 位整数到单精度浮点数转换设置为 `warning`。