European Commission logo
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS
Contenido archivado el 2024-06-18

COMBEST: COMponent-Based Embedded Systems design Techniques

Descripción del proyecto


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.

Ámbito científico

Programa(s)

Tema(s)

Convocatoria de propuestas

FP7-ICT-2007-1
Consulte otros proyectos de esta convocatoria

Régimen de financiación

CP - Collaborative project (generic)

Coordinador

UGA FILIALE
Aportación de la UE
€ 76 500,00
Dirección
7 ALLEE DE PALESTINE
38610 GIERES
Francia

Ver en el mapa
Región
Auvergne-Rhône-Alpes Rhône-Alpes Isère
Tipo de actividad
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Contacto administrativo
Olivier GUERARD (Mr.)
Enlaces
Coste total
Sin datos

Participantes (14)

Compartir esta página

Descargar

Última actualización: 18 Abril 2017

Mi folleto

Permalink: https://cordis.europa.eu/project/id/215543/es

European Union, 2024