Templates as heuristics for proving properties of medical devices

Detalhes bibliográficos
Autor(a) principal: Michael Douglas Harrison
Data de Publicação: 2016
Outros Autores: José Creissac Campos, Paolo Masci, Curzon,P
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://repositorio.inesctec.pt/handle/123456789/4720
http://dx.doi.org/10.4108/eai.14-10-2015.2261743
Resumo: 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.
id RCAP_01171a6ebf51e4981afc3b0e884dd38d
oai_identifier_str oai:repositorio.inesctec.pt:123456789/4720
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Templates as heuristics for proving properties of medical devicesThis 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.2017-12-21T23:37:14Z2016-01-01T00:00:00Z2016info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://repositorio.inesctec.pt/handle/123456789/4720http://dx.doi.org/10.4108/eai.14-10-2015.2261743engMichael Douglas HarrisonJosé Creissac CamposPaolo MasciCurzon,Pinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-05-15T10:20:07Zoai:repositorio.inesctec.pt:123456789/4720Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T17:52:41.848471Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Templates as heuristics for proving properties of medical devices
title Templates as heuristics for proving properties of medical devices
spellingShingle Templates as heuristics for proving properties of medical devices
Michael Douglas Harrison
title_short Templates as heuristics for proving properties of medical devices
title_full Templates as heuristics for proving properties of medical devices
title_fullStr Templates as heuristics for proving properties of medical devices
title_full_unstemmed Templates as heuristics for proving properties of medical devices
title_sort Templates as heuristics for proving properties of medical devices
author Michael Douglas Harrison
author_facet Michael Douglas Harrison
José Creissac Campos
Paolo Masci
Curzon,P
author_role author
author2 José Creissac Campos
Paolo Masci
Curzon,P
author2_role author
author
author
dc.contributor.author.fl_str_mv Michael Douglas Harrison
José Creissac Campos
Paolo Masci
Curzon,P
description 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.
publishDate 2016
dc.date.none.fl_str_mv 2016-01-01T00:00:00Z
2016
2017-12-21T23:37:14Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://repositorio.inesctec.pt/handle/123456789/4720
http://dx.doi.org/10.4108/eai.14-10-2015.2261743
url http://repositorio.inesctec.pt/handle/123456789/4720
http://dx.doi.org/10.4108/eai.14-10-2015.2261743
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799131602705448961

Registros relacionados