COMBEST
COMBEST: COMponent-Based Embedded Systems design Techniques
| Coordinatore | UJF FILIALE
Organization address
address: ALLEE DE BETHLEEM 6 contact info |
| Nazionalità Coordinatore | France [FR] |
| Totale costo | 3˙885˙237 € |
| EC contributo | 2˙750˙000 € |
| Programma | FP7-ICT
Specific Programme "Cooperation": Information and communication technologies |
| Code Call | FP7-ICT-2007-1 |
| Funding Scheme | CP |
| Anno di inizio | 2008 |
| Periodo (anno-mese-giorno) | 2008-01-01 - 2011-03-31 |
Partecipanti
| # | ||||
|---|---|---|---|---|
| 1 |
UJF FILIALE
Organization address
address: ALLEE DE BETHLEEM 6 contact info |
FR (GIERES) | coordinator | 0.00 |
| 2 |
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE
Organization address
address: Rue Michel -Ange contact info |
FR (PARIS) | participant | 0.00 |
| 3 |
EADS DEUTSCHLAND GMBH
Organization address
address: Willy-Messerschmitt-Strasse contact info |
DE (OTTOBRUNN) | participant | 0.00 |
| 4 |
EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZURICH
Organization address
address: Raemistrasse contact info |
CH (ZUERICH) | participant | 0.00 |
| 5 |
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Organization address
address: Domaine de Voluceau, Rocquencourt contact info |
FR (LE CHESNAY Cedex) | participant | 0.00 |
| 6 |
INSTITUT POLYTECHNIQUE DE GRENOBLE
Organization address
address: AVENUE FELIX VIALLET contact info |
FR (GRENOBLE CEDEX 1) | participant | 0.00 |
| 7 |
Institute of Science and Technology Austria
Organization address
address: Am Campus contact info |
AT (Klosterneuburg) | participant | 0.00 |
| 8 |
ISRAEL AEROSPACE INDUSTRIES LTD.
Organization address
address: BEN GURION INTERNATIONAL AIRPORT contact info |
IL (LOD) | participant | 0.00 |
| 9 |
OFFIS E.V.
Organization address
address: Escherweg contact info |
DE (OLDENBURG) | participant | 0.00 |
| 10 |
TECHNISCHE UNIVERSITAET BRAUNSCHWEIG
Organization address
address: POCKELSSTRASSE contact info |
DE (BRAUNSCHWEIG) | participant | 0.00 |
| 11 |
UNIVERSITA DEGLI STUDI DI TRENTO
Organization address
address: VIA BELENZANI contact info |
IT (TRENTO) | participant | 0.00 |
| 12 |
UNIVERSITE DE RENNES I
Organization address
address: RUE DU THABOR contact info |
FR (RENNES CEDEX) | participant | 0.00 |
| 13 |
UNIVERSITE JOSEPH FOURIER GRENOBLE 1
Organization address
address: Avenue Centrale, Domaine Universitaire contact info |
FR (GRENOBLE) | participant | 0.00 |
Mappa
Word cloud
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
Obiettivo del progetto (Objective)
COMBEST will provide a formal framework for component based design of complex embedded systems. This framework will:n1.tEnable formal integration of heterogeneous components, such as with different models of communication or execution;n2.tProvide complete encapsulation of components both for functional and extra-functional properties and develop foundations and methods ensuring composability of components;n3.tEnable prediction of emergent key system characteristics such as performance and robustness (timing, safety) from such characterizations of its subcomponents;n4.tProvide certificates for guarantees of such key system characteristics when deployed on distributed HW-architecturesn nTo achieve these objectives, COMBEST will:n•tDevelop a design theory for complex embedded systems, fully covering heterogeneity, interface specifications, composability, compositionality, and refinement for functional and extra-functional propertiesn•tBuild on substantial highly recognized background results of the academic partners, partly carried out within the integrated projet SPEEDS;n•tExtend results of the Integrated Project SPEEDS, both regarding heterogeneous rich components and compositional analysis methods.n•tCollaborate with the best US groups in embedded system design to build critical mass in a strategic area of vital interest to the European industrial ecosystem.