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 …

We propose HYDRA-C, a design-time evaluation framework for integrating monitoring
mechanisms in multicore real-time systems (RTS). Our goal is to ensure that security (or …

Modern Internet-of-Things devices are vulnerable to attacks targeting outgoing actuation
commands that modify their physical behaviors. We present a “selective checking” …

Software rejuvenation has been proposed and demonstrated as a strategy to protect cyber-
physical systems (CSPs) against unanticipated and undetectable cyber attacks, but the …

Cyber-Physical Systems (CPSs) are engineered systems that are built from, and depend
upon, the seamless integration of computation, and physical components. While automatic …

A cyber attack on a water or power system may lead to a process anomaly. Several methods
have been proposed to detect such anomalies. An obvious and implicit assumption that …

Cyber-physical systems (CPS) are required to operate safely under fault and malicious
attacks. The simplex architecture and the recently proposed cyber resilient architectures, eg …

Cyber-Physical Systems (CPS) such as industrial control systems, automobiles, and medical
devices often consist of applications with real-time properties. Due to the safety-critical …

Modern real-time systems are susceptible to cyber-attacks. The growing adoption of multi-
core platforms, where safety and non-safety critical tasks coexist, further introduces new …

Building robust, reliable, and resilient safety critical systems is a major challenge facing
nations and states today. The reason is that the complexity and technological advancement …