MAPS invitata a collaborare
al progetto di ricerca europeo su
Highly Adaptable and Trustworthy
Software using Formal Methods
MAPS è stata invitata a collaborare, come membro dell’End User Panel, al progetto di ricerca HATS (Highly Adaptable and Trustworthy Software using Formal Models), finanziato dall’Unione Europea nell’ambito del Settimo Programma Quadro per le "Future and Emerging Technologies".
Il progetto ha l’obiettivo di realizzare un quadro di riferimento metodologico e di strumenti che aumenti tanto la capacità di automazione nella manutenzione ed evoluzione dei sistemi software, quanto il livello di confidenza sulla correttezza delle implementazioni. Questo grazie all’utilizzo di analisi rigorose basate su semantiche formali. Il progetto, che prevede un finanziamento per oltre 5M€ ha durata quadriennale, coinvolge otto Centri Universitari Europei, due centri di ricerca industriale ed una media azienda. Maggiori informazioni sono disponibili al sito HATS.