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

Informations projet

ASSERT

N° de convention de subvention: 004033

Projet clôturé

Date de début 1 Septembre 2004

Date de fin 31 Decembre 2007

Financé au titre de

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

Coût total € 15 001 870,00

Contribution de l’UE € 8 300 000,00

Coordonné par

EUROPEAN SPACE AGENCY
France

Objectif

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.

Champ scientifique

• 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).

Thème(s)

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

Appel à propositions

Data not available

Régime de financement

IP - Integrated Project

Coordinateur

EUROPEAN SPACE AGENCY

• Contribution de l’UE: Aucune donnée
• Adresse: 8-10, RUE MARIO NIKIS ; 75738 PARIS CEDEX 15 ; France
• Coût total: Aucune donnée

Participants (26)

ALCATEL ALENIA SPACE ITALIA S.P.A.

Italie

• Contribution de l’UE: Aucune donnée
• Adresse: VIA SACCOMURO 24 ; 00131 ROMA
• Coût total: Aucune donnée

ASTRIUM GMBH

Allemagne

• Contribution de l’UE: Aucune donnée
• Adresse: WILLY-MESSERSCHMITT-STRASSE - ; 85521 OTTOBRUNN
• Coût total: Aucune donnée

ASTRIUM SAS

France

• Contribution de l’UE: Aucune donnée
• Adresse: 6 RUE LAURENT PICHAT ; 75116 PARIS 16
• Coût total: Aucune donnée

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE

France

• Contribution de l’UE: Aucune donnée
• Adresse: 3, RUE MICHEL-ANGE ; 75794 PARIS CEDEX 16
• Coût total: Aucune donnée

CS SYSTEMES D'INFORMATION SA

France

• Contribution de l’UE: Aucune donnée
• Adresse: 22 AVENUE GALILEE ; 92350 LE PLESSIS ROBINSON
• Coût total: Aucune donnée

DASSAULT AVIATION SA

France

• Contribution de l’UE: Aucune donnée
• Adresse: 9 ROND POINT DES CHAMPS ELYSEES ; 75008 PARIS
• Coût total: Aucune donnée

DR. RAINER GERLICH BSSE BODAN SYSTEM UND SOFTWARE ENGINEERING

Allemagne

• Contribution de l’UE: Aucune donnée
• Adresse: AUF DEM RUHBUEHL ; 88090 IMMENSTAAD
• Coût total: Aucune donnée

DUTCH SPACE BV

Pays-Bas

• Contribution de l’UE: Aucune donnée
• Adresse: NEWTONWEG 1 ; 2333CP LEIDEN
• Coût total: Aucune donnée

EADS DEUTSCHLAND GMBH

Allemagne

• Contribution de l’UE: Aucune donnée
• Adresse: WILLY-MESSERSCHMITT-STRASSE ; 85521 OTTOBRUNN
• Coût total: Aucune donnée

EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH

Suisse

• Contribution de l’UE: Aucune donnée
• Adresse: RAEMISTRASSE 101 ; 8092 ZUERICH
• Coût total: Aucune donnée

ESTEREL TECHNOLOGIES S.A

France

• Contribution de l’UE: Aucune donnée
• Adresse: 8 RUE BLAISE PASCAL, PARC EUCLIDE ; ELANCOURT
• Coût total: Aucune donnée

FUNDACION EUROPEAN SOFTWARE INSTITUTE

Espagne

• Contribution de l’UE: Aucune donnée
• Adresse: PARQUE TECNOLOGICO DE ZAMUDIO 204 ; 48170 ZAMUDIO
• Coût total: Aucune donnée

GROUPE DES ECOLES DES TELECOMMUNICATIONS

France

• Contribution de l’UE: Aucune donnée
• Adresse: 46, RUE BARRAULT ; 75634 PARIS 13
• Coût total: Aucune donnée

INTECS S.P.A.

Italie

• Contribution de l’UE: Aucune donnée
• Adresse: VIALE POGGIO FIORITO, 61 ; 00144 ROMA
• Coût total: Aucune donnée

MBDA FRANCE

France

• Contribution de l’UE: Aucune donnée
• Adresse: 37 BOULEVARD DE MONTMORENCY ; 75016 PARIS
• Coût total: Aucune donnée

OFFICE NATIONAL D'ETUDES ET DE RECHERCHES AEROSPATIALES

France

• Contribution de l’UE: Aucune donnée
• Adresse: 29, AV. DE LA DIVISION-LECLERC BP 72 ; 92322 CHATILLON CEDEX
• Coût total: Aucune donnée

PROVER TECHNOLOGY AB

Suède

• Contribution de l’UE: Aucune donnée
• Adresse: ROSENLUNDSGATAN 54 ; 118 63 STOCKHOLM
• Coût total: Aucune donnée

SCISYS (SPACE & DEFENCE) LIMITED

Royaume-Uni

• Contribution de l’UE: Aucune donnée
• Adresse: METHUEN PARK ; SN14 0GB CHIPPENHAM, WILTSHIRE
• Coût total: Aucune donnée

SEMANTIX TECHNOLOGIES PLIROFORIKISTILEPIKOINONION ANONYMOS ETAIREIA

Grèce

• Contribution de l’UE: Aucune donnée
• Adresse: ODOS TSALDARI 62 ; 11476 ATHINA
• Coût total: Aucune donnée

SOFTWCARE S.L.

Espagne

• Contribution de l’UE: Aucune donnée
• Adresse: PLAZA DE COMPOSTELA 5 ; 36201 PONTEVEDRA - VIGO
• Coût total: Aucune donnée

TERMA A/S

Danemark

• Contribution de l’UE: Aucune donnée
• Adresse: HOVMARKEN 4 ; 8520 LYSTRUP
• Coût total: Aucune donnée

THALES ALENIA SPACE FRANCE

France

• Contribution de l’UE: Aucune donnée
• Adresse: 26 AVENUE JEAN-FRANCOIS CHAMPOLLION ; 31100 TOULOUSE
• Coût total: Aucune donnée

TNI

France

• Contribution de l’UE: Aucune donnée
• Adresse: TECHNOPOLE BREST IROISE, 120 RUE RENE DESCARTES ; 29280 PLOUZANE
• Coût total: Aucune donnée

TNI EUROPE LIMITED

Royaume-Uni

• Contribution de l’UE: Aucune donnée
• Adresse: THE POST HOUSE MILL STREET ; CW12 1AB CONGLETON
• Coût total: Aucune donnée

UNIVERSIDAD POLITECNICA DE MADRID

Espagne

• Contribution de l’UE: Aucune donnée
• Adresse: AVENIDA RAMIRO DE MAEZTU 7 ; 28040 MADRID
• Coût total: Aucune donnée

UNIVERSITA DEGLI STUDI DI PADOVA

Italie

• Contribution de l’UE: Aucune donnée
• Adresse: VIA VIII FEBBRAIO 2 ; 35122 PADOVA (PD)
• Coût total: Aucune donnée