Medical devices are safety-critical systems since their malfunctions can seriously compromise human safety. Correct operation of a medical device depends upon the controlling software, whose development should adhere to certification standards. However, these standards provide general descriptions of common software engineering activities without any indication regarding particular methods and techniques to assure safety and reliability.This paper discusses how to integrate the use of a formal approach into the current normative for the medical software development. The rigorous process is based on the Abstract State Machine (ASM) formal method, its refinement principle, and model analysis approaches the method supports. The hemodialysis machine case study is used to show how the ASM-based design process covers most of the engineering activities required by the related standards, and provides rigorous approaches for medical software validation and verification.

(2018). Integrating formal methods into medical software development: The ASM approach [journal article - articolo]. In SCIENCE OF COMPUTER PROGRAMMING. Retrieved from http://hdl.handle.net/10446/110677

Integrating formal methods into medical software development: The ASM approach

Arcaini, Paolo;Bonfanti, Silvia;Gargantini, Angelo;
2018-01-01

Abstract

Medical devices are safety-critical systems since their malfunctions can seriously compromise human safety. Correct operation of a medical device depends upon the controlling software, whose development should adhere to certification standards. However, these standards provide general descriptions of common software engineering activities without any indication regarding particular methods and techniques to assure safety and reliability.This paper discusses how to integrate the use of a formal approach into the current normative for the medical software development. The rigorous process is based on the Abstract State Machine (ASM) formal method, its refinement principle, and model analysis approaches the method supports. The hemodialysis machine case study is used to show how the ASM-based design process covers most of the engineering activities required by the related standards, and provides rigorous approaches for medical software validation and verification.
articolo
2018
Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif; Riccobene, Elvinia
(2018). Integrating formal methods into medical software development: The ASM approach [journal article - articolo]. In SCIENCE OF COMPUTER PROGRAMMING. Retrieved from http://hdl.handle.net/10446/110677
File allegato/i alla scheda:
File Dimensione del file Formato  
abz2016_SI_SCP_finalVersion.pdf

Open Access dal 27/07/2019

Descrizione: link to the formal publication via its DOI: 10.1016/j.scico.2017.07.003
Versione: postprint - versione referata/accettata senza referaggio
Licenza: Creative commons
Dimensione del file 662.24 kB
Formato Adobe PDF
662.24 kB Adobe PDF Visualizza/Apri
1-s2.0-S0167642317301430-main.pdf

Solo gestori di archivio

Versione: publisher's version - versione editoriale
Licenza: Licenza default Aisberg
Dimensione del file 2.39 MB
Formato Adobe PDF
2.39 MB Adobe PDF   Visualizza/Apri
Pubblicazioni consigliate

Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10446/110677
Citazioni
  • Scopus 23
  • ???jsp.display-item.citation.isi??? 17
social impact