Log In Sign Up

Safety-Critical Adaptation in Self-Adaptive Systems

by   Simon Diemert, et al.

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.


page 1

page 2

page 3

page 4


Safety-Critical Control with Input Delay in Dynamic Environment

Endowing nonlinear systems with safe behavior is increasingly important ...

Learning-Based Safety-Stability-Driven Control for Safety-Critical Systems under Model Uncertainties

Safety and tracking stability are crucial for safety-critical systems su...

Self-Adaptive Systems in Organic Computing: Strategies for Self-Improvement

With the intensified use of intelligent things, the demands on the techn...

Understanding Bounding Functions in Safety-Critical UAV Software

Unmanned Aerial Vehicles (UAVs) are an emerging computation platform kno...

Bayesian Learning-Based Adaptive Control for Safety Critical Systems

Deep learning has enjoyed much recent success, and applying state-of-the...

Uncertainty in Self-Adaptive Systems: A Research Community Perspective

One of the primary drivers for self-adaptation is ensuring that systems ...

Engineering Self-adaptive Authorisation Infrastructures

As organisations expand and interconnect, authorisation infrastructures ...