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

Simple item page
dc.contributor.authorBowen, Judy
dc.contributor.authorHinze, Annika
dc.date.accessioned2013-03-07T20:19:07Z
dc.date.available2013-03-07T20:19:07Z
dc.date.copyright2012
dc.date.issued2012
dc.description.abstractFormally 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.en_NZ
dc.identifier.citationBowen, 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.en_NZ
dc.identifier.doi10.1145/2305484.2305525en_NZ
dc.identifier.isbn9781450311687
dc.identifier.urihttps://hdl.handle.net/10289/7320
dc.language.isoen
dc.publisherAssociation for Computing Machinery (ACM)en_NZ
dc.relation.ispartofProceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems - EICS '12
dc.relation.urihttp://dl.acm.org/citation.cfm?id=2305525en_NZ
dc.subjectOntologiesen_NZ
dc.subjectformal modelsen_NZ
dc.subjectsafety-critical interactive systemsen_NZ
dc.subjectcontext and situationen_NZ
dc.subjectcomputer science
dc.titleUsing ontologies to reason about the usability of interactive medical devices in multiple situations of useen_NZ
dc.typeConference Contributionen_NZ
Files
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Name: license.txt
Size: 1.71 KB
Kind: License
Collections
Computing and Mathematical Sciences Papers