COMBEST Komponentenbasierte Entwurfsmethoden für eingebettete Systeme

Ziele

COMBEST will provide a formal framework for component based design of complex embedded systems. This framework will (1) Enable formal integration of heterogeneous components, such as with different models of communication or execution; (2) Provide complete encapsulation of components both for functional and extrafunctional properties and develop foundations and methods ensuring composability of components; (3) Enable prediction of emergent key system characteristics such as performance and robustness (timing, safety) from such characterizations of its subcomponents; and (4) Provide certificates for guarantees of such key system characteristics when deployed on distributed HW-architectures.

To achieve these objectives, COMBEST will (a) Develop a design theory for complex embedded systems, fully covering heterogeneity, interface specifications, composability, compositionality, and refinement for functional and extra-functional properties; (b) Build on substantial highly recognized background results of the academic partners, partly carried out within the integrated project SPEEDS; (c) Extend results of the Integrated Project SPEEDS, both regarding heterogeneous rich components and compositional analysis methods; (d) 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.

Personen

Wissenschaftliche Leitung

Publikationen
Mapping of Concurrent Object-Oriented Models to Extended Real-Time Task Networks

Bücker, Matthias and Grüttner, Kim and Hartmann, Philipp A. and Stierand, Ingo; System Specification and Design Languages - Selected Contributions from FDL 2010; 001 / 2012

Contract Based Assessment of Safety Critical Systems

Böde, Eckard and Gebhardt, Sebastian and Peikenkamp, Thomas ; 005 / 2010

Mapping of Concurrent Object-Oriented Models to Extended Real-Time Task Networks

Büker, Matthias and Grüttner, Kim and Hartmann, Philipp A. and Stierand Ingo; 009 / 2010

Efficient Model-Checking for Real-Time Task Networks

Dierks, H., Metzner, A., Stierand, I.; 005 / 2009

Testing Real-Time Task Networks with Functional Extensions Using Model-Checking

Büker, Matthias and Metzner Alexander, Stierand, Ingo; 009 / 2009

Partner
EADS Innovation Works
www.eads.com
EPF Lausanne
www.epfl.ch
ETH Zürich
www.ethz.ch
INRIA
www.inria.fr
Israel Aerospace Industries
www.iai.co.il
TU Braunschweig
www.tu-braunschweig.de
Università degli Studi di Trento
www.unitn.it/en

Laufzeit

Start: 01.01.2008
Ende: 31.03.2011