Sommario:
La complessità dei moderni sistemi software è in continua crescita, così come le capacità di comunicazione e la potenza di calcolo della tecnologia “pervasive”, rappresentata da una vasta gamma di dispositivi smart eterogenei che interagiscono tra loro; sistemi Internet of Things (IoT) e Cyber Physical (CPS) e software distribuito complesso basato su Cloud, Fog, Mobile e Edge Computing o che implementa Distributed Ledger o sistemi SCADA, pongono una serie di nuove sfide per lo sviluppo di applicazioni sicure e affidabili.
Tale problema coinvolge diverse fasi del processo di sviluppo del software e la sua complessità richiede l'adozione di approcci complementari che possano essere integrati per ottenere risultati migliori; a tal fine, il nostro impegno è principalmente rivolto all'esplorazione di diverse tecniche e metodi innovativi per facilitare lo sviluppo di sistemi software complessi che possano essere sicuri e affidabili, con particolare attenzione alle fasi di progettazione, implementazione, testing, verifica e validazione del software.
La capacità di coprire gli aspetti di sicurezza e correttezza di un'ampia categoria di sistemi, come quelli sopra menzionati, richiede diversi tipi di competenze che permettono di creare però collaborazioni sinergiche per confrontare e integrare approcci diversi. Per esempio, l'analisi automatica di applicazioni distribuite con forti requisiti di sicurezza richiede l'adozione di tecniche miste sia statiche, sia dinamiche; i metodi di verifica e validazione per l'affidabilità dei sistemi possono essere migliorati mediante tecniche combinate di verifica formale, testing e verifica a runtime; inoltre, le fasi di testing, verifica e validazione possono venire semplificate adottando nuove metodologie di specifica dei requisiti e progettando e implementando nuove astrazioni a livello di programmazione.
Settore ERC:
PE6_3 Software engineering, operating systems, computer languages
PE6_4 Theoretical computer science, formal methods, and quantum computing
PE6_5 Cryptology, security, privacy, quantum crypto
Referente: Davide Ancona