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

more »

... tes the potential patient safety benefits of interoperable medical device systems by implementing a solution to a clinical use case requiring interoperability. Keywords MDPnP interoperability plug-and-play interoperable interconnected medical devices x-ray ventilator formal methods verification model checking apnea patient safety Comments International Keywords: MDPnP interoperability plug-and-play interoperable interconnected medical devices x-ray ventilator formal methods verification model checking apnea patient safety Abstract: 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. *