by Atif Mashkoor, Alexander Egyed
Abstract:
The use of software has become ubiquitous and prevalent in modern medical devices such as hemodialysis machines. Consequently, the failure rate of medical devices due to software faults is also increasing. While next-generation software-intensive medical devices contribute to providing better health care and ease of use, their development is becoming unprecedentedly complex and challenging. The critical nature of this domain - particularly its direct implications on health and safety - requires extraordinary measures to ensure the correct and reliable function of such systems. Formal methods are proven to provide approaches, techniques, and tools for correct engineering of software and systems. However, their use in the contemporary medical software engineering is still marginal. In order to promote the use of (state-based) formal methods and showcase their effectiveness in design and development of critical medical devices, we present the hemodialysis case study challenge problem in this article. We also analyze the novelties and limitations of several solutions implementing the case study and explore research challenges that still need to be addressed in future.
Reference:
Analysis of Experiences with the Engineering of a Medical Device Using State-Based Formal Methods (Atif Mashkoor, Alexander Egyed), In Proceeding of the 2018 IEEE International Conference on Software Quality, Reliability and Security, QRS 2018, Lisbon, Portugal, July 16-20, IEEE, 2018.
Bibtex Entry:
@Conference{DBLP:conf/qrs/MashkoorE18,
author = {Atif Mashkoor and Alexander Egyed},
booktitle = {Proceeding of the 2018 IEEE International Conference on Software Quality, Reliability and Security, QRS 2018, Lisbon, Portugal, July 16-20},
title = {Analysis of Experiences with the Engineering of a Medical Device Using State-Based Formal Methods},
year = {2018},
pages = {75--82},
publisher = {IEEE},
abstract = {The use of software has become ubiquitous and prevalent in modern medical devices such as hemodialysis machines. Consequently, the failure rate of medical devices due to software faults is also increasing. While next-generation software-intensive medical devices contribute to providing better health care and ease of use, their development is becoming unprecedentedly complex and challenging. The critical nature of this domain - particularly its direct implications on health and safety - requires extraordinary measures to ensure the correct and reliable function of such systems. Formal methods are proven to provide approaches, techniques, and tools for correct engineering of software and systems. However, their use in the contemporary medical software engineering is still marginal. In order to promote the use of (state-based) formal methods and showcase their effectiveness in design and development of critical medical devices, we present the hemodialysis case study challenge problem in this article. We also analyze the novelties and limitations of several solutions implementing the case study and explore research challenges that still need to be addressed in future.},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/bib/conf/qrs/MashkoorE18},
crossref = {DBLP:conf/qrs/2018},
doi = {10.1109/QRS.2018.00021},
file = {:Conferences\\QRS 2018 - Analysis of Experiences with the Engineering of a Medical Device using State-based Formal Methods\\Analysis of Experiences with the Engineering of Medical Device using State-based FMs-preprint.pdf:PDF},
timestamp = {Wed, 08 Aug 2018 09:36:17 +0200},
url = {https://doi.org/10.1109/QRS.2018.00021},
}