How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study

  • Paolo Arcaini
  • Silvia Bonfanti
  • Angelo Gargantini
  • Elvinia Riccobene
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9675)

Abstract

Medical devices are nowadays more and more software dependent, and software malfunctioning can lead to injuries or death for patients. Several standards have been proposed for the development and the validation of medical devices, but they establish general guidelines on the use of common software engineering activities without any indication regarding methods and techniques to assure safety and reliability.

This paper takes advantage of the Hemodialysis machine case study to present a formal development process supporting most of the engineering activities required by the standards, and provides rigorous approaches for system validation and verification. The process is based on the Abstract State Machine formal method and its model refinement principle.

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Paolo Arcaini
    • 1
  • Silvia Bonfanti
    • 2
  • Angelo Gargantini
    • 2
  • Elvinia Riccobene
    • 3
  1. 1.Faculty of Mathematics and PhysicsCharles University in PraguePragueCzech Republic
  2. 2.Department of Economics and Technology Management, Information Technology and ProductionUniversità degli Studi di BergamoBergamoItaly
  3. 3.Dipartimento di InformaticaUniversità degli Studi di MilanoMilanoItaly

Personalised recommendations