Toggle Main Menu Toggle Search

Open Access padlockePrints

Templates as heuristics for proving properties of medical devices

Lookup NU author(s): Professor Michael HarrisonORCiD


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.

Publication metadata

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

Pages: e1-e1

Print publication date: 14/09/2015

Online publication date: 22/12/2015

Acceptance date: 12/08/2015

Publisher: EAI


DOI: 10.4108/eai.14-10-2015.2261743