FoReVer Functional Requirements and Verification Techniques for the Software Reference Architecture

L’obiettivo principale dello studio FoReVer è quello di sviluppare un supporto metodologico, teorico e tecnologico per un approccio sistematico allo sviluppo del sistema avionico spaziale, attraverso le fasi ECSS 0, A, B e C.

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.

Sito ufficiale del progetto