Browse by author
Lookup NU author(s): Professor Michael Harrison
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
This paper briefly describes how property templates have been used to analyse and explore the interactivebehaviour of a specific medical device (an IV infusion pump). It is proposed that interactive devicesthat satisfy properties based on the templates are easier and safer to use. The property templates act as heuristics forthe development of suitable properties tailored to the details of the particular device. A mathematicallybased approach is used to prove that a specification of the device satisfies the properties.
Author(s): Harrison MD, Campos JC, Masci P, Curzon P
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 5th EAI International Conference on Wireless Mobile Communication and Healthcare - "Transforming healthcare through innovations in mobile and wireless technologies"
Year of Conference: 2015
Print publication date: 14/09/2015
Online publication date: 22/12/2015
Acceptance date: 12/08/2015