Computer modeling and simulation for medical device evaluation has been pursued as a means for reducing the cost and scope of clinical trials while minimizing the risk of unforeseen adverse outcomes. Advances in computational technologies and algorithms have further enabled analysis with complex and realistic Bayesian models to be applied to clinical trials.

The objective of this research is to develop new forms of tool-supported safety analyses for next-generation integrated medical systems that are based on the concept of medical application platforms (MAP). A MAP is a safety- and security-critical real-time computing platform for (a) integrating heterogeneous devices, medical IT systems, and information displays via a communication infrastructure and (b) hosting application programs (”apps”) that provide medical utility via the ability to both acquire information from and update/control integrated devices, IT systems, and displays.

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: