Formal Techniques in the Safety Analysis of Software Components of a new Dialysis Machine
- Submitting institution
-
University of Newcastle upon Tyne
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 254221-120018-1292
- Type
- D - Journal article
- DOI
-
10.1016/j.scico.2019.02.003
- Title of journal
- Science of Computer Programming
- Article number
- -
- First page
- 17
- Volume
- 175
- Issue
- -
- ISSN
- 0167-6423
- Open access status
- Compliant
- Month of publication
- February
- Year of publication
- 2019
- URL
-
https://doi.org/10.1016/j.scico.2019.02.003
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- Yes
- Number of additional authors
-
6
- Research group(s)
-
A - Advanced Model-Based Engineering and Reasoning (AMBER)
- Citation count
- 7
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Certification processes of life-critical medical devices mostly rely on clinical-trials and risk-assessments, which are unable to address the intricate nature of software and how it can fail. This paper presents part of an ongoing research initiated in 2014, concerned with different medical devices: the dialyser in the paper, a brain pacemaker against epilepsy, a novel organ transplant machine, and novel personalised medicine treatment protocols. This research adjusted and applied known and novel techniques to the design and construction of these devices all the way to certification. The overall aim is to improve medical device certification processes and their dependability.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -