Templates as heuristics for proving properties of medical devices

doi:10.4108/eai.14-10-2015.2261743

Utilize este identificador para referenciar este registo: https://hdl.handle.net/1822/51396

Registo completo

Campo DC	Valor	Idioma
dc.contributor.author	Campos, José C.	por
dc.contributor.author	Curzon, Paul	por
dc.contributor.author	Masci, Paolo	por
dc.contributor.author	Harrison, Michael douglas	por
dc.date.accessioned	2018-03-02T10:18:11Z	-
dc.date.available	2018-03-02T10:18:11Z	-
dc.date.issued	2015	-
dc.identifier.isbn	978-1-63190-088-4	-
dc.identifier.uri	https://hdl.handle.net/1822/51396	-
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.	por
dc.description.sponsorship	FCT - Fuel Cell Technologies Program(EP/G059063/1)	por
dc.description.sponsorship	Jose Creissac Campos and Michael Harrison were funded by project ref. NORTE-07-0124-FEDER-000062, co-financed by the North Portugal Regional Operational Programme (ON.2 O Novo Norte), under the National Strategic Reference Framework (NSRF), through the European Regional Development Fund (ERDF), and by national funds, through the Portuguese foundation for science and technology (FCT). Paul Curzon, Michael Harrison and Paolo Masci were funded by the CHI+MED project: Multidisciplinary Computer Human Interaction Research for the design and safe use of interactive medical devices project, UK EPSRC Grant Number EP/G059063/1.	por
dc.language.iso	eng	por
dc.publisher	Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (ICST)	por
dc.rights	openAccess	por
dc.subject	Formal methods	por
dc.subject	Interactive systems	por
dc.subject	Usability heuristics	por
dc.title	Templates as heuristics for proving properties of medical devices	por
dc.type	conferencePaper	por
dc.peerreviewed	yes	por
oaire.citationStartPage	1	por
oaire.citationEndPage	4	por
oaire.citationConferencePlace	Londres, Inglaterra	por
dc.date.updated	2018-02-09T00:11:32Z	-
dc.identifier.doi	10.4108/eai.14-10-2015.2261743	por
dc.description.publicationversion	info:eu-repo/semantics/publishedVersion	por
sdum.export.identifier	2635	-
sdum.conferencePublication	Proceedings of the 5th EAI International Conference on Wireless Mobile Communication and Healthcare	por
Aparece nas coleções:	HASLab - Artigos em atas de conferências internacionais (texto completo)

Ficheiros deste registo:

Ficheiro	Descrição	Tamanho	Formato
eai.14-10-2015.2261743.pdf		185 kB	Adobe PDF	Ver/Abrir

Ver registo simples Sugerir correção Estatísticas

Citations

Altmetrics