Modelling user manuals of modal medical devices and learning from the experience

Authors:
Judy Bowen;Steve Reeves
Affiliations:
University of Waikato, Hamilton, New Zealand;University of Waikato, Hamilton, New Zealand
Venue:
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
Year:
2012

Citing 3
Cited 2

Using Z: specification, refinement, and proof

Using Z: specification, refinement, and proof
Refinement in Z and object-Z: foundations and advanced applications

Refinement in Z and object-Z: foundations and advanced applications
Formal Models for Informal GUI Designs

Electronic Notes in Theoretical Computer Science (ENTCS)

Modelling safety properties of interactive medical systems

Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
UI-design driven model-based testing

Innovations in Systems and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Ensuring that users can successfully interact with software and hardware devices is a critical part of software engineering. There are many approaches taken to ensure successful interaction, e.g. the use of user-centred design, usability studies, training and education etc. In this paper we consider how the users of modal medical devices, such as syringe pumps, are supported (or not) post-training by documentation such as user manuals. Our intention is to show that modelling such documents is a useful component in the software engineering process, allowing us to discover inconsistencies between devices and manuals as well as uncovering potentially undesirable properties of the devices being modelled.