IL GRUPPO  Ricerca e sviluppo

 

Aggregated Quality Assurance for Systems

Odoo Members

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).

Leggi di più

MegaModelling at Runtime - scalable model-based framework for continuous development and runtime validation of complex systems

Odoo Members

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.

Leggi di più

Safe Cooperating Cyber-Physical Systems using Wireless Communication

Odoo Members

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.

Leggi di più

Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems 

Odoo Members

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.

Leggi di più

Cross-Layer and Multi-Objective Programming Approach for Next Generation Heterogeneous Parallel Computer Systems 

Odoo Members

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.

Leggi di più

Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties 

Odoo Members

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à.

Leggi di più

Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core Systems

Odoo Members

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.

Leggi di più

Security and Safety Modelling

Odoo Members

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.

Leggi di più

Model Based Approach Research for Verification Enhancement through the Lifecycle of a System

Odoo Members

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

Leggi di più

Functional Requirements and Verification Techniques for the Software Reference Architecture

Odoo Members

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.

Leggi di più

Open platform for evolutionary certification of safety-critical systems

Odoo Members

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. 

Leggi di più

Safety Certification of Software-Intensive Systems with Reusable Components

Odoo Members

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.

Leggi di più

Composizione con garanzia per l’integrazione di componenti software con caratteristiche di elevate integrità

Odoo Members

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.  

Leggi di più

Razionalizzazione delle Metriche di processo per l'innovazione del ciclo di sviluppo software mediante strumenti Open Source    

Odoo Members

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.

Leggi di più

Razionalizzazione della gestione dall'azienda sulla base della conoscenza ontologica acquisita

Odoo Members

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.

Leggi di più

Time-predictable Multi-Core Architecture for Embedded Systems

Odoo Members

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.

Leggi di più

Intecs  The Brainware company