The SPEEDS project aims at significant improvements of the competitiveness of the European industry in the sector of embedded systems by means of enhancing model-based systems engineering with

• Semantics-based modelling to
• Support the design of complex embedded systems using heterogeneous sub-system models, and
• Enable sound integration of existing and new tools.
• Novel formal analysis tools and techniques that will allow to explore architectural implementation alternatives and “first-time-right” design using the “design-by-contract” paradigm.
• A new tools-supported design process, the “Controlled Speculative Design”, that will minimize the risks of concurrent design activities, by providing a trustworthy development environment through the definition of formal contracts between design groups.

The core technological concepts achieving these results are described further on.