Cyber-Physical System Checkpointing and Recovery

Fanxin Kong, Meng Xu, James Weimer, Oleg Sokolsky, Insup Lee

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Scopus citations

Abstract

Transitioning to more open architectures has been making Cyber-Physical Systems (CPS) vulnerable to malicious attacks that are beyond the conventional cyber attacks. This paper studies attack-resilience enhancement for a system under emerging attacks in the environment of the controller. An effective way to address this problem is to make system state estimation accurate enough for control regardless of the compromised components. This work follows this way and develops a procedure named CPS checkpointing and recovery, which leverages historical data to recover failed system states. Specially, we first propose a new concept of physical-state recovery. The essential operation is defined as rolling the system forward starting from a consistent historical system state. Second, we design a checkpointing protocol that defines how to record system states for the recovery. The protocol introduces a sliding window that accommodates attack-detection delay to improve the correctness of stored states. Third, we present a use case of CPS checkpointing and recovery that deals with compromised sensor measurements. At last, we evaluate our design through conducting simulator-based experiments and illustrating the use of our design with an unmanned vehicle case study.

Original languageEnglish (US)
Title of host publicationProceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages22-31
Number of pages10
ISBN (Print)9781538653012
DOIs
StatePublished - Aug 21 2018
Externally publishedYes
Event9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018 - Porto, Portugal
Duration: Apr 11 2018Apr 13 2018

Publication series

NameProceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018

Other

Other9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018
CountryPortugal
CityPorto
Period4/11/184/13/18

Keywords

  • Checkpointing
  • Cyber Physical Systems
  • Recovery
  • Resilience
  • Security

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Science Applications
  • Control and Optimization

Fingerprint Dive into the research topics of 'Cyber-Physical System Checkpointing and Recovery'. Together they form a unique fingerprint.

  • Cite this

    Kong, F., Xu, M., Weimer, J., Sokolsky, O., & Lee, I. (2018). Cyber-Physical System Checkpointing and Recovery. In Proceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018 (pp. 22-31). [8443718] (Proceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICCPS.2018.00011