Safety and Liveness of Software Rejuvenation for Secure Tracking Control

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 proposed recently as a way to improve security of cyber-physical systems (CPSs) against undetectable cyber-attacks that change run-time code or data towards malicious ends. This paper presents proofs of safety and liveness for a recently proposed scheme for software rejuvenation for tracking control systems based on Lyapunov functions and invariant sets.