Projektbeschreibung
Embedded Systems Design
COMBEST aims at providing a formal framework for component based design of complex embedded systems, covering heterogeneity, composability and functional and non-functionall aspects.
COMBEST will provide a formal framework for component based design of complex embedded systems. This framework will:
1.\tEnable formal integration of heterogeneous components, such as with different models of communication or execution;
2.\tProvide complete encapsulation of components both for functional and extra-functional properties and develop foundations and methods ensuring composability of components;
3.\tEnable prediction of emergent key system characteristics such as performance and robustness (timing, safety) from such characterizations of its subcomponents;
4.\tProvide certificates for guarantees of such key system characteristics when deployed on distributed HW-architectures
To achieve these objectives, COMBEST will:
\tDevelop a design theory for complex embedded systems, fully covering heterogeneity, interface specifications, composability, compositionality, and refinement for functional and extra-functional properties
\tBuild on substantial highly recognized background results of the academic partners, partly carried out within the integrated projet SPEEDS;
\tExtend results of the Integrated Project SPEEDS, both regarding heterogeneous rich components and compositional analysis methods.
\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.
Wissenschaftliches Gebiet
Programm/Programme
Thema/Themen
Aufforderung zur Vorschlagseinreichung
FP7-ICT-2007-1
Andere Projekte für diesen Aufruf anzeigen
Finanzierungsplan
CP - Collaborative project (generic)Koordinator
38610 GIERES
Frankreich
Auf der Karte ansehen
Beteiligte (14)
3400 Klosterneuburg
Auf der Karte ansehen
Beteiligung beendet
1015 Lausanne
Auf der Karte ansehen
8092 Zuerich
Auf der Karte ansehen
82024 Taufkirchen
Auf der Karte ansehen
38106 Braunschweig
Auf der Karte ansehen
26121 Oldenburg
Auf der Karte ansehen
78153 Le Chesnay Cedex
Auf der Karte ansehen
38041 GRENOBLE
Auf der Karte ansehen
70100 Lod
Auf der Karte ansehen
Beteiligung beendet
00149 ROMA
Auf der Karte ansehen
38122 Trento
Auf der Karte ansehen
38031 Grenoble Cedex 1
Auf der Karte ansehen
75794 Paris
Auf der Karte ansehen
35065 RENNES CEDEX
Auf der Karte ansehen