Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps

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