Vai al contenuto principale

Seamless heterogeneous runtime software evolution and monitoring architecture and framework

Tipologia
Progetti nazionali
Programma di ricerca
Compagnia di San Paolo
Budget
€ 50000
Periodo
01/03/2019 - 29/08/2021
Responsabile
Ferruccio Damiani

Partecipanti al progetto

Descrizione del progetto

The research activities focused on investigating an innovative software architecture enabling the development of context-aware and self-adaptive software applications, on developing static verification methodologies for statically guaranteeing crucial properties of the developed software applications, on developing runtime verification methodologies to monitor the behaviour of deployed software and environmental conditions, and on implementing tool support.
As illustrated in our position paper [1], we considered the aggregate programming paradigm as the main enabling technology for realizing the envisioned framework. Aggregate programming provides an alternate approach to the standard device-centered development methodology, aiming to dramatically simplify the design, creation, and maintenance of complex and large scale software systems, in the context of IoT, cyber-physical systems, pervasive computing, robotic swarms, and large-scale situated systems. The research activities also considered three other orthogonal enabling technologies: variability modeling, cloud computing modelling, and behavioral type systems.

Note

Bando di ricerca: COMPAGNIA DI SAN PAOLO Bando finanziamento EX POST Progetti di Ricerca di Ateneo - Anno 2018
Ultimo aggiornamento: 10/10/2022 11:03
Location: http://informatica.unito.it/robots.html
Non cliccare qui!