On formalising interactive number entry on infusion pumps

Electronic Communications of the EASST

Volumn 45, Issue , 2011, Pages

  Masci, Paolo ^a   Rukšenas, Rimvydas ^a   Oladimeji, Patrick ^b   Cauchi, Abigail ^b   Gimblett, Andy ^b   Li, Yunqiu ^b   Curzon, Paul ^a   Thimbleby, Harold ^b  

^a QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

^b SWANSEA UNIVERSITY   (United Kingdom)

Author keywords

Higher order logic; Interactive system design; Predictability; SAL

Indexed keywords

EID: 84893441015     PISSN: None     EISSN: 18632122     Source Type: Journal    
DOI: 10.14279/tuj.eceasst.45.654.660     Document Type: Conference Paper

References (17)

1. G. D. Abowd, J. Coutaz, L. Nigay. Structuring the Space of Interactive System Properties. In Proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction. Pp. 113-129. North-Holland Publishing Co., Amsterdam, The Netherlands, The Netherlands, 1992. http://portal.acm.org/citation.cfm?id=647103.717569
2. B-Braun Melsungen AG. Infusomat Space and Accessory: Instruction for Use
3. A. J. Dix. Formal methods for interactive systems. Computers and people series. Academic Press, 1991. http://www.hiraeth.com/books/formal/
4. C. Health. Alaris GP Volumetric Pump: Directions For Use. 2006
5. Medicines and Healthcare products Regulatory Agency (MHRA). Device Bulletin, Infusion systems, DB2003(02) v2.0. November 2010. http://www.mhra.gov.uk/Publications/Safetyguidance/DeviceBulletins/CON007321
6. L. de Moura, S. Owre, H. Ruess, J. Rushby, N. Shankar, M. Sorea, A. Tiwari. SAL 2. In Alur and Peled (eds.), Computer Aided Verification: CAV 2004. Lecture Notes in Computer Science 3114, pp. 496-500. Springer-Verlag, July 2004
7. D. A. Norman. Design rules based on analyses of human error. Communications of the ACM 26(4):254-258, 1983. doi:http://doi.acm.org/10.1145/2163.358092
8. D. A. Norman. The Design of Everyday Things. Basic Books, New York, reprint paperback edition, 2002
9. J. Rasmussen. The role of error in organizing behaviour. Ergonomics 33:1185-1199, 1990
10. J. Reason. Human Error. Cambridge University Press, 1 edition, Oct. 1990
11. J. Rushby. Using Model Checking to Help Discover Mode Confusions and Other Automation Surprises. Reliability Engineering and System Safety 75(2):167-177, Feb. 2002. Available at http://www.csl.sri.com/users/rushby/abstracts/ress02
12. H. Thimbleby, M. D. Harrison. Formalising Guidelines for the Design of Interactive Systems. In Cook and Johnson (eds.), Proceedings British Computer Society Conference on Human Computer Interaction, HCI'85. Pp. 161-171. Cambridge University Press, 1985
13. H. Thimbleby. Generative User-Engineering Principles for User Interface Design. In Shackel (ed.), Proceedings First IFIP Conference on Human Computer Interaction, INTERACT'84. Volume 2, pp. 102-107. 1984
14. H. Thimbleby. In Shackel (ed.), Human-Computer Interaction-INTERACT'84. Pp. 661-666. North-Holland, 1985
15. H. Thimbleby. Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems. In Doherty and Blandford (eds.), DSVIS 2006, The XIII International Workshop on Design, Specification and Verification of Interactive Systems. Lecture Notes in Computer Science 4323, pp. 52-66. Springer Verlag, 2007
16. G. J. Trafton, C. A. Monk. Task Interruptions. Reviews of Human Factors and Ergonomics 3:111-126(16), 2007. doi:doi:10.1518/155723408X299852 http://www.ingentaconnect.com/content/hfes/rhfe/2007/00000003/00000001/art00005
17. A. L. Tucker, S. J. Spear. Operational Failures and Interruptions in Hospital Nursing. Health Services Research 41(3p1):643-662, 2006. doi:10.1111/j.1475-6773.2006.00502.x http://dx.doi.org/10.1111/j.1475-6773.2006.00502.x