Assuring the Safety of On-Demand Medical Cyber-Physical Systems

Oleg Sokolsky - University of Pennsylvania

Oct. 4, 2013, 1 p.m. - Oct. 4, 2013, 2 p.m.

MC103


On-demand medical cyber-physical systems are assembled from individual medical devices to treat a patient in a specific clinical scenario. We discuss an approach to establish safety of such a system. We treat such a system as a virtual medial device (VMD) and propose a model-based framework to describe and assess VMDs. The framework includes a modeling language with formal semantics for modeling VMDs and their constituent devices, and a medical application platform (MAP) that provides the necessary deployment support for the VMD models. Oleg Sokolsky is a Research Associate Professor with the Department of Computer and Information Science of University of Pennsylvania. He is a member of the PRECISE Center (Penn Research in Embedded Computing and Integrated Systems), and Real-Time Systems group. He received M.Sc. and Ph.D. in Computer Science from St. Petersburg Technical University and Stony Brook University, respectively. His main research interest is the application of formal methods to design and verification of distributed real-time systems. Other interests, all related to the main one, include on-line monitoring of distributed systems and formal foundations for it, hybrid systems, automated extraction of specifications from source code, and formal methods in software engineering in general and in embedded software in particular.