CHESS

CHESS indaga soluzioni di ricerca industrialmente mature per risolvere problemi di salvaguardia delle proprietà dei componenti nell' assemblaggio in sistemi dependable e real-time ...

METRICOS

Il progetto METRICOS ha riguardato studio, progettazione e sperimentazione di un tool per la raccolta e l'utilizzazione delle metriche di progetto ...

COOPER

Sviluppato con TRS, partner nel Consorzio START. Ha avuto l’obiettivo di realizzare degli strumenti software in supporto alla collaborazione tra le imprese consorziate ...

T-CREST

Il progetto T-CREST ricerca soluzioni innovative per architetture multi-core e many-core i cui tempi di esecuzione siano predicibili e viene sviluppata una infrastruttura di compi ...

FoReVer

L’obiettivo 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 Driv ...

OPENCOSS

Obiettivo del progetto OPENCOSS è la definizione un framework per l’assicurazione e la certificazione della safety comune a diversi settori applicativi, quali il ferroviario, l’avio ...

SafeCer

Obiettivo di SafeCer è quello di aumentare l’efficienza e la riduzione del time-to-market attraverso un sistema di certificazione per la safety dei sistemi embedded safety-relevan ...

SeSaMo

Il progetto SESAMO affronta i problemi legati alla convergenza, a livello architetturale, della safety e della security nei sistemi integrati... ...

CONCERTO

CONCERTO definisce un ambiente architetturale di riferimento applicabile a domini differenti per sistemi complessi, altamente concorrenti e multi-core... ...