Research Commons
      • Browse 
        • Communities & Collections
        • Titles
        • Authors
        • By Issue Date
        • Subjects
        • Types
        • Series
      • Help 
        • About
        • Collection Policy
        • OA Mandate Guidelines
        • Guidelines FAQ
        • Contact Us
      • My Account 
        • Sign In
        • Register
      View Item 
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computing and Mathematical Sciences Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computing and Mathematical Sciences Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      Using ontologies to reason about the usability of interactive medical devices in multiple situations of use

      Bowen, Judy; Hinze, Annika
      DOI
       10.1145/2305484.2305525
      Link
       dl.acm.org
      Find in your library  
      Citation
      Export citation
      Bowen, J., & Hinze, A. (2012). Using ontologies to reason about the usability of interactive medical devices in multiple situations of use. In Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems - EICS 12 (pp. 247-256). Association for Computing Machinery.
      Permanent Research Commons link: https://hdl.handle.net/10289/7320
      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.
      Date
      2012
      Type
      Conference Contribution
      Publisher
      Association for Computing Machinery (ACM)
      Collections
      • Computing and Mathematical Sciences Papers [1389]
      Show full item record  

      Usage

       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

      The University of Waikato - Te Whare Wānanga o WaikatoFeedback and RequestsCopyright and Legal Statement