Research Projects

ASMETA: metamodel for the Abstract State Machines (ASMs) formal method developed by following the guidelines of the Model-Driven Engineering (MDE)

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

• Prehabilitation Fit: monitor patients in the prehabilitation phase using a fitness tracker
• Patient Reported Outcome: create a platform to send online patient questionnaires

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.