The DT paradigm has emerged as a suitable way to cope with the complexity of analyzing, controlling, and adapting complex systems in diverse domains. For medical systems, however, the DT paradigm is not fully exploited mainly due to the complexity of dealing with uncertain human behavior, and of preventing sensitive information leakage (e.g., patient personal medical profiles). We present the first results of a long-term recently launched research aiming at engineering a DT for a medical device endowed with trust analyses techniques able to deal with human and environmental uncertainty, and security protection. As a proof of concept, we apply our DT vision to the case study of a mechanical ventilator developed for Covid 19 patient care. The long-term aim is engineering a new generation of lung ventilators where the use of a DT can prevent unreliability and untrustworthiness of a system where interactions, both physical (machine-patient) and operational (machine-medical staff), are characterized by the presence of uncertainty and vulnerabilities.

Engineering of Trust Analysis-Driven Digital Twins for a Medical Device / M.M. Bersani, C. Braghin, A. Gargantini, R. Mirandola, E. Riccobene, P. Scandurra (LECTURE NOTES IN COMPUTER SCIENCE). - In: Software Architecture : ECSA 2022 Tracks and Workshops / [a cura di] T. Batista, T. Bureš, C. Raibulet, H. Muccini. - [s.l] : Springer Science and Business Media Deutschland GmbH, 2023. - ISBN 9783031368882. - pp. 467-482 (( Intervento presentato al 16. convegno European Conference on Software Architecture, ECSA 2022 tenutosi a Prague nel 2022 [10.1007/978-3-031-36889-9_31].

Engineering of Trust Analysis-Driven Digital Twins for a Medical Device

C. Braghin
Secondo
;
E. Riccobene
Penultimo
;
2023

Abstract

The DT paradigm has emerged as a suitable way to cope with the complexity of analyzing, controlling, and adapting complex systems in diverse domains. For medical systems, however, the DT paradigm is not fully exploited mainly due to the complexity of dealing with uncertain human behavior, and of preventing sensitive information leakage (e.g., patient personal medical profiles). We present the first results of a long-term recently launched research aiming at engineering a DT for a medical device endowed with trust analyses techniques able to deal with human and environmental uncertainty, and security protection. As a proof of concept, we apply our DT vision to the case study of a mechanical ventilator developed for Covid 19 patient care. The long-term aim is engineering a new generation of lung ventilators where the use of a DT can prevent unreliability and untrustworthiness of a system where interactions, both physical (machine-patient) and operational (machine-medical staff), are characterized by the presence of uncertainty and vulnerabilities.
Digital Twin; formal methods; Medical Cyber-physical Systems; Trust analysis
Settore INFO-01/A - Informatica
2023
Book Part (author)
File in questo prodotto:
File Dimensione Formato  
DT_ECSA22Wks.pdf

accesso riservato

Tipologia: Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione 1.03 MB
Formato Adobe PDF
1.03 MB Adobe PDF   Visualizza/Apri   Richiedi una copia
978-3-031-36889-9_31.pdf

accesso riservato

Tipologia: Publisher's version/PDF
Dimensione 1.56 MB
Formato Adobe PDF
1.56 MB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/1131466
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 4
  • OpenAlex ND
social impact