Research

Research projects

ASMETA

ASMETA is a metamodel for the Abstract State Machines formal method, developed by following the guidelines of Model-Driven Engineering.

SAFEST

SAFEST focuses on trust assurance of Digital Twins for medical CPSs. In the context of Medical Cyber-Physical Systems, Digital Twins can simulate physical devices and machinery to support real-time healthcare responses, decision making, risk assessment and training.

AAC - Augmentative and Alternative Communication

This project is a collaboration between Università degli Studi di Bergamo, Istituto Tecnico Industriale Guglielmo Marconi, and Lions Club Città di Dalmine. The goal includes feasibility study, design, development and testing of a software prototype supporting augmentative and alternative communication.

3D4AMB

3D4AMB aims at developing a system based on 3D for the diagnosis and treatment of amblyopia in young children.

SE4Med

SE4Med aims at developing software for health monitoring, including Prehabilitation Fit and Patient Reported Outcome platforms.

QUASMED

QUASMED analyses different factors to guarantee good quality of software, with attention to medical software certification and compliance with international standards.

Machine learning algorithms

Quality assurance for machine learning algorithms.

MVM - Mechanical Ventilator Milano

MVM is a ventilator developed because of the COVID-19 pandemic. Related research includes adaptive mechanical ventilator systems under uncertainty.