Departmental Papers (CIS)

Date of this Version


Document Type

Conference Paper


Presented at Cyber-Physical Systems (ICCPS 2010) Stockholm, Sweden, April 13-14, 2010 .


A model-driven design and validation of closed-loop medical device systems is presented. Currently, few if any medical systems on the market support closed-loop control of interconnected medical devices, and mechanisms for regulatory approval of such systems are lacking. We present a system implementing a clinical scenario where closed-loop control may reduce the possibility of human error and improve safety of the patient. The safety of the system is studied with a simple controller proposed in the literature. We demonstrate that, under certain failure conditions, safety of the patient is not guaranteed. Finally, a more complex controller is described and ensures safety even when failures are possible. This investigation is an early attempt to introduce automatic control in clinical scenarios and to delineate a methodology to validate such patient-in-the-loop systems for safe and correct operation.

Subject Area

CPS Medical

Publication Source

1st ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS '10)

Start Page


Last Page




Copyright/Permission Statement

© ACM 2010. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS '10),



Date Posted: 30 March 2010

This document has been peer reviewed.