Component-Based Embedded Systems Design Techniques

COMBEST DIT-PRJ-08-006

Status NOT active project
DISI role Partner
Project type Research Project
Dimension International
Acquisition date 2007-09-24
Start date 2008-01-01
End date 2011-03-31

Project details

Project astract COMBEST will provide a formal framework for component based design of complex embedded systems. This framework will:<br/>1. Enable formal integration of heterogeneous components, such as with different models of communication or execution;<br/>2. Provide complete encapsulation of components both for functional and extra-functional properties and develop foundations and methods ensuring composability of components;<br/>3. Enable prediction of emergent key system characteristics such as performance and robustness (timing, safety) from such characterizations of its subcomponents;<br/>4. Provide certificates for guarantees of such key system characteristics when deployed on distributed HW-architectures<br/>To achieve these objectives, COMBEST will:<br/>� Develop a design theory for complex embedded systems, fully covering heterogeneity, interface specifications, composability, compositionality, and refinement for functional and extra-functional properties<br/>� Build on substantial highly recognized background results of the academic partners, partly carried out within the integrated project SPEEDS;<br/>� Extend results of the Integrated Project SPEEDS, both regarding heterogeneous rich components and compositional analysis methods.<br/>� Collaborate 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.
Keywords Components, Heterogeneity, compositionality, embedded systems
Fundings 2750000 €
Partners
  • TU Braunschweig
  • EADS
  • EPFL
  • Floralis
  • Universite' Joseph Fourier
  • DIT - UniTN
  • ETHZ
  • INRIA
  • Israel Aerospace Industries
  • OFFIS
  • PARADES

DISI Sub-project details

Project astract See main abstract
Fundings 260000 €
Manager Roberto Passerone