| dc.contributor.author | Harrison, M | en_US |
| dc.contributor.author | Campos, JC | en_US |
| dc.contributor.author | Masci, P | en_US |
| dc.contributor.author | CURZON, P | en_US |
| dc.date.accessioned | 2017-07-07T10:55:19Z | |
| dc.date.available | 2015-12-22 | en_US |
| dc.date.issued | 2015-12-22 | en_US |
| dc.date.submitted | 2017-06-30T16:32:11.459Z | |
| dc.identifier.uri | http://qmro.qmul.ac.uk/xmlui/handle/123456789/24771 | |
| dc.description.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. | en_US |
| dc.publisher | ACM | en_US |
| dc.relation.ispartof | EAI Endorsed Transactions on Creative Technologies | en_US |
| dc.rights | This is an open access article distributed under the terms of the Creative Commons Attribution licence (http://creativecommons.org/licenses/by/3.0/), which permits unlimited use, distribution and reproduction in any medium so long as the original work is properly cited. | |
| dc.subject | formal methods | en_US |
| dc.subject | interactive systems | en_US |
| dc.subject | usability heuristics | en_US |
| dc.title | Templates as heuristics for proving properties of medical devices | en_US |
| dc.type | Article | |
| dc.rights.holder | © 2015 M. Harrison et al | |
| dc.identifier.doi | 10.4108/eai.14-10-2015.2261743 | en_US |
| pubs.issue | 8 | en_US |
| pubs.notes | No embargo | en_US |
| pubs.publication-status | Published | en_US |
| pubs.volume | 16 | en_US |
| dcterms.dateAccepted | 2015-12-22 | en_US |
