Templates as heuristics for proving properties of medical devices

dc.contributor.author	Michael Douglas Harrison	en
dc.contributor.author	José Creissac Campos	en
dc.contributor.author	Paolo Masci	en
dc.contributor.author	Curzon,P	en
dc.date.accessioned	2017-12-21T23:37:14Z
dc.date.available	2017-12-21T23:37:14Z
dc.date.issued	2016	en
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. Copyright © 2015 ICST.	en
dc.identifier.uri	http://repositorio.inesctec.pt/handle/123456789/4720
dc.identifier.uri	http://dx.doi.org/10.4108/eai.14-10-2015.2261743	en
dc.language	eng	en
dc.relation	6577	en
dc.relation	6421	en
dc.relation	5599	en
dc.rights	info:eu-repo/semantics/openAccess	en
dc.title	Templates as heuristics for proving properties of medical devices	en
dc.type	article	en
dc.type	Publication	en