Departmental Papers (CIS)

Date of this Version

January 2009

Document Type

Conference Paper


International Conference on Biomedical Electronics and Devices, BioDevices 2009, 14-17 January, 2009, Porto, Portugal. This postprint is titled "Synchronizing an X-ray and Anesthesia Machine Ventilator: A Medical Device Interoperability Case Study," but the final, published version is titled "Improving Patient Safety with X-Ray and Anesthesia Machine Ventilator Synchronization: A Medical Device Interoperability Case Study."


When a x-ray image is needed during surgery, clinicians may stop the anesthesia machine ventilator while the exposure is made. If the ventilator is not restarted promptly, the patient may experience severe complications. This paper explores the interconnection of a ventilator and simulated x-ray into a prototype plug-and-play medical device system. This work assists ongoing interoperability framework development standards efforts to develop functional and non-functional requirements and illustrates the potential patient safety benefits of interoperable medical device systems by implementing a solution to a clinical use case requiring interoperability.

Subject Area

CPS Medical

Publication Source

Communications in Computer and Information Science: Biomedical Engineering Systems and Technologies



Start Page


Last Page




Copyright/Permission Statement

The final publication is available at Springer via


MDPnP interoperability plug-and-play interoperable interconnected medical devices x-ray ventilator formal methods verification model checking apnea patient safety



Date Posted: 24 January 2009

This document has been peer reviewed.