Judy Bowen
ABSTRACT
Formally modelling interactive software systems and devices allows us to prove properties of correctness about such devices, and thus ensure effectiveness of their use. It also enables us to consider interaction properties such as usability and consistency between the interface and system functionality. Interactive modal devices, that have a fixed interface but whose behaviour is dependent on the mode of the device, can be similarly modelled. Such devices always behave in the same way (i.e. have the same functionality and interaction possibilities) irrespective of how, or where, they are used. However, a user's interaction with such devices may vary according to the physical location or environment in which they are situated (we refer to this as a system's context and usage situation). In this paper we look at a particular example of a safety-critical system, that of a modal interactive medical syringe pump, which is used in multiple situations. We consider how ontologies can be used to reason about the effects of different situations on the use of such devices.
- Acharya, C., Thimbleby, H. W., and Oladimeji, P. Human computer interaction and medical devices. In Proceedings of BCS HCI, T. McEwan and L. McKinnon, Eds., ACM (2010), 168--176. Google Scholar
Digital Library
- Bevan, N. Usability is quality of use. In Proceedings of 6th International Conference on Human Computer Interaction, July 1995, Anzai and Ogawa, Eds., Elsevier (1995).Google ScholarCross Ref
- Bowen, J., and Reeves, S. Formal models for informal GUI designs. In 1st International Workshop on Formal Methods for Interactive Systems, Macau SAR China, 31 October 2006, vol. 183, Electronic Notes in Theoretical Computer Science, Elsevier (2006), 57--72. Google ScholarDigital Library
- Bowen, J., and Reeves, S. Using formal models to design user interfaces, a case study. In HCI 2007: Proceedings of the 21st BCS HCI Group Conference (HCI 2007, University of Lancaster, UK), vol. 1, British Computer Society (2007), 159--166. Google ScholarDigital Library
- Bowen, J., and Reeves, S. Formal models for user interface design artefacts. Innovations in Systems and Software Engineering 4, 2 (2008), 125--141.Google ScholarCross Ref
- Campos, J., and Harrison, M. Modelling and analysing the interactive behaviour of an infusion pump. Electronic Communications of the EASST 11 (2001).Google Scholar
- Chen, L., and Nugent, C. D. Situation aware cognitive assistance in smart homes. Journal of Mobile Multimedia 6, 3 (2010), 263--280. Google ScholarDigital Library
- Cheung, K.-H., Frost, H. R., Marshall, M. S., Prud'hommeaux, E., Samwald, M., Zhao, J., and Paschke, A. A journey to semantic web query federation in the life sciences. BMC Bioinformatics 10, S-10 (2009), 10.Google ScholarCross Ref
- Costa, P. D., Guizzardi, G., Almeida, J. P. A., Pires, L. F., and van Sinderen, M. Situations in conceptual modeling of context. In Proceedings of EDOC Workshops, IEEE Computer Society (2006), 6. Google ScholarDigital Library
- Crowley, J. L. Context aware observation of human activities. In Proceedings of International Conference on Multimedia and Expo, ICME (1), IEEE (2002), 909--912. Google ScholarDigital Library
- Engineering and Physical Sciences Research Council. CHI+MED: Multidisciplinary computer-human interaction research for the design and safe use of interactive medical devices, EPSRC reference: Ep/g059063/1, 2011.Google Scholar
- England, D., Randles, M., and Taleb-Bendiab, A. Situation calculus for HCI design. International Conference on Developments in eSystems Engineering (2010), 155--159. Google ScholarDigital Library
- Gennari, J. H., Musen, M. A., Fergerson, R. W., Grosso, W. E., Crubézy, M., Eriksson, H., Noy, N. F., and Tu, S. W. The evolution of Protégé: an environment for knowledge-based systems development. International Journal on Human-Computer Studies 58, 1 (Jan. 2003), 89--123. Google ScholarDigital Library
- Heja, G., Surjan, G., and Varga, P. Ontological analysis of SNOMED CT. BMC Medical Informatics and Decision Making 8, Suppl 1 (2008), S8.Google ScholarCross Ref
- Holtzblatt, K., and Beyer, H. R. Contextual design: Using customer work models to drive systems design. In CHI Extended Abstracts, A. Edwards and S. Pemberton, Eds., ACM (1997), 184--185. Google ScholarDigital Library
- Kataria, P., Macfie, A., Juric, R., and Madani, K. Ontology for supporting context aware applications for the intelligent hospital ward. Journal of Integrated Design and Process Science 12, 3 (Aug. 2008), 35--44. Google ScholarDigital Library
- Kohn, L., Corrigan, J., and Donaldson, M. To err is human: building a safer health system. National Academy Press, Washington, 2000.Google Scholar
- Meissen, U., Pfennigschmidt, S., Voisard, A., and Wahnfried, T. Context- and situation-awareness in information logistics. In Proceedings of EDBT Workshops (2004), 335--344. Google ScholarDigital Library
- Merry, A., and Webster, C. Medication error in New Zealand - time to act. Journal of the New Zealand Medical Association 121, 1272 (2008).Google Scholar
- Mokkarala, P., Brixey, J., Johnson, T., Patel, V., Zhang, J., and Turley, J. Development of comprehensive medical error ontology. AHRQ: advances in patient safety: new directions and alternative approaches 080034, 1--4 (2008).Google Scholar
- Natalya Fridman Noy, D. L. M. Ontology development 101: A guide to creating your first ontology. Tech. Rep. KSL-01-05, Knowledge Systems, AI Laboratory, Stanford University, 2001.Google Scholar
- Ongenae, F., Myny, D., Dhaene, T., Defloor, T., Goubergen, D. V., Verhoeve, P., Decruyenaere, J., and Turck, F. D. An ontology-based nurse call management system (oNCS) with probabilistic priority assessment. BMC Health Services Research 11, 1 (2011), 26--28.Google ScholarCross Ref
- Pace, W., Fernald, D. H., Harris, D., Dickinson, L. M., Araya-Gierra, R., Staton, E. W., VanVorst, R., and Main, D. S. Developing a Taxonomy for Coding Ambulatory Medical Errors: A Report from the ASIPS Collaborative, vol. 2. 2005, ch. Concepts and Methodology.Google Scholar
- Shearer, R., Motik, B., and Horrocks, I. Hermit: A highly-efficient owl reasoner. In OWLED, C. Dolbear, A. Ruttenberg, and U. Sattler, Eds., vol. 432 of CEUR Workshop Proceedings, CEUR-WS.org (2008).Google Scholar
- Strang, T., and Linnhoff-Popien, C. A context modeling survey. In Proceedings of Workshop on Advanced Context Modelling, Reasoning and Management, UbiComp 2004 - The Sixth International Conference on Ubiquitous Computing, Nottingham/England (2004).Google Scholar
- Suchman, L. A. Plans and situated actions: the problem of human-machine communication. Cambridge University Press, New York, NY, USA, 1987. Google ScholarDigital Library
- Thimbleby, H., Blandford, A., Buchanan, G., Furniss, D., and Curzon, P. Few are looking: Invisible problems with interactive medical devices. In Proceedings of the ACM Workshop on Interactive Systems in Healthcare (WISH) - CHI 2010, G. R. Hayes and D. S. Tan, Eds., ACM (2010), 9--12.Google Scholar
- Thimbleby, H., Blandford, A., Pietro, G. D., Gallo, L., Gimblett, A., and Oladimeji, P. Engineering interactive computer systems for medicine and healthcare, EICS4Med. In Proceedings ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS2011, ACM (2011), 341--342. Google ScholarDigital Library
- U.S. Department of Health and Human Services Food and Drug Administration. Medical device use-safety: Incorporating human factors engineering into risk management. Guidance for Industry and FDA Premarket and Design Control Reviewers (2000).Google Scholar
- W3C healthcare and lifesciences ontology. available online at: http://www.w3.org/TR/hcls-kb/, 2007.Google Scholar
- WHO patient safety factfile. available online at: http://www.who.int/patientsafety/en, 2012.Google Scholar
- Yau, S. S., and Liu, J. Hierarchical situation modeling and reasoning for pervasive computing. In The IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, and International Workshop on Collaborative Computing, Integration, and Assurance, IEEE Computer Society (Los Alamitos, CA, USA, 2006), 5--10. Google ScholarDigital Library
Index Terms
- Using ontologies to reason about the usability of interactive medical devices in multiple situations of use
Recommendations
Modelling safety properties of interactive medical systems
EICS '13: Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systemsFormally modelling the software functionality and interactivity of safety-critical devices allows us to prove properties about their behaviours and be certain that they will respond to user interaction correctly. In domains such as medical environments, ...
Medical image analysis using mobile devices
SAC '08: Proceedings of the 2008 ACM symposium on Applied computingMobile devices are increasingly being incorporated onto Picture Archiving and Communication Systems (PACS). Previous work on medical image access using mobile devices essentially focuses on enabling the visualization of the medical images at the mobile ...
Introducing Multiple Interaction Devices to Interactive Storytelling: Experiences from Practice
ICIDS '09: Proceedings of the 2nd Joint International Conference on Interactive Digital Storytelling: Interactive StorytellingIntroducing multiple interaction devices into an interactive story provides certain advantages to the system: it fosters collaboration in multi-user settings, increases user involvement, and addresses more perception channels and user senses. It is a ...
Comments