Research Projects
ASMETA: metamodel for the Abstract State Machines (ASMs) formal method developed by following the guidelines of the Model-Driven Engineering (MDE)
SAFEST Trust assurance of Digital Twins for medical CPSs
A Digital Twin (DT) is a machine-processable high-fidelity virtual representation of a physical system, called Physical Twin (PT), to which it is coupled through a continuous, bidirectional flow of data (e.g., monitored data and results of predictive/prescriptive analysis).
In the context of Medical Cyber-Physical Systems (MCPSs), which are critical, interconnected, distributed and context-aware systems of devices used in medicine, DTs can simulate physical devices and specific machinery pieces to provide more informed and real-time relevant healthcare responses, enable decision making and assess risks for the patients; training medical staff is a further highly required application of DTs for MCPSs. However, the DT paradigm is not fully implemented in the medical setting.
In this context, the SAFEST (truSt Assurance) project aims at improving the application and soundness of DT-based of digital twins For mEdical cyber-phySical sysTems methodologies and tools.
AAC Augmentative and Alternative Communication
This project is a collaboration between: UNIVERSITÀ DEGLI STUDI DI BERGAMO, ISTITUTO TECNICO INDUSTRIALE GUGLIELMO MARCONI, LIONS CLUB CITTA’ DI DALMINE
The goal of this project include a feasibility study, design, development and testing of a software prototype to obtain a tool for supporting augmentative alternative communication.
3D4AMB: aims at developing a system based on the 3D for the diagnosis and treatment of amblyopia in young children
SE4Med: aims at developing software for health monitoring
QUASMED: analyse different factors to guarantee the good quality of software Medical software certification: compliance with international standards
Machine learning algorithms: quality assurance
MVM (Mechanical Ventilator Milano) is a ventilator developed because of the COVID-19 pandemic
FISR2020: Adaptive Mechanical Ventilator Milano under Uncertainty aims at increasing operability and robustness of the MVM by exploiting the paradigm of Self Adaptive Software.