主要内容

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

检查与应用程序生命周期相关的安全优化设置

mathworks.hism.hisl_0048

依赖关系: Simulink® Check™

用法: 高完整性系统建模

规范: hisl_0048:配置参数 > 数学和数据类型 > 应用程序生命周期(天)

说明

此检查验证应用程序生命周期的模型优化配置参数是否已设置为最适合生成安全相关应用程序代码。虽然高度优化的代码对于大多数实时系统来说是可取的,但有些优化可能会产生影响安全性的不良副作用。

建议的行动和结果

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

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

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

建模条件建议的操作
该模型包含依赖于经过时间或绝对时间的模块,并配置为最大限度地减少分配给计时器的内存量。这种配置限制了应用程序在计时器溢出之前可以执行的天数。许多航空航天产品都是持续通电的,因此定时器不应假定其使用寿命有限。 将模型配置参数 应用程序生命周期 (天) 设置为 inf,或将参数 LifeSpan 设置为 'inf'

功能和限制

  • 无需模型编译

  • 无法在库模型上运行。

  • 不允许排除模块或图。

版本历史记录

在 R2020a 中推出