Skip to content. Skip to navigation
McGill Home SOCS Home
Personal tools
You are here: Home Announcements and Events Seminars profile

Seminars
Fall 2013 Schedule
Winter 2014 Schedule
Archive


         
     
 
2013/10/04, MC12, 14:30 - 15:30

Assuring the Safety of On-Demand Medical Cyber-Physical Systems
Oleg Sokolsky , University of Pennsylvania

Abstract:

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.

Biography of Speaker:

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.