Verso sistemi informatici più sicuri e affidabili, rilevanti e sicuri
Ispezioni, dimostrazioni pratiche e altri tipi di revisione garantiscono che i risultati ottenuti durante ciascuna fase di sviluppo di un software siano perfettamente in linea con gli obiettivi della fase precedente. La conduzione di prove nel corso del processo di esecuzione del software rappresenta solo una delle molteplici tecniche adottate nell’ambito delle operazioni di verifica sui sistemi informatici. La sistematicità dei controlli impedisce ai problemi dei software di raggiungere l’ambiente di produzione. Il progetto MEALS (Mobility between Europe and Argentina applying logics to systems), finanziato dall’UE, ha proposto un approccio matematico per analizzare i sistemi nelle prime fasi di sviluppo. I partner del progetto hanno sviluppato rigorosi strumenti e tecniche basati sulla matematica per descrivere qualsiasi sistema informatico e assistere nella sua progettazione. Questi includono strumenti per modellare e analizzare tipi di sistema come controller incorporati, sistemi distribuiti e servizi web. Ciò è stato fatto per esaminare le proprietà fondamentali legate alle diverse caratteristiche essenziali esistenti, tra cui la correttezza funzionale, problemi di sicurezza, profili di prestazioni e tolleranza ai guasti. Verificando gli aspetti chiave attraverso tali strumenti, il progetto MEALS ha dimostrato che la progettazione del sistema corrisponde alla specifica desiderata. Questi strumenti e tecniche consentono di rivelare i design errati prima effettuare grandi investimenti. Più di 300 pubblicazioni scientifiche hanno presentato i risultati del progetto in riviste specializzate, conferenze e workshop internazionali. Il trasferimento delle conoscenze, la creazione di comunità e le attività di diffusione relative alla descrizione, verifica e sintesi dei sistemi informatici onnipresenti e affidabili sono state effettuate attraverso incontri, workshop ed eventi di divulgazione. Inoltre, sono state effettuate 213 visite di ricerca transatlantiche. Grazie a MEALS, l’uso industriale delle tecniche di verifica formale sarà esteso, migliorando notevolmente la qualità del futuro software sviluppato.
Parole chiave
Sistemi informatici, sviluppo software, verifica dei sistemi informatici, MEALS
