Toggle Main Menu Toggle Search

Open Access padlockePrints

Safety Analysis of Software Components of a Dialysis Machine Using Model Checking

Lookup NU author(s): Professor Michael HarrisonORCiD, Dr Michael DrinnanORCiD, Dr Leo Freitas, Costanzo Di Maria, Emeritus Professor Michael Whitaker


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


© 2017, Springer International Publishing AG. The paper describes the practical use of a model checking technique to contribute to the risk analysis of a new paediatric dialysis machine. The formal analysis focuses on one component of the system, namely the table-driven software controller which drives the dialysis cycle and deals with error management. The analysis provided evidence of the verification of risk control measures relating to the software component. The paper describes the productive dialogue between the developers of the device, who had no experience or knowledge of formal methods, and an analyst who had experience of using the formal analysis tools. There were two aspects to this dialogue. The first concerned the translation of safety requirements so that they preserved the meaning of the requirement. The second involved understanding the relationship between the software component under analysis and the broader concern of the system as a whole. The paper focuses on the process, highlighting how the team recognised the advantages over a more traditional testing approach.

Publication metadata

Author(s): Harrison MD, Drinnan M, Campos JC, Masci P, Freitas L, di Maria C, Whitaker M

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Formal Aspects of Component Software (FACS 2017)

Year of Conference: 2017

Pages: 137-154

Print publication date: 10/10/2017

Online publication date: 14/09/2017

Acceptance date: 15/07/2017

Publisher: Springer


DOI: 10.1007/978-3-319-68034-7_8

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Series Editor(s): Proença J, Lumpe M

ISBN: 9783319680330