Templates as heuristics for proving properties of medical devices
Journal Title: EAI Endorsed Transactions on Creative Technologies - Year 2016, Vol 3, Issue 8
Abstract
This paper briefly describes how property templates have been used to analyse and explore the interactive behaviour of a specific medical device (an IV infusion pump). It is proposed that interactive devices that satisfy properties based on the templates are easier and safer to use. The property templates act as heuristics for the development of suitable properties tailored to the details of the particular device. A mathematically based approach is used to prove that a specification of the device satisfies the properties.
Authors and Affiliations
Michael Harrison, Jose Campos, Paolo Masci, Paul Curzon
Keywords
Related Articles
- EP ID EP45853
- DOI http://dx.doi.org/10.4108/eai.14-10-2015.2261743
- Views 307
- Downloads 0
Characterisation of gestural units in light of human-avatar interaction
We present a method for characterizing coverbal gestural units intended for human-avatar interaction. We recorded 12 gesture types, using a motion-capture system. We used the markers positions thus obtained to determine...
Eye-tracking Data, Complex Networks and Rough Sets: an Attempt Toward Combining Them
Eye-tracking sequences can be considered in terms of complex networks. On the basis of complex network representation of eye-tracking data, we define a measure, derived from rough set theory, for assessing the cohesion o...
Interactive Installations for Spatial Access to Artistic Sketchbooks
A book is a book – or is it? With present-day, a ordable technology, we can scale a book to become a spatial object, or even a space in itself, of almost arbitrary size. We describe our design of and experiences with a g...
Varianish: Jamming with Pattern Repetition
In music, patterns and pattern repetition are often regarded as a machine-like task, indeed often delegated to drum Machines and sequencers. Nevertheless, human players add subtle differences and variations to repeated p...
Exploring avatar roles for motivational effects in gameful environments
This paper explores avatar roles and design principles in helping to develop motivation in game environments. Different avatar applications could influence the experience of players in at least three ways: as a customisa...