Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/10507
Title: Formal techniques in the safety analysis of software components of a new dialysis machine
Authors: Harrison,MD
Whitaker,M
di Maria,C
Paolo Masci
José Creissac Campos
Drinnan,M
Freitas,L
Issue Date: 2019
Abstract: 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.
URI: http://repositorio.inesctec.pt/handle/123456789/10507
http://dx.doi.org/10.1016/j.scico.2019.02.003
metadata.dc.type: article
Publication
Appears in Collections:HASLab - Articles in International Journals

Files in This Item:
There are no files associated with this item.


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