Home >> R&D >> FoReVer

FoReVer

 

Functional Requirements and Verification Techniques for the Software Reference Architecture

Programma di Finanziamento

ESA/ESTEC ITT

Coordinatore

INTECS

Partners

Fondazione Bruno Kessler (I), Thales Alenia Space (F).

Data di inizio

Gennaio 2012

Durata

15 mesi

Descrizione

L’obiettivo generale del progetto FoReVer è la definizione di una linea guida per un approccio sistematico alla verifica delle proprietà di sistemi avionici basate su un approccio Model Driven Engineering, e lo sviluppo di tecnologie, metodologie e per la descrizione e lo sviluppo dell’impatto architetturale sulla Architettura Software di Riferimento (SRA) SAVOIR-FAIRE, per supportare e facilitare la verifica di proprietà a livello di sistema, di avionica e di software.

Gli obiettivi dello studio sono in particolare i seguenti:

  1. Tassonomia delle proprietà funzionali e non- funzionali a livello di sistema dell’avionica

  2. Overview dei metodi di verifica, linguaggi, e strumenti per le proprietà a livello di sistema, di avionica e di software

  3. Framework (Metodologia and Processo) per la verifica delle proprietà

  4. Identificazione delle proprietà di specifica ad alto livello che hanno impatto nel sistema software

  5. Derivazione dell’impatto delle proprietà di specifica a livello di siatema avionico sul disegno della SRA (identificazione di raccomandazioni per il designo che facilitino la verifica oppure facciano rispettare le proprietà)

  6. Identificazione di un insieme di strumenti necessary per la verifica delle proprietà

  7. Sviluppo di un caso di studio che dimostri il concetto generale e la verifica relative alla SRA usando l’insieme di strumenti identificato.  

Collegamenti