RICERCA / TEMI E METODI
Una linea di ricerca che unisce metodi quantitativi, ingegneria informatica e domande su qualità, fiducia e responsabilità dei sistemi digitali.
Come possiamo capire e governare sistemi che combinano software, dati, infrastrutture e persone?
Il lavoro affronta questa domanda dalla modellazione formale e dalla valutazione delle prestazioni, fino a cloud ed edge, sicurezza, privacy e intelligenza artificiale spiegabile. La collaborazione interdisciplinare permette di applicare metodi di analisi anche a domini diversi, come trasporti, servizi digitali, ambiente e amministrazione.
Modellazione multiformalismo, processi stocastici, simulazione, affidabilità e disponibilità. Sistemi eterogenei, concorrenti e distribuiti sono studiati per rendere comparabili alternative di progetto e scenari di guasto.
Architetture per cloud e fog computing, sistemi ad alte prestazioni, big data e Internet of Things. L’attenzione è rivolta a prestazioni, allocazione delle risorse, scalabilità e qualità dei servizi.
Metodi di valutazione nelle fasi iniziali della progettazione, gestione dei dati lungo il loro ciclo di vita, sicurezza e interpretabilità dei modelli. L’obiettivo è integrare tutele e qualità nell’architettura, non aggiungerle a posteriori.
Modelli e strumenti vengono messi alla prova in domini applicativi: sistemi ferroviari e industriali, servizi sanitari e dispositivi IoT, monitoraggio ambientale e marittimo, servizi pubblici e tecnologie culturali.
COME SI SVILUPPA IL LAVORO
Definire un modello che conservi le proprietà essenziali del sistema e le relazioni tra componenti.
Usare analisi quantitativa e simulazione per confrontare prestazioni, affidabilità, rischi e scenari.
Rileggere i risultati alla luce di utenti, vincoli, diritti, pratiche organizzative e contesti istituzionali.
COLLABORARE
Il percorso include progetti nazionali e internazionali, gruppi interdisciplinari e cooperazione tra università, centri di ricerca, imprese e amministrazioni. I ruoli spaziano dal coordinamento scientifico di unità di ricerca alla partecipazione in reti europee.
Leggi anche il lavoro nelle reti e nelle istituzioni →