
Departmental Papers (CIS)
Date of this Version
8-21-2013
Document Type
Conference Paper
Recommended Citation
Andrew L. King, Lu Feng, Oleg Sokolsky, and Insup Lee, "A Modal Specification Approach for On-Demand Medical Systems", Lecture Notes in Computer Science: Foundations of Health Information Engineering and Systems 8315, 199-216. August 2013. http://dx.doi.org/10.1007/978-3-642-53956-5_14
Abstract
The on-demand approach, where systems are assembled from components by lay users, has seen success in the consumer electronics industry. Currently, there is growing demand for on-demand capabilities in medical systems so caregivers can create larger medical systems from smaller medical devices. Unlike consumer electronics, medical systems pose challenges for the on-demand approach due to attributes such as device complexity, device variability and safety requirements. In this paper, we propose a formal specification language for on-demand (medical) systems. Our approach is based on the formalism of Modal I/O Automata, which allows system designers to express complex device requirements and can be used to reason about safety and liveness properties of on-demand medical systems directly from their specifications. We illustrate the applicability of our approach through a case study of a closed-loop patient controlled analgesia system.
Subject Area
CPS Medical
Publication Source
Lecture Notes in Computer Science: Foundations of Health Information Engineering and Systems
Volume
8315
Start Page
199
Last Page
216
DOI
10.1007/978-3-642-53956-5_14
Copyright/Permission Statement
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-53956-5_14
Date Posted: 06 September 2013
This document has been peer reviewed.
Comments
Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. http://www.cs.ox.ac.uk/fhies2013/