论文标题
自适应系统中的安全至关重要的适应
Safety-Critical Adaptation in Self-Adaptive Systems
论文作者
论文摘要
现代系统旨在在越来越多的可变和不确定的环境中运行。这些环境不仅复杂，从某种意义上说，它们包含大量变量，而且随着时间的流逝也会发生变化。系统必须能够在运行时调整其行为，以管理这些不确定性。这些自适应系统已经进行了广泛的研究。本文提出了对安全至关重要的自适应系统的定义，然后根据对系统的安全性和系统的安全案例的影响来描述将适应性分类为不同类型的分类法。分类法表达了分类的标准，然后描述了自适应系统安全案例必须满足的特定标准，具体取决于进行的适应类型。分类中的每种类型都使用安全至关重要的自适应水系统的示例进行了说明。
Modern systems are designed to operate in increasingly variable and uncertain environments. Not only are these environments complex, in the sense that they contain a tremendous number of variables, but they also change over time. Systems must be able to adjust their behaviour at run-time to manage these uncertainties. These self-adaptive systems have been studied extensively. This paper proposes a definition of a safety-critical self-adaptive system and then describes a taxonomy for classifying adaptations into different types based on their impact on the system's safety and the system's safety case. The taxonomy expresses criteria for classification and then describes specific criteria that the safety case for a self-adaptive system must satisfy, depending on the type of adaptations performed. Each type in the taxonomy is illustrated using the example of a safety-critical self-adaptive water heating system.
