Abstract

As software is becoming more and more embedded into our critical infrastructure, the potential impact of security attacks or design flaws on our society is also rapidly increasing. There is, however, relatively little tool support for system designers and operators to predict the impact of a failure on the system-wide level and devise potential mitigations as early as in the design stage. In this talk, I will describe a model-driven approach to resilient cyber-physical systems (CPS) design, where a high-level design of a system is captured using a formal model and an automated analysis is applied to systematically identify vulnerabilities in the design. I will discuss some of the benefits and challenges of this type of approach to CPS design, and describe applications to critical infrastructure systems, including water treatment plants and intelligent vehicles.

 

 

Eunsuk Kang is an Assistant Professor in the Institute for Software Research, School of Computer Science at Carnegie Mellon University. His research interests include software engineering and formal methods, with applications to system safety and security. He is interested in leveraging formal modeling techniques, design methodologies, and automated verification to construct secure and reliable cyber-physical systems (CPS), and he has applied his work to a diverse range of systems, including intelligent vehicles, unmanned aerial vehicles (UAVs), medical devices, water treatment plants, and mobile applications. For his work, he has received two ACM Distinguished Paper Awards (FSE 2016, ICSE 2015) and a Best Paper Award (at IEEE/ACM Internet of Things Design and Implementation Conference, 2017).