Testing

Abstract: Cyber-physical systems have been increasingly subject to cyber-attacks including code injection and code reuse attacks. With the tightly coupled nature of cyber components with the physical domain, these attacks have the potential to cause significant damage if critical applications such as automobiles are compromised. Instruction Set Randomization and Address Space Randomization have been commonly proposed to address these types of attacks.

Cyber-physical systems (CPS) may be targeted by multiple simultaneous attacks, with the goal of disrupting availability, safety, and performance of the CPS. This project aims to develop a passivity-based framework for modeling, composing, and mitigating attacks on CPS, as well as verifying the models and mitigation. Passivity is an energy dissipation property of dynamical systems that provides basic rules for composition and analysis of interconnected systems.

Performance monitoring data (e.g., measurements, logs, events) are becoming increasingly accessible and abundant (in terms of cost and availability) in modern distributed complex systems such as computer systems and networks, integrated buildings, industrial systems, transportation networks and power-grids. With efficient exploration of such data, health monitoring, diagnosis and prognosis can be greatly improved beyond the current state-of-the-art.