Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/66934
Título: | Formal techniques in the safety analysis of software components of a new dialysis machine |
Autor(es): | Harrison, Michael douglas Freitas, Leo Drinnan, Michael Campos, José C. Masci, Paolo di Maria, Costanzo Whitaker, Michael |
Palavras-chave: | Risk analysis Formal methods Model checking Medical devices Haemodialysis |
Data: | 2019 |
Editora: | Elsevier Science BV |
Revista: | Science of Computer Programming |
Resumo(s): | The paper is concerned with the practical use of formal techniques to contribute to the risk analysis of a new neonatal dialysis machine. The described formal analysis focuses on the controller component of the software implementation. The controller drives the dialysis cycle and deals with error management. The logic was analysed using model checking techniques and the source code was analysed formally, checking type correctness conditions, use of pointers and shared memory. The analysis provided evidence of the verification of risk control measures relating to the software component. The productive dialogue between the developers of the device, who had no experience or knowledge of formal methods, and the analyst using the formal analysis tools, provided a basis for the development of rationale for the effectiveness of the evidence. (C) 2019 Elsevier B.V. All rights reserved. |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/66934 |
DOI: | 10.1016/j.scico.2019.02.003 |
ISSN: | 0167-6423 |
Versão da editora: | https://www.sciencedirect.com/science/article/pii/S0167642318300819 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
scprevs3.pdf | Accepted Manuscript | 3,59 MB | Adobe PDF | Ver/Abrir |