Runtime System Support for CPS Software Rejuvenation

Raffaele Romagnoli; Bruce H. Krogh; Dionisio De Niz; Anton D. Hristozov; Bruno Sinopoli

doi:10.1109/TETC.2023.3267899

Runtime System Support for CPS Software Rejuvenation

Raffaele Romagnoli
, Bruce H. Krogh
, Dionisio De Niz
, Anton D. Hristozov
, Bruno Sinopoli

Research output: Contribution to journal › Article › peer-review

9 Scopus citations

Abstract

Software rejuvenation, which was originally introduced to deal with performance degradation due to software aging, has recently been proposed as a mechanism to provide protection against run-time cyber attacks in cyber-physical systems (CPSs). Experiments have demonstrated that CPSs can be protected from attacks that corrupt run-time code and data by periodically restoring the run-time system with an uncorrupted image. Control theoretic and empirical methods have been developed to determine the timing and mode-switching conditions for CPS software rejuvenation (CPS SR) that will guarantee system safety. This article presents the requirements that need to be met by the run-time system to support CPS SR. It also presents an implementation and demonstration of the run-time system for the PX4 autopilot system for autonomous vehicles.

Original language	English
Pages (from-to)	594-604
Number of pages	11
Journal	IEEE Transactions on Emerging Topics in Computing
Volume	11
Issue number	3
DOIs	https://doi.org/10.1109/TETC.2023.3267899
State	Published - Jul 1 2023

Keywords

Cyber physical systems
UAV
resilience
safety
security
software rejuvenation

Access to Document

10.1109/TETC.2023.3267899

Cite this

@article{fb6f7e5026e64df1839433634f9b541f,

title = "Runtime System Support for CPS Software Rejuvenation",

abstract = "Software rejuvenation, which was originally introduced to deal with performance degradation due to software aging, has recently been proposed as a mechanism to provide protection against run-time cyber attacks in cyber-physical systems (CPSs). Experiments have demonstrated that CPSs can be protected from attacks that corrupt run-time code and data by periodically restoring the run-time system with an uncorrupted image. Control theoretic and empirical methods have been developed to determine the timing and mode-switching conditions for CPS software rejuvenation (CPS SR) that will guarantee system safety. This article presents the requirements that need to be met by the run-time system to support CPS SR. It also presents an implementation and demonstration of the run-time system for the PX4 autopilot system for autonomous vehicles.",

keywords = "Cyber physical systems, UAV, resilience, safety, security, software rejuvenation",

author = "Raffaele Romagnoli and Krogh, \{Bruce H.\} and \{De Niz\}, Dionisio and Hristozov, \{Anton D.\} and Bruno Sinopoli",

note = "Publisher Copyright: {\textcopyright} 2013 IEEE.",

year = "2023",

month = jul,

day = "1",

doi = "10.1109/TETC.2023.3267899",

language = "English",

volume = "11",

pages = "594--604",

journal = "IEEE Transactions on Emerging Topics in Computing",

issn = "2168-6750",

number = "3",

}

TY - JOUR

T1 - Runtime System Support for CPS Software Rejuvenation

AU - Romagnoli, Raffaele

AU - Krogh, Bruce H.

AU - De Niz, Dionisio

AU - Hristozov, Anton D.

AU - Sinopoli, Bruno

PY - 2023/7/1

Y1 - 2023/7/1

N2 - Software rejuvenation, which was originally introduced to deal with performance degradation due to software aging, has recently been proposed as a mechanism to provide protection against run-time cyber attacks in cyber-physical systems (CPSs). Experiments have demonstrated that CPSs can be protected from attacks that corrupt run-time code and data by periodically restoring the run-time system with an uncorrupted image. Control theoretic and empirical methods have been developed to determine the timing and mode-switching conditions for CPS software rejuvenation (CPS SR) that will guarantee system safety. This article presents the requirements that need to be met by the run-time system to support CPS SR. It also presents an implementation and demonstration of the run-time system for the PX4 autopilot system for autonomous vehicles.

AB - Software rejuvenation, which was originally introduced to deal with performance degradation due to software aging, has recently been proposed as a mechanism to provide protection against run-time cyber attacks in cyber-physical systems (CPSs). Experiments have demonstrated that CPSs can be protected from attacks that corrupt run-time code and data by periodically restoring the run-time system with an uncorrupted image. Control theoretic and empirical methods have been developed to determine the timing and mode-switching conditions for CPS software rejuvenation (CPS SR) that will guarantee system safety. This article presents the requirements that need to be met by the run-time system to support CPS SR. It also presents an implementation and demonstration of the run-time system for the PX4 autopilot system for autonomous vehicles.

KW - Cyber physical systems

KW - UAV

KW - resilience

KW - safety

KW - security

KW - software rejuvenation

UR - https://www.scopus.com/pages/publications/85153798223

U2 - 10.1109/TETC.2023.3267899

DO - 10.1109/TETC.2023.3267899

M3 - Article

AN - SCOPUS:85153798223

SN - 2168-6750

VL - 11

SP - 594

EP - 604

JO - IEEE Transactions on Emerging Topics in Computing

JF - IEEE Transactions on Emerging Topics in Computing

IS - 3

ER -

Runtime System Support for CPS Software Rejuvenation

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this