Scheda Progetto

Il progetto SVEVIA ha come obiettivo il miglioramento dell'efficienza dei processi di Verifica e Validazione (V&V) del software in sistemi critici, complessi e near-realtime di prossima generazione. La V&V costituisce una delle fasi più costose dell'intero ciclo di sviluppo sia in termini di tempo, che di risorse impiegate: nei sistemi in oggetto, caratterizzati da complessi e stringenti vincoli non funzionali, più della metà del costo dell'intero sviluppo deriva dal processo di V&V. Le problematiche legate alla definizione e all'applicazione di opportune strategie di V&V vanno ben oltre l'aspetto puramente tecnico e/o tecnologico; esse coinvolgono, in maniera rilevante, aspetti metodologici, aspetti legati al processo produttivo, al processo di sviluppo, nonché aspetti legati alla struttura organizzativa dell'azienda, e alle strategie aziendali di medio/lungo termine. Pertanto, la criticità e la complessità dei sistemi considerati pone nuove sfide agli ingegneri del software, che devono sviluppare soluzioni capaci di assicurare un elevato livello di qualità, tenendo, nello stesso tempo, bassi i costi e i tempi di sviluppo. Il progetto SVEVIA intende affrontare le problematiche relative sia alla pianificazione, sia alla esecuzione delle attività di V&V. Il progetto propone la definizione e la realizzazione di un framework integrato, denominato SVEVIA, per il supporto all'intero processo di Verifica e Validazione (V&V), in sistemi software caratterizzati da una elevata complessità e dall'impiego in scenari altamente critici, nei quali un malfunzionamento del sistema può provocare danni catastrofici. Il framework SVEVIA sarà il punto di convergenza dei risultati delle attività di ricerca, in cui verranno analizzate e definite nuove tecniche di V&V (con i relativi tool), e sviluppate metodologie innovative per il processo di V&V in grado di soddisfare requisiti di qualità richiesti negli scenari considerati (quali affidabilità, robustezza, tempestività).