CISE Seminar: Oleg Sokolsky, University of Pennsylvania, December 6, 2019

We consider the problem of recovery from faults or attacks in cyber-physical systems.  We revisit the checkpoint-based approach well-known in computer systems.  We show that underlying concepts of such an approach – such as logical consistency and rollback – need to be reconsidered when physical state is involved.  Then, we explore an alternative approach suitable for cyber-physical systems.

Oleg Sokolsky is a Research Professor of Computer and Information Science at the University of Pennsylvania and one of the founding members of the PRECISE Center.  His work focuses on the application of formal methods to safety assurance for embedded and cyber-physical systems.