CORDIS
EU research results

CORDIS

English EN

Speculative and exploratory design in systems engineering

Project information

Grant agreement ID: 033471

  • Start date

    1 May 2006

  • End date

    30 April 2010

Funded under:

FP6-IST

  • Overall budget:

    € 15 958 812

  • EU contribution

    € 9 049 685

Coordinated by:

AIRBUS DEUTSCHLAND GMBH

Germany

Objective

SPEEDS is a concerted effort to define the new generation of end-to-end methodologies, processes and supporting tools for safety-critical embedded system design. They will enable European systems industry to evolve from model-based design of hardware/software systems, towards integrated component based construction of complete virtual system models.

SPEEDS aims at improving substantially the competitiveness of the European industry in this critical economic sector by marrying design competence with deep technical insights and theoretical foundations. SPEEDS partners are companies active in the entire supply chain: OEMs, suppliers, and tool vendors, supported by leading European research institutions.

The technical pillars of the SPEEDS approach are:
A semantics-based modeling method to:
Support the construction of complex embedded systems by composing heterogeneous subsystems.
Enable sound integration of new and existing tools.
This modeling approach defines "rich-component" models to represent both functional and non-functional aspects so that efficient implementations can be derived from abstract models.
Novel formal analysis tools and techniques to assess precisely properties of the system that will allow to explore architectural alternatives of implementation platforms and enable correct-by-construction designs. Compositionality and abstractions will make this approach scalable for large systems.
A new tool-supported process ,Controlled Speculative Design, minimizing the risk of concurrent design activities by establishing formal "contracts" between inter- and intra-company design groups.

SPEEDS targets a 60% reduction of development costs and a 40% reduction of development time for safety-critical embedded systems. Specifically, SPEEDS aims at:
boosting re-use by 70%
reducing integration time by 40%
reducing change processing time by 50%
cutting down the number of significant design iterations by 60%.

Coordinator

AIRBUS DEUTSCHLAND GMBH

Address

Kreetslag 10
21129 Hamburg

Germany

Participants (17)

AIRBUS FRANCE SAS

France

CARMEQ GMBH

Germany

EADS DEUTSCHLAND GMBH

Germany

ENGINEERING CENTER STEYR GMBH & CO KG

Austria

ESTEREL TECHNOLOGIES SA

France

EXTESSY AG

Germany

GEENSYS SAS

France

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

France

ISRAEL AEROSPACE INDUSTRIES LIMITED

Israel

KNORR-BREMSE FEKRENDSZEREK KFT

Hungary

OFFIS EV

Germany

PROJECT ON ADVANCED RESEARCH OF ARCHITECTURE AND DESIGN OF ELECTRONIC SYSTEM - GRUPPO EUROPEO DI INTERESSE ECONOMICO

Italy

ROBERT BOSCH GMBH

Germany

SAAB AKTIEBOLAG

Sweden

SODIUS

France

TELELOGIC I-LOGIX ISRAEL LTD

Israel

UNIVERSITE JOSEPH FOURIER GRENOBLE 1

France

Project information

Grant agreement ID: 033471

  • Start date

    1 May 2006

  • End date

    30 April 2010

Funded under:

FP6-IST

  • Overall budget:

    € 15 958 812

  • EU contribution

    € 9 049 685

Coordinated by:

AIRBUS DEUTSCHLAND GMBH

Germany