The use of formal methods is often recommended to guarantee the provision of necessary services and to assess the correctness of critical properties, such as safety, security and reliability, in medical and healthcare systems. Several research groups have proposed and applied formal methods related techniques to the design and development of medical software and systems. However, a systematic and inclusive survey with some form of analysis is still missing in this domain. For this reason, we have collected the relevant literature on the use of formal methods to the modeling, design, development, verification and validation of medical software systems. We apply the well-known systematic literature review technique and we run several queries in order to obtain information that can be useful for people working in this area. We present some research questions and the data answering these questions. We also discuss some limitations of the adopted approach and how to address these issues in order to have a comprehensive survey.

(2016). A preliminary systematic literature review of the use of formal methods in medical software systems . Retrieved from http://hdl.handle.net/10446/77085

A preliminary systematic literature review of the use of formal methods in medical software systems

Bonfanti, Silvia;Gargantini, Angelo Michele;Mashkoor, Atif
2016-01-01

Abstract

The use of formal methods is often recommended to guarantee the provision of necessary services and to assess the correctness of critical properties, such as safety, security and reliability, in medical and healthcare systems. Several research groups have proposed and applied formal methods related techniques to the design and development of medical software and systems. However, a systematic and inclusive survey with some form of analysis is still missing in this domain. For this reason, we have collected the relevant literature on the use of formal methods to the modeling, design, development, verification and validation of medical software systems. We apply the well-known systematic literature review technique and we run several queries in order to obtain information that can be useful for people working in this area. We present some research questions and the data answering these questions. We also discuss some limitations of the adopted approach and how to address these issues in order to have a comprehensive survey.
2016
Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif
File allegato/i alla scheda:
File Dimensione del file Formato  
EuroSPI2016-ISBN-978-87-9981-1663_Gargantini.pdf

accesso aperto

Versione: publisher's version - versione editoriale
Licenza: Licenza default Aisberg
Dimensione del file 942.05 kB
Formato Adobe PDF
942.05 kB 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/77085
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact