With the increasing complexity and scale of software-intensive systems, model-based system development requires composable system models and composition operators. In line with such a vision, this paper describes our experience in modeling the behavior of the MVM-Adapt, an adaptive version of the Mechanical Ventilator Milano that has been designed, certified, and deployed during the COVID-19 pandemic for treating pneumonia. To keep the complexity of the requirements and models under control, we exploited a compositional modeling technique for discrete-event systems based on Abstract State Machines (ASMs). Essentially, separate ASMs represent the behavior of interacting subsystems of the MVM with their new adaptive functionalities; they can communicate with each other through I/O events, and co-operate by a precise orchestration schema.

(2023). Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines . Retrieved from https://hdl.handle.net/10446/250709

Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines

Bonfanti, Silvia;Scandurra, Patrizia
2023-01-01

Abstract

With the increasing complexity and scale of software-intensive systems, model-based system development requires composable system models and composition operators. In line with such a vision, this paper describes our experience in modeling the behavior of the MVM-Adapt, an adaptive version of the Mechanical Ventilator Milano that has been designed, certified, and deployed during the COVID-19 pandemic for treating pneumonia. To keep the complexity of the requirements and models under control, we exploited a compositional modeling technique for discrete-event systems based on Abstract State Machines (ASMs). Essentially, separate ASMs represent the behavior of interacting subsystems of the MVM with their new adaptive functionalities; they can communicate with each other through I/O events, and co-operate by a precise orchestration schema.
2023
Bonfanti, Silvia; Riccobene, Elvinia; Santandrea, Davide; Scandurra, Patrizia
File allegato/i alla scheda:
File Dimensione del file Formato  
ABZ2023.pdf

Open Access dal 25/08/2024

Descrizione: This is a post-peer-review, pre-copyedit version of an article published in Rigorous State-Based Methods. The final authenticated version is available online at: https://doi.org/10.1007/978-3-031-33163-3_8
Versione: postprint - versione referata/accettata senza referaggio
Licenza: Licenza default Aisberg
Dimensione del file 393.31 kB
Formato Adobe PDF
393.31 kB Adobe PDF Visualizza/Apri
978-3-031-33163-3_8.pdf

Solo gestori di archivio

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