Assuring the Safety, Security and Reliability of Medical Device Cyber-Physical Systems

Abstract:

Recent years have seen medical devices go from being monolithic to a collection of integrated systems. Modern medical device systems have thus become a distinct class of cyber-physical systems called Medical Cyber Physical Systems (MCPS), featuring complex and close interaction of sophisticated treatment algorithms with the physical aspects of the system, and especially thepatient whose safety is of the utmost concern. The goal of this project is to develop a new paradigm for the design and implementation of safe, secure, and reliable MCPS, which includes:

• A compositional development framework for safe and secure MCPS;
• An approach to evidence-based regulatory approval and incremental certification of MCPS;
• Techniques for rigorous development of multi-device MCPS;
• Control-theoretic methods for the design of physiological closed-loop scenarios.

On-going research directions:

1. Model-based, safety-assured development of medical devices, concentrating on the generic PCA (GPCA) infusion pump case study. Current efforts concentrate on code generation techniques that apply transformations to platform-independent state-machine models to account for time delays imposed by the platform; this ensures that generated code satisfies the verified timing constraints on a given platform.
2. An interoperability platform with timing guarantees that allows us to develop and deploy software  for new clinical scenarios as virtual medical devices (VMD), potentially opening a regulatory pathway for the approval of systems of interoperable medical devices.
3. Development and safety analysis of physiologically closed-loop clinical scenarios. Current efforts concentrate on the development and evaluation of controllers for blood glucose control.
4. Development of network-enabled smart alarm and decision support applications. A generic smart alarm architecture has been developed. Current efforts concentrate on the application of parameter-invariant techniques to detect a variety of clinically-relevant events.
5. Development and evaluation techniques for assurance cases for MCPS. Using the clinical scenario for closed-loop control of PCA infusion as the case study, current efforts concentrate on the development of arguments for an assurance case involving an VMD-based on-demand MCPS.