Home >> R&D >> CONCERTO

CONCERTO

 

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

Programma di Finanziamento

ARTEMIS Join Undertaking / Ministero dell’Istruzione, Università e Ricerca - ARTEMIS-2012

Coordinatore

Intecs (I)

Partners

Thales Communications (F), ATEGO (F), Aicas (D), X/Open Company Limited- The Open Group (UK), University of Padua (I), Maelardalen University (SW), University of Florence (I), EADS (F), Budapest University of Technology and Economics (H), AENSys Informatikai (H), Instituto Superior de Engenharia do Porto (P), Critical Software (P), Stiftelsen SINTEF (N), Oilfield Technology Group (N)

Data di inizio

Maggio 2013

Durata

36 mesi

Descrizione

Le piattaforme emergenti per sistemi embedded sfruttano le nuove architetture eterogenee multi-core per supportare lo sviluppo di una generazione futura di applicazioni critiche per missioni sempre più performanti, tali applicazioni richiedono miglioramenti a tutto campo in tutte le aree del disegno e dello sviluppo per poter soddisfare le loro promesse. L’integrazione del disegno basato su componenti con lo sviluppo guidato dai modelli crea una potente combinazione particolarmente efficace per poter dominare la complessità di questi nuovi sistemi.

CONCERTO fornirà un ambiente architetturale di riferimento applicabile a domini differenti per sistemi complessi, altamente concorrenti e multi-core, in cui le proprietà non-funzionali (includendo quelle relative ad aspetti real-time, di dependability e di gestione dell’energia), stabilite per i singoli componenti e derivate a livello di sistema durante il disegno, siano preservate per costruzione e tramite monitoraggio a tempo di esecuzione.

L’ambiente CONCERTO integrerà:

  • Un approccio di correttezza per costruzione per sistemi multi-core tramite tecniche di trasformazione da modello a codice adattate per le loro speciali caratteristiche

  • Uno spazio di disegno a viste multiple gerarchiche sufficientemente ricco per poter supportare un approccio composizionale adatto per la prossima generazione di architetture per piattaforme complesse ed eterogenee

  • Supporto per lo sviluppo iterativo e incrementale di sistemi multi-core attraverso la simulazione e l’analisi anticipata basate sui modelli, con supporto per la propagazione automatica dei risultati indietro al modello.

  • Supporto per la modellazione dell’hardware in grado di far fronte alla nuova generazione di piattaforme eterogenee e multi-core.

  • Progressi nel campo del rilevamento a tempo di esecuzione delle proprietà non funzionali che sono critiche per lo scopo e l’uso del sistema, come il consumo di energia su architetture di processori multi-core e partizionati.

L’applicabilità delle soluzioni fornite da CONCERTO a vari domini industriali come l’aerospazio, le telecomunicazioni, l’automotive, il petrolio e il medicale sarà assicurata attraverso l’elaborazione di casi d’uso rappresentativi industriali.

CONCERTO si basa sia sui risultati del progetto CHESS (ARTEMIS-2008-1-100022), espandendo la sua ricerca in termini di domini di applicazione industriale, piattaforme di esecuzione e aspetti di modellazione non funzionale, così come sui risultati di molti altri progetti correlati.

Collegamenti