Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/51329
Título: | Demonstrating that medical devices satisfy user related safety requirements |
Autor(es): | Harrison, Michael douglas Masci, Paolo Campos, José C. Curzon, Paul |
Palavras-chave: | Formal verification Human error MAL Medical devices Model checking Performance PVS Theorem proving |
Data: | 2017 |
Editora: | Springer International Publishing AG |
Revista: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Resumo(s): | One way of contributing to a demonstration that a medical device is acceptably safe is to show that the device satisfies a set of requirements known to mitigate hazards. This paper describes experience using formal techniques to model an IV infusion device and to prove that the modelled device captures a set of requirements. The requirements chosen for the study are based on a draft proposal developed by the US Food and Drug Administration (FDA). A major contributor to device related errors are (user) interaction errors. For this reason the chosen models and requirements focus on user interface related issues. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/51329 |
ISBN: | 9783319631936 |
DOI: | 10.1007/978-3-319-63194-3_8 |
ISSN: | 0302-9743 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
HarrisonCC17-FHIES2014-postprint-2.pdf | 423,13 kB | Adobe PDF | Ver/Abrir |