Design of software rejuvenation for CPS security using invariant sets

R Romagnoli, BH Krogh… - 2019 American Control …, 2019 - ieeexplore.ieee.org
Software rejuvenation has been proposed as a strategy to protect cyber-physical systems
(CSPs) against unanticipated and undetectable cyber attacks. The basic idea is to refresh …

Safety and liveness of software rejuvenation for secure tracking control

R Romagnoli, BH Krogh… - 2019 18th European …, 2019 - ieeexplore.ieee.org
Software rejuvenation is the concept of scheduling periodic system reboots to eliminate
sources of potential failures due to unanticipated states in the run-time system. It has been …

Software rejuvenation for safe operation of cyber–physical systems in the presence of run-time cyberattacks

R Romagnoli, BH Krogh, D de Niz… - … on Control Systems …, 2023 - ieeexplore.ieee.org
Software rejuvenation refers to the periodic restoration of a computing system's software and
data with a previously saved image to eliminate undesired behavior due to unknown or …

Software rejuvenation under persistent attacks in constrained environments

R Romagnoli, P Griffioen, BH Krogh, B Sinopoli - IFAC-PapersOnLine, 2020 - Elsevier
Software rejuvenation has been proposed to guarantee safety of cyber-physical systems
(CPSs) against cyber-attacks. Recent work has demonstrated how this method can be …

Secure networked control via software rejuvenation

P Griffioen, R Romagnoli, BH Krogh… - 2019 IEEE 58th …, 2019 - ieeexplore.ieee.org
Software rejuvenation has been proposed as a prevention mechanism against
unanticipated and undetectable attacks on cyber-physical systems. Without needing to …

A linear programming approach to computing safe sets for software rejuvenation

T Arauz, JM Maestre, R Romagnoli… - IEEE Control …, 2021 - ieeexplore.ieee.org
Software rejuvenation was born to fix operating system faults by periodically refreshing the
run-time code and data. This mechanism has been extended to protect control systems from …

Verifying safety for resilient cyber-physical systems via reactive software restart

L Niu, D Sahabandu, A Clark… - 2022 ACM/IEEE 13th …, 2022 - ieeexplore.ieee.org
Resilient cyber-physical systems (CPS) must ensure safety and per-form required tasks in
the presence of malicious cyber attacks. Recently, restart-based defenses have been …

Analysis, prevention, and feasibility assessment of stealthy ageing attacks on dynamical systems

C Escudero, P Massioni, E Zamaï… - IET Control Theory & …, 2022 - Wiley Online Library
This article provides control theory methods to analyse, prevent, and assess the feasibility of
stealthy ageing attacks on controlled physical systems, modelled as dynamical systems …

YOLO: frequently resetting cyber-physical systems for security

MA Arroyo, MTI Ziad, H Kobayashi… - … , and Security for …, 2019 - spiedigitallibrary.org
A Cyber-Physical System (CPS) is defined by its unique interactions between digital (cyber)
computation and physical motion. Their hybrid nature introduces new attack vectors, but also …

Workload-based software rejuvenation in cloud systems

D Bruneo, S Distefano, F Longo… - IEEE Transactions …, 2013 - ieeexplore.ieee.org
Cloud computing is a promising paradigm able to rationalize the use of hardware resources
by means of virtualization. Virtualization allows to instantiate one or more virtual machines …