Departmental Papers (CIS)

Date of this Version

8-21-2013

Document Type

Conference Paper

Comments

Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. http://www.cs.ox.ac.uk/fhies2013/

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

Share

COinS
 

Date Posted: 06 September 2013

This document has been peer reviewed.