Abstract:Cyber-physical systems (CPS) are subject to environmental uncertainties such as adverse operating conditions, malicious attacks, and hardware degradation. These uncertainties may lead to failures that put the system in a sub-optimal or unsafe state. Systems that are resilient to such uncertainties rely on two types of operations: (1) graceful degradation, to ensure that the system maintains an acceptable level of safety during unexpected environmental conditions and (2) recovery, to facilitate the resumption of normal system functions. Typically, mechanisms for degradation and recovery are developed independently from each other, and later integrated into a system, requiring the designer to develop an additional, ad-hoc logic for activating and coordinating between the two operations. In this paper, we propose a self-adaptation approach for improving system resiliency through automated triggering and coordination of graceful degradation and recovery. The key idea behind our approach is to treat degradation and recovery as requirement-driven adaptation tasks: Degradation can be thought of as temporarily weakening original (i.e., ideal) system requirements to be achieved by the system, and recovery as strengthening the weakened requirements when the environment returns within an expected operating boundary. Furthermore, by treating weakening and strengthening as dual operations, we argue that a single requirement-based adaptation method is sufficient to enable coordination between degradation and recovery. Given system requirements specified in signal temporal logic (STL), we propose a run-time adaptation framework that performs degradation and recovery in response to environmental changes. We describe a prototype implementation of our framework and demonstrate the feasibility of the proposed approach using a case study in unmanned underwater vehicles.

Model-Based Adaptation of Mixed-Criticality Multiservice Systems for Extreme Physical Environments

Poster: Model-Based Adaptation To Extreme Physical Environments: A Case Study On Mixed-Criticality Industrial Ethernet

Sequential Steady-State Security Region-Based Transmission Power System Resilience Enhancement

Robustness Improvement for Cyber Physical System Based on an Optimization Model of Interdependent Constraints

An asymmetric interdependent networks model for cyber-physical systems

Mc2: Multimode User-Centric Design of Wireless Sensor Networks for Long-Term Monitoring

Architectural Adaptation Addressing the Criteria of Multiple Quality Attributes in Mission-Critical Systems

The Development of a Malleable Model for Critical System Supervision Integration

Aiming in Harsh Environments: A New Framework for Flexible and Adaptive Resource Management

Towards Developing Resilient and Service-oriented Mission-critical Systems

Reliability Evaluation of MMC‐MTDC System Considering Device Failure Rates and Multi‐State Transition

Reliable Proactive Adaptation Via Prediction Fusion and Extended Stochastic Model Predictive Control

A Novel Self-Adaptation Approach for Multi-Domain Communication Considering Heterogenerous Power Service in Data Centers

A Multi-State Model for Transmission System Resilience Enhancement Against Short-Circuit Faults Caused by Extreme Weather Events

CMS: A Continuous Machine-Learning and Serving Platform for Industrial Big Data

Dynamic Budget Management with Service Guarantees for Mixed-Criticality Systems

Modelling the Offloading Scheme with Unreliable VM-related Service for MEC networks

A Method to Enhance SCADA Systems Survivability through Simulation Technology

Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation

Integrating a Performance Model in Self-Managing Computer Systems under Mixed Workload Conditions

Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning