ASSERT : Automated proof based system and software engineering for real-time applications

Project Information

ASSERT

Grant agreement ID: 004033

Project closed

Start date 1 September 2004

End date 31 December 2007

Funded under

• Information Society Technologies: thematic priority under the specific programme "Integrating and strengthening the European research area" (2002-2006).

Total cost € 15 001 870,00

EU contribution € 8 300 000,00

Coordinated by

EUROPEAN SPACE AGENCY
France

Objective

The ASSERT main goal is to improve the system and software development process for critical embedded real-time systems, in the Aerospace and Transportation domains by:
- Identifying and developing proven critical system families architecture, using a proof based development process supported by formal notations, component models, and innovative processes and tools.
- Developing associated building blocks that can be composed, tailored and verified in open frameworks that shall be reused and shared by European teams across multi domain projects.

Challenges addressed by ASSERT are:
- System and software design that are mostly based on empirical approaches (design by trial and error approach)
- Poor co-operation between system and software teams.
- Critical Real Time Embedded Systems (RTES) projects too often restarting from scratch and with no anticipation on future needs.

Solutions that ASSERT will develop are:
- Anticipation of future needs by identifying standardised building blocks and producing reference architecture for system families.
- Definition of a new system and software co-engineering approach based on proof obligations at each development step.
- Improvement of the co-operation and communication between system and SW development teams by using a preferred formalisms such as AADL (Avionic Architecture Description Language)
- A set of standardised and customisable building blocks for transportation applications that will be available in open-source and stored in open repositories managed by space and aeronautic authorities.

Fields of science

• natural sciences › computer and information sciences › software › software development

Programme(s)

• FP6-IST - Information Society Technologies: thematic priority under the specific programme "Integrating and strengthening the European research area" (2002-2006).

Topic(s)

• IST-2002-2.3.2.3 - Open development platforms for software and services

Call for proposal

Data not available

Funding Scheme

IP - Integrated Project

Coordinator

EUROPEAN SPACE AGENCY

• EU contribution: No data
• Address: 8-10, RUE MARIO NIKIS ; 75738 PARIS CEDEX 15 ; France
• Total cost: No data

Participants (26)

ALCATEL ALENIA SPACE ITALIA S.P.A.

Italy

• EU contribution: No data
• Address: VIA SACCOMURO 24 ; 00131 ROMA
• Total cost: No data

ASTRIUM GMBH

Germany

• EU contribution: No data
• Address: WILLY-MESSERSCHMITT-STRASSE - ; 85521 OTTOBRUNN
• Total cost: No data

ASTRIUM SAS

France

• EU contribution: No data
• Address: 6 RUE LAURENT PICHAT ; 75116 PARIS 16
• Total cost: No data

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE

France

• EU contribution: No data
• Address: 3, RUE MICHEL-ANGE ; 75794 PARIS CEDEX 16
• Total cost: No data

CS SYSTEMES D'INFORMATION SA

France

• EU contribution: No data
• Address: 22 AVENUE GALILEE ; 92350 LE PLESSIS ROBINSON
• Total cost: No data

DASSAULT AVIATION SA

France

• EU contribution: No data
• Address: 9 ROND POINT DES CHAMPS ELYSEES ; 75008 PARIS
• Total cost: No data

DR. RAINER GERLICH BSSE BODAN SYSTEM UND SOFTWARE ENGINEERING

Germany

• EU contribution: No data
• Address: AUF DEM RUHBUEHL ; 88090 IMMENSTAAD
• Total cost: No data

DUTCH SPACE BV

Netherlands

• EU contribution: No data
• Address: NEWTONWEG 1 ; 2333CP LEIDEN
• Total cost: No data

EADS DEUTSCHLAND GMBH

Germany

• EU contribution: No data
• Address: WILLY-MESSERSCHMITT-STRASSE ; 85521 OTTOBRUNN
• Total cost: No data

EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH

Switzerland

• EU contribution: No data
• Address: RAEMISTRASSE 101 ; 8092 ZUERICH
• Total cost: No data

ESTEREL TECHNOLOGIES S.A

France

• EU contribution: No data
• Address: 8 RUE BLAISE PASCAL, PARC EUCLIDE ; ELANCOURT
• Total cost: No data

FUNDACION EUROPEAN SOFTWARE INSTITUTE

Spain

• EU contribution: No data
• Address: PARQUE TECNOLOGICO DE ZAMUDIO 204 ; 48170 ZAMUDIO
• Total cost: No data

GROUPE DES ECOLES DES TELECOMMUNICATIONS

France

• EU contribution: No data
• Address: 46, RUE BARRAULT ; 75634 PARIS 13
• Total cost: No data

INTECS S.P.A.

Italy

• EU contribution: No data
• Address: VIALE POGGIO FIORITO, 61 ; 00144 ROMA
• Total cost: No data

MBDA FRANCE

France

• EU contribution: No data
• Address: 37 BOULEVARD DE MONTMORENCY ; 75016 PARIS
• Total cost: No data

OFFICE NATIONAL D'ETUDES ET DE RECHERCHES AEROSPATIALES

France

• EU contribution: No data
• Address: 29, AV. DE LA DIVISION-LECLERC BP 72 ; 92322 CHATILLON CEDEX
• Total cost: No data

PROVER TECHNOLOGY AB

Sweden

• EU contribution: No data
• Address: ROSENLUNDSGATAN 54 ; 118 63 STOCKHOLM
• Total cost: No data

SCISYS (SPACE & DEFENCE) LIMITED

United Kingdom

• EU contribution: No data
• Address: METHUEN PARK ; SN14 0GB CHIPPENHAM, WILTSHIRE
• Total cost: No data

SEMANTIX TECHNOLOGIES PLIROFORIKISTILEPIKOINONION ANONYMOS ETAIREIA

Greece

• EU contribution: No data
• Address: ODOS TSALDARI 62 ; 11476 ATHINA
• Total cost: No data

SOFTWCARE S.L.

Spain

• EU contribution: No data
• Address: PLAZA DE COMPOSTELA 5 ; 36201 PONTEVEDRA - VIGO
• Total cost: No data

TERMA A/S

Denmark

• EU contribution: No data
• Address: HOVMARKEN 4 ; 8520 LYSTRUP
• Total cost: No data

THALES ALENIA SPACE FRANCE

France

• EU contribution: No data
• Address: 26 AVENUE JEAN-FRANCOIS CHAMPOLLION ; 31100 TOULOUSE
• Total cost: No data

TNI

France

• EU contribution: No data
• Address: TECHNOPOLE BREST IROISE, 120 RUE RENE DESCARTES ; 29280 PLOUZANE
• Total cost: No data

TNI EUROPE LIMITED

United Kingdom

• EU contribution: No data
• Address: THE POST HOUSE MILL STREET ; CW12 1AB CONGLETON
• Total cost: No data

UNIVERSIDAD POLITECNICA DE MADRID

Spain

• EU contribution: No data
• Address: AVENIDA RAMIRO DE MAEZTU 7 ; 28040 MADRID
• Total cost: No data

UNIVERSITA DEGLI STUDI DI PADOVA

Italy

• EU contribution: No data
• Address: VIA VIII FEBBRAIO 2 ; 35122 PADOVA (PD)
• Total cost: No data