本页采用了机器翻译。点击此处可查看英文原文。

检查与安全相关的代码生成接口设置

mathworks.hism.hisl_0039

依赖关系: Simulink® Check™

用法: 高完整性系统建模

规范: hisl_0039:配置参数 > 代码生成 > 接口

说明

此检查验证模型配置是否使用最佳参数设置来生成与安全相关的应用程序的代码。

建议的行动和结果

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

如果您认为标记的违规行为与您的设计无关或不可行，请使用申述按钮提供理由，说明为什么该违规行为与您的设计无关或不可行。

您可以使用修复按钮，让模型顾问修复所有标记的违规行为。本次检查中，模型顾问会配置可能影响安全性的模型代码生成设置。

建模条件建议的操作
代码生成配置为生成非有限数据和操作。对于实时安全相关系统而言，支持非有限数是不合适的。 在“配置参数”对话框的 代码生成 > 接口窗格中清除支持: 非有限数 (Simulink Coder)，或者将参数 SupportNonFinite 设置为 'off'。
代码生成配置为支持使用连续时间的块。支持连续时间不适用于实时安全相关系统。系统目标文件必须设置为 ERT。在“配置参数”对话框的 代码生成 > 接口窗格中清除支持: 连续时间 (Embedded Coder)，或者将参数 SupportContinuousTime 设置为 'off'。
代码生成配置为支持非内联 S-Function。此选项需要支持非有限数，这对于实时安全相关系统来说是不合适的。系统目标文件必须设置为 ERT。在“配置参数”对话框的 代码生成 > 接口窗格中清除 支持非内联 S-Function (Embedded Coder)，或者将参数 SupportNonInlinedSFcns 设置为 'off'。
代码生成配置为生成与 R2012a 之前的 GRT 目标的主程序模块兼容的模型函数调用。此选项不适用于实时安全相关系统。在“配置参数”对话框的 代码生成 > 接口窗格中清除 经典调用接口 (Simulink Coder)，或者将参数 GRTInterface 设置为 'off'。
代码生成未配置为生成 model_update 函数。通过一次调用输出和更新函数，简化了与实时操作系统的接口，并简化了对生成代码的验证。在“配置参数”对话框的 代码生成 > 接口窗格中选择 单一输出/更新函数 (Simulink Coder)，或者将参数 CombineOutputUpdateFcns 设置为 'on'。
代码生成配置为生成 model_terminate 函数。该功能会释放动态内存，这不适用于实时安全相关系统。系统目标文件必须设置为 ERT。在“配置参数”对话框的代码生成窗格中清除 终止函数 (Embedded Coder)，或者将参数 IncludeMdlTerminateFcn 设置为 'off'。
代码生成配置为不记录或监控错误状态。如果您不选择此选项，Simulink Coder™ 可能会生成无法进行测试的额外代码。系统目标文件必须设置为 ERT。在“配置参数”对话框的 代码生成 > 接口窗格中选择 删除实时模型数据结构体中的错误状态字段 (Embedded Coder)，或者将参数 SuppressErrorStatus 设置为 'on'。
代码生成配置为将日志记录到 MAT 文件中。此选项会添加额外的代码，用于将测试点记录到 MAT 文件中，但嵌入式目标不支持此功能。仅在测试框架中使用此选项。在“配置参数”对话框的 代码生成 > 接口窗格中清除 MAT 文件记录 (Simulink Coder)，或者将参数 MatFileLogging 设置为 'off'。

功能和限制

  • 无需模型编译

  • 无法在库模型上运行。

  • 不允许排除模块或图。

  • 在模型顾问报告中，不使用 Embedded Coder® 时，不会突出显示参数名称。

版本历史记录

在 R2020a 中推出

全部展开

另请参阅

主题