Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/4720
Title: Templates as heuristics for proving properties of medical devices
Authors: Michael Douglas Harrison
José Creissac Campos
Paolo Masci
Curzon,P
Issue Date: 2016
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.
URI: http://repositorio.inesctec.pt/handle/123456789/4720
http://dx.doi.org/10.4108/eai.14-10-2015.2261743
metadata.dc.type: article
Publication
Appears in Collections:HASLab - Articles in International Journals

Files in This Item:
File Description SizeFormat 
P-00K-9T3.pdf185 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.