FoReVer
Functional Requirements and Verification Techniques for the Software Reference Architecture
Programma di Finanziamento ESA/ESTEC
Coordinatore Intecs
Partners Thales Alenia Space, France, Fondazione Bruno Kessler
Descrizione L'obiettivo principale dello studio FoReVer era quello di sviluppare supporto metodologico, teorico e tecnologico per un approccio sistematico allo sviluppo del sistema avionico spaziale, attraverso le fasi ECSS 0, A, B e C.
L'obiettivo era quello di definire una metodologia integrata e strumenti di supporto basati su un approccio basato su modelli e di introdurre la verifica formale delle proprietà del sistema sin dalle prime fasi del processo di sviluppo, consentendo di verificare la correttezza dei raffinamenti del modello e consentendo la piena tracciabilità delle scelte progettuali lungo l'intero processo di sviluppo.
L'obiettivo dello studio era quindi il perfezionamento delle proprietà del livello del sistema avionico fino al livello del software riutilizzo dei componenti software implementati nell'architettura di riferimento del software on-board (OBSW-RA) definita nel contesto dell'iniziativa SAVOIR per la standardizzazione avionica spaziale di ESA. FoReVer si avvale del set di strumenti basati sul modello di CHESS (https://www.polarsys.org/chess/) e integra lo strumento avanzato OCRA di FBK per supportare il ragionamento basato sul contratto e la verifica del perfezionamento dei contratti basati su logica.
Collegamenti Sito ufficiale del progetto
Intecs The Brainware company