COMBEST COMponent Based Embedded Systems design Techniques
COMBEST will provide a formal framework for component based design of complex embedded systems. This framework will:<br/>1.\tEnable formal integration of heterogeneous components, such as with different models of communication or...
ver más
31/03/2011
FLORALIS
4M€
Presupuesto del proyecto: 4M€
Líder del proyecto
UGA FILIALE
No se ha especificado una descripción o un objeto social para esta compañía.
Fecha límite participación
Sin fecha límite de participación.
¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video
Información proyecto COMBEST
Líder del proyecto
UGA FILIALE
No se ha especificado una descripción o un objeto social para esta compañía.
Presupuesto del proyecto
4M€
Fecha límite de participación
Sin fecha límite de participación.
Descripción del proyecto
COMBEST will provide a formal framework for component based design of complex embedded systems. This framework will:<br/>1.\tEnable formal integration of heterogeneous components, such as with different models of communication or execution;<br/>2.\tProvide complete encapsulation of components both for functional and extra-functional properties and develop foundations and methods ensuring composability of components;<br/>3.\tEnable prediction of emergent key system characteristics such as performance and robustness (timing, safety) from such characterizations of its subcomponents;<br/>4.\tProvide certificates for guarantees of such key system characteristics when deployed on distributed HW-architectures<br/> <br/>To achieve these objectives, COMBEST will:<br/>\tDevelop a design theory for complex embedded systems, fully covering heterogeneity, interface specifications, composability, compositionality, and refinement for functional and extra-functional properties<br/>\tBuild on substantial highly recognized background results of the academic partners, partly carried out within the integrated projet SPEEDS;<br/>\tExtend results of the Integrated Project SPEEDS, both regarding heterogeneous rich components and compositional analysis methods.<br/>\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.