Towards the trustworthy development of active medical devices: A hemodialysis case study

Autoren Atif Mashkoor
Miklós Biró
Editoren
Titel Towards the trustworthy development of active medical devices: A hemodialysis case study
Typ Artikel
Journal IEEE Embedded Systems Letters
Nummer 1
Band 8
DOI 10.1109/LES.2015.2494459
ISSN 1943-0663
Monat March
Jahr 2016
Seiten 14-17
SCCH ID# 1612
Abstract

The use of embedded software is advancing in modern medical devices, so does its capabilities and complexity. This paradigm shift brings many challenges such as an increased rate of medical device failures due to software faults. In this letter, we present a rigorous “correct by construction” approach for the trustworthy development of hemodialysis machines, a sub-class of active medical devices. We show how informal requirements of hemodialysis machines are modeled and analyzed through a rigorous process and suggest a generalization to a larger class of active medical devices.