Templates as heuristics for proving properties of medical devices

Harrison, Michael and Campos, Jose and Masci, Paolo and Curzon, Paul (2015) Templates as heuristics for proving properties of medical devices. EAI Endorsed Transactions on Creative Technologies, 3 (8). e1. ISSN 2409-9708

[thumbnail of eai.14-10-2015.2261743.pdf]
Available under License Creative Commons Attribution No Derivatives.

Download (189kB) | Preview


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.

Item Type: Article
Uncontrolled Keywords: formal methods, interactive systems, usability heuristics
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
QA75 Electronic computers. Computer science
T Technology > T Technology (General)
Depositing User: EAI Editor IV
Date Deposited: 07 Apr 2021 07:08
Last Modified: 07 Apr 2021 07:08
URI: https://eprints.eudl.eu/id/eprint/2176

Actions (login required)

View Item
View Item