5th EAI International Conference on Wireless Mobile Communication and Healthcare - "Transforming healthcare through innovations in mobile and wireless technologies"

Research Article

Templates as heuristics for proving properties of medical devices

Cite
BibTeX Plain Text
  • @INPROCEEDINGS{10.4108/eai.14-10-2015.2261743,
    author={Michael Harrison and Jose Campos and Paolo Masci and Paul Curzon},
    title={Templates as heuristics for proving properties of medical devices},
    proceedings={5th EAI International Conference on Wireless Mobile Communication and Healthcare - "Transforming healthcare through innovations in mobile and wireless technologies"},
    publisher={ACM},
    proceedings_a={MOBIHEALTH},
    year={2015},
    month={12},
    keywords={formal methods interactive systems usability heuristics},
    doi={10.4108/eai.14-10-2015.2261743}
}
  • Michael Harrison
    Jose Campos
    Paolo Masci
    Paul Curzon
    Year: 2015
    Templates as heuristics for proving properties of medical devices
    MOBIHEALTH
    ICST
    DOI: 10.4108/eai.14-10-2015.2261743
Michael Harrison1,*, Jose Campos2, Paolo Masci3, Paul Curzon3
  • 1: Newcastle University
  • 2: Universidade do Minho
  • 3: QMUL
*Contact email: michael.harrison@ncl.ac.uk

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.

Keywords
formal methods, interactive systems, usability heuristics
Published
2015-12-22
Publisher
ACM
http://dx.doi.org/10.4108/eai.14-10-2015.2261743
Copyright © 2015–2025 ICST
EAI Logo

About EAI

Community

Publish with EAI