Il progetto VALU3S mira a valutare i metodi e gli strumenti V&V all'avanguardia e progettare un framework multi-dominio per creare una struttura chiara attorno ai componenti e agli elementi necessari per condurre il processo di V&V.

AIDOaRt è un progetto europeo H2020-ECSEL della durata di 3 anni che coinvolge 32 organizzazioni, raggruppate in cluster da 7 paesi diversi, incentrato sull'automazione potenziata dall'IA a supporto di modellazione, codifica, test, monitoraggio e sviluppo continuo nei sistemi cyber-fisici (CPS).

Il progetto MSCA ITN 2018 Lowcomote formerà una generazione di esperti che aggiornerà l'attuale tendenza delle piattaforme di sviluppo Low-code (LCPD) ad un nuovo paradigma, le Lowcode Engineering Platforms (LCEP).

Il progetto AQUAS indaga le sfide derivanti dall'interdipendenza dell'affidabilità, della sicurezza e delle prestazioni dei sistemi e mira a soluzioni efficienti per l'intero ciclo di vita del prodotto all'interno di tre funzionalità essenziali dell'ECSEL: Design Technologies (DT), Cyber-Physical Systems (CPS) e European Asset Protection (EAP).

MegaM@RT intende creare un framework che incorpori metodi e strumenti per lo sviluppo e la validazione runtime, sfruttando i vantaggi dei metodi basati su modelli scalabili per fornire benefici in termini di produttività, qualità e prevedibilità di sistemi industriali grandi e complessi.

SafeCOP si rivolge a sistemi Cyber-Physical cooperativi correlati alla sicurezza (CO-CPS) caratterizzati dall'uso di comunicazioni wireless, con più parti interessate, definizioni di sistemi dinamici (apertura) e ambienti operativi imprevedibili.

AMASS creerà e consoliderà la piattaforma di strumenti aperti di fatto a livello europeo, l'ecosistema e la comunità autosufficiente per la garanzia e la certificazione dei sistemi Cyber-Physical (CPS) nei più grandi mercati verticali industriali tra cui automobilistico, ferroviario, aerospaziale, spaziale, energia.

L'obiettivo generale del progetto PHANTOM è quello di fornire un cross-layer integrato (hardware e software di sistema / ambiente di programmazione), un approccio multi-obiettivo e cross-application che consentirà la generazione di sistemi di calcolo eterogenei, paralleli e a bassa potenza, nascondendo la complessità dell'hardware di calcolo dal programmatore, favorendo così la produttività nella programmazione.

CONTREX è un progetto per la progettazione di sistemi embedded a criticità mista in considerazione delle proprietà extra-funzionali. CONTREX consentirà un'efficienza energetica e una progettazione attenta ai costi attraverso l'analisi e l'ottimizzazione di tempo reale, potenza, temperatura e affidabilità in relazione alle richieste applicative a diversi livelli di criticità.

CONCERTO ha fornito una struttura architettonica multidominio di riferimento per sistemi complessi, altamente concorrenti e multi-core, in cui sono state stabilite proprietà non funzionali (tra cui in tempo reale, affidabilità e gestione dell'energia) per i singoli componenti, derivati dal sistema generale in fase di progettazione, e preservato dalla costruzione e dal monitoraggio in fase di esecuzione.

Il progetto SESAMO ha affrontato le cause profonde dei problemi derivanti dalla convergenza dell'affidabilità e della sicurezza nei sistemi embedded a livello architettonico, in cui le interazioni sottili e scarsamente comprensibili tra affidabilità funzionale e meccanismi di sicurezza, ostacolano le procedure e gli standard di definizione, di sviluppo, di certificazione e accreditamento.

Lo studio ha lo scopo di migliorare il processo complessivo di verifica dei sistemi spaziali, grazie all'utilizzo di metodologie basate su modelli. Metodi, processi e infrastrutture di supporto (strumenti e persone in rete) adeguati sono definiti e dimostrati

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.

OPENCOSS è stato un progetto europeo su larga scala dedicato alla produzione della prima piattaforma europea di certificazione di sicurezza: una piattaforma aperta per la certificazione evolutiva dei sistemi critici per la sicurezza per i mercati ferroviario, avionico e automobilistico. 

n-SafeCer e p-SafeCer mirano ad aumentare l'efficienza e ridurre il time-to-market grazie alla certificazione componibile di sistemi embedded rilevanti per la sicurezza.

CHESS  cerca soluzioni di ricerca industrialmente mature per risolvere i problemi di preservazione delle proprietà dei componenti nel loro assemblaggio per sistemi real-time e dependable.  

Il progetto METRICOS ha riguardato lo studio, la progettazione e la sperimentazione di un tool per la raccolta e l'utilizzo delle metriche di progetto coerentemente con le procedure identificate dal processo definito e applicato per il raggiungimento del livello 3 CMMI.

Il progetto COOPER, svolto in collaborazione con TRS, nostro partner nel Consorzio START, ha avuto l’obiettivo di realizzare degli strumenti software in supporto alla collaborazione tra le imprese consorziate ed alle attività proprie del Consorzio, quali in particolare la gestione della pianificazione ed allocazione delle commesse, dalla ricezione della richiesta di offerta alla fatturazione, e la produzione di report per permettere il monitoraggio delle attività, sia all'interno del Consorzio che verso i clienti.

I sistemi critici per la sicurezza sono una parte importante della nostra vita quotidiana. Questi sistemi sono anche chiamati ‘dependable’, poichè le nostre vite dipendono da loro. Esempi sono i sistemi di controllo in un aeroplano, il controllo dei freni in una auto, o il sistema di controllo di un treno. Questi sistemi critici per la sicurezza devono essere certificati e il loro tempo massimo di esecuzione deve essere limitato e conosciuto in modo che, quando sono necessarie delle azioni critiche, i tempi di risposta possano essere assicurati.