The objective of this research is to establish a new development paradigm that enables the effective design, implementation, and certification of medical device cyber-physical systems. The approach is to pursue the following research directions: 1) to support medical device interconnectivity and interoperability with network-enabled control; 2) to apply coordination between medical devices to support emerging clinical scenarios; 3) to ?close the loop? and enable feedback about the condition of the patient to the devices delivering therapy; and 4) to assure safety and effectiveness of interoperating medical devices. The intellectual merits of the project are 1) foundations for rigorous development, which include formalization of clinical scenarios, operational procedures, and architectures of medical device systems, as well as patient and caregiver modeling; 2) high-confidence software development for medical device systems that includes the safe and effective composition of clinical scenarios and devices into a dynamically assembled system; 3) validation and certification of medical device cyber-physical systems; and 4) education of the next-generation of medical device system developers who must be literate in both computational and physical aspects of devices. The broader impacts of the project will be achieved in three ways. Novel design methods and certification techniques will significantly improve patient safety. The introduction of closed-loop scenarios into clinical practice will reduce the burden that caregivers are currently facing and will have the potential of reducing the overall costs of health care. Finally, the educational efforts and outreach activities will increase awareness of careers in the area of medical device systems and help attract women and under-represented minorities to the field.

The objective of this research is to develop a framework for the development and deployment of next-generation medical systems consisting of integrated and cooperating medical devices. The approach is to design and implement an open-source medical device coordination framework and a model-based component oriented programming methodology for the device coordination, supported by a formal framework for reasoning about device behaviors and clinical workflows. The intellectual merit of the project lies in the formal foundations of the framework that will enable rapid development, verification, and certification of medical systems and their device components, as well as the clinical scenarios they implement. The model-based approach will supply evidence for the regulatory approval process, while run-time monitoring components embedded into the system will enable "black box" recording capabilities for the forensic analysis of system failures. The open-source distribution of tools supporting the framework will enhance its adoption and technology transfer. A rigorous framework for integrating and coordinating multiple medical devices will enhance the implementation of complicated clinical scenarios and reduce medical errors in the cases that involve such scenarios. Furthermore, it will speed up and simplify the process of regulatory approval for coordination-enabled medical devices, while the formal reasoning framework will improve the confidence in the design process and in the approval decisions. Overall, the framework will help reduce costs and improve the quality of the health care.

The objective of this research is to develop a framework for the development and deployment of next-generation medical systems consisting of integrated and cooperating medical devices. The approach is to design and implement an open-source medical device coordination framework and a model-based component oriented programming methodology for the device coordination, supported by a formal framework for reasoning about device behaviors and clinical workflows. The intellectual merit of the project lies in the formal foundations of the framework that will enable rapid development, verification, and certification of medical systems and their device components, as well as the clinical scenarios they implement. The model-based approach will supply evidence for the regulatory approval process, while run-time monitoring components embedded into the system will enable "black box" recording capabilities for the forensic analysis of system failures. The open-source distribution of tools supporting the framework will enhance its adoption and technology transfer. A rigorous framework for integrating and coordinating multiple medical devices will enhance the implementation of complicated clinical scenarios and reduce medical errors in the cases that involve such scenarios. Furthermore, it will speed up and simplify the process of regulatory approval for coordination-enabled medical devices, while the formal reasoning framework will improve the confidence in the design process and in the approval decisions. Overall, the framework will help reduce costs and improve the quality of the health care.