UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Comparing actual practice and user manuals:A case study based on programmable infusion pumps

Curzon, P; Huang, H; Masci, P; Rukšenas, R; Lee, P; Cauchi, A; ... Rajkomar, A; + view all (2011) Comparing actual practice and user manuals:A case study based on programmable infusion pumps. In: CEUR Workshop Proceedings. (pp. 59 - 64).

Full text not available from this repository.

Abstract

We report on a case study investigating current practice in the use of a programmable infusion pump. We start by formalising an existing description of the procedure followed by nurses for setting up a commercial infusion pump obtained via observation and interview. We then compare and contrast this procedure with a formal description of the sequence of actions reported in the pump's user manual. Mismatches were validated by a training manager. The aim of this comparison is to point out how minor mismatches between the two descriptions can be used to reveal major safety issues. Our contributions are: first, we analyse a realworld system and show the importance of having a clear and consistent specification of the procedures; second, we show how a graph-based notation can be conveniently used as the basis for building non-ambiguous and intuitive specifications in higher-order logic. We argue that this can provide support to an investigator when building a description of actual practice in that it can help focus attention on areas to observe more closely and on questions to ask to understand why procedures, as followed, are the way they are. Copyright © 2011 for the individual papers by the papers' authors.

Type:Proceedings paper
Title:Comparing actual practice and user manuals:A case study based on programmable infusion pumps
UCL classification:UCL > School of Life and Medical Sciences > Faculty of Brain Sciences > Psychology and Language Sciences (Division of) > UCL Interaction Centre
UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

Archive Staff Only: edit this record