#	Pagina
attuale pagina	/open-fp7/projects/85417/index.html
-1	/open-fp7/projects/89618/index.html
-2	/open-fp7/projects/88056/index.html
-3	/open-fp7/projects/88642/index.html
-4	/open-fp7/projects/86221/index.html

COMBEST

COMBEST: COMponent-Based Embedded Systems design Techniques

Coordinatore	UJF FILIALE Organization address address: ALLEE DE BETHLEEM 6 city: GIERES postcode: 38610 contact info Titolo: Mr. Nome: Olivier Cognome: GUERARD Email: send email Telefono: +33 4 7600 7839 Fax: +33 4 7600 7028
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

#	participant	country	role
1	UJF FILIALE Organization address address: ALLEE DE BETHLEEM 6 city: GIERES postcode: 38610 contact info Titolo: Mr. Nome: Olivier Cognome: GUERARD Email: send email Telefono: +33 4 7600 7839 Fax: +33 4 7600 7028	FR (GIERES)	coordinator
2	CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE Organization address address: Rue Michel -Ange city: PARIS postcode: 75794 contact info Nome: N/A Cognome: N/A Email: send email Telefono: +00 0 000000	FR (PARIS)	participant
3	EADS DEUTSCHLAND GMBH Organization address address: Willy-Messerschmitt-Strasse city: OTTOBRUNN postcode: 85521 contact info Titolo: Mr Nome: Peter Cognome: Lilischkis Email: send email Telefono: +49 89 60728018 Fax: +49 89 60724180	DE (OTTOBRUNN)	participant
4	EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZURICH Organization address address: Raemistrasse city: ZUERICH postcode: 8092 contact info Titolo: Ms. Nome: Beat Cognome: Futterknecht Email: send email Telefono: +41 44 632 5173 Fax: +41 44 632 1036	CH (ZUERICH)	participant
5	INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Organization address address: Domaine de Voluceau, Rocquencourt city: LE CHESNAY Cedex postcode: 78153 contact info Titolo: Mr. Nome: Jean-Paul Cognome: Guillois Email: send email Telefono: +33 2 99847 248 Fax: +33 2 998 47171	FR (LE CHESNAY Cedex)	participant
6	INSTITUT POLYTECHNIQUE DE GRENOBLE Organization address address: AVENUE FELIX VIALLET city: GRENOBLE CEDEX 1 postcode: 38031 contact info Nome: N/A Cognome: N/A Email: send email Telefono: +00 0 000000	FR (GRENOBLE CEDEX 1)	participant
7	Institute of Science and Technology Austria Organization address address: Am Campus city: Klosterneuburg postcode: 3400 contact info Titolo: Ms. Nome: Barbara Cognome: Abraham Email: send email Telefono: +43 2243 90001020 Fax: +43 2243 90002000	AT (Klosterneuburg)	participant
8	ISRAEL AEROSPACE INDUSTRIES LTD. Organization address address: BEN GURION INTERNATIONAL AIRPORT city: LOD postcode: 70100 contact info Titolo: Mr. Nome: Ariav Cognome: Savir Email: send email Telefono: +972 3935 6365 Fax: +972 3935 3636	IL (LOD)	participant
9	OFFIS E.V. Organization address address: Escherweg city: OLDENBURG postcode: 26121 contact info Titolo: Prof. Nome: Bernhard Cognome: Josko Email: send email Telefono: +49 441 972 2520 Fax: +49 441 972 2102	DE (OLDENBURG)	participant
10	TECHNISCHE UNIVERSITAET BRAUNSCHWEIG Organization address address: POCKELSSTRASSE city: BRAUNSCHWEIG postcode: 38106 contact info Titolo: Dr Nome: Peter Cognome: Rüffer Email: send email Telefono: +49 5 3139 13736 Fax: +49 5 3139 13750	DE (BRAUNSCHWEIG)	participant
11	UNIVERSITA DEGLI STUDI DI TRENTO Organization address address: VIA BELENZANI city: TRENTO postcode: 38100 contact info Titolo: Dr. Nome: Roberto Cognome: Passerone Email: send email Telefono: +39 0461 883971 Fax: +39 4061 882093	IT (TRENTO)	participant
12	UNIVERSITE DE RENNES I Organization address address: RUE DU THABOR city: RENNES CEDEX postcode: 35065 contact info Nome: N/A Cognome: N/A Email: send email Telefono: +00 0 000000	FR (RENNES CEDEX)	participant
13	UNIVERSITE JOSEPH FOURIER GRENOBLE 1 Organization address address: Avenue Centrale, Domaine Universitaire city: GRENOBLE postcode: 38041 contact info Titolo: Mr. Nome: Bruno Cognome: Bouyssounouse Email: send email Telefono: +33 456520448 Fax: +33 4 7651 4400	FR (GRENOBLE)	participant

Mappa

Word cloud

Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.

tenable components speeds extra combest heterogeneous composability tprovide n formal functional framework

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.