Date of this Version
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
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.
Lecture Notes in Computer Science: Foundations of Health Information Engineering and Systems
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.