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 298
- Downloads 0
New Entanglements between Instrumental, Shared and Mental Maps in the Exploration of Urban Space: an Experimental Project
The new access to cartographic tools (beyond specialist uses) produces new collective shared configurations and new, further mental individual and collective representations. With several years’ experiments of interactio...
A novel approach to painting powered by Ambient Intelligence
Today, many forms of art are influenced by the emergence of interactive technologies, including the mixing of physical media with digital technology for forming new hybrid works of art and the usage of mobile phones to c...
Development of a wearable haptic game interface
This paper outlines the ongoing development of a wearable haptic game interface, in this case for controlling a flight simulator. The device differs from many traditional haptic feedback implementations in that it combin...
Solitude or co-existence – or learning-together-apart with digital dialogic technologies for kids with developmental and attention difficulties
An overall political vision of a prosperous society is one in which everyone has the same access and possibilities of participating in democratic processes, and in which everyone has equal access to the resources, life a...
Learnings from an Iterative Design Process for Technology-Mediated Audience Participation (TMAP) using Smartphones
We discuss a setup for technology-mediated audience participation (TMAP)in live music using smartphones and high-frequency sound IDs in a playful setting. The audience needs to install a smartphone app. Using high-freque...