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

Projektinformationen

ASSERT

ID Finanzhilfevereinbarung: 004033

Projekt abgeschlossen

Startdatum 1 September 2004

Enddatum 31 Dezember 2007

Finanziert unter

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

Gesamtkosten € 15 001 870,00

EU-Beitrag € 8 300 000,00

Koordiniert durch

EUROPEAN SPACE AGENCY
France

Ziel

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.

Wissenschaftliches Gebiet

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

Programm/Programme

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

Thema/Themen

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

Aufforderung zur Vorschlagseinreichung

Data not available

Finanzierungsplan

IP - Integrated Project

Koordinator

EUROPEAN SPACE AGENCY

• EU-Beitrag: Keine Daten
• Adresse: 8-10, RUE MARIO NIKIS ; 75738 PARIS CEDEX 15 ; Frankreich
• Gesamtkosten: Keine Daten

Beteiligte (26)

ALCATEL ALENIA SPACE ITALIA S.P.A.

Italien

• EU-Beitrag: Keine Daten
• Adresse: VIA SACCOMURO 24 ; 00131 ROMA
• Gesamtkosten: Keine Daten

ASTRIUM GMBH

Deutschland

• EU-Beitrag: Keine Daten
• Adresse: WILLY-MESSERSCHMITT-STRASSE - ; 85521 OTTOBRUNN
• Gesamtkosten: Keine Daten

ASTRIUM SAS

Frankreich

• EU-Beitrag: Keine Daten
• Adresse: 6 RUE LAURENT PICHAT ; 75116 PARIS 16
• Gesamtkosten: Keine Daten

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE

Frankreich

• EU-Beitrag: Keine Daten
• Adresse: 3, RUE MICHEL-ANGE ; 75794 PARIS CEDEX 16
• Gesamtkosten: Keine Daten

CS SYSTEMES D'INFORMATION SA

Frankreich

• EU-Beitrag: Keine Daten
• Adresse: 22 AVENUE GALILEE ; 92350 LE PLESSIS ROBINSON
• Gesamtkosten: Keine Daten

DASSAULT AVIATION SA

Frankreich

• EU-Beitrag: Keine Daten
• Adresse: 9 ROND POINT DES CHAMPS ELYSEES ; 75008 PARIS
• Gesamtkosten: Keine Daten

DR. RAINER GERLICH BSSE BODAN SYSTEM UND SOFTWARE ENGINEERING

Deutschland

• EU-Beitrag: Keine Daten
• Adresse: AUF DEM RUHBUEHL ; 88090 IMMENSTAAD
• Gesamtkosten: Keine Daten

DUTCH SPACE BV

Niederlande

• EU-Beitrag: Keine Daten
• Adresse: NEWTONWEG 1 ; 2333CP LEIDEN
• Gesamtkosten: Keine Daten

EADS DEUTSCHLAND GMBH

Deutschland

• EU-Beitrag: Keine Daten
• Adresse: WILLY-MESSERSCHMITT-STRASSE ; 85521 OTTOBRUNN
• Gesamtkosten: Keine Daten

EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH

Schweiz

• EU-Beitrag: Keine Daten
• Adresse: RAEMISTRASSE 101 ; 8092 ZUERICH
• Gesamtkosten: Keine Daten

ESTEREL TECHNOLOGIES S.A

Frankreich

• EU-Beitrag: Keine Daten
• Adresse: 8 RUE BLAISE PASCAL, PARC EUCLIDE ; ELANCOURT
• Gesamtkosten: Keine Daten

FUNDACION EUROPEAN SOFTWARE INSTITUTE

Spanien

• EU-Beitrag: Keine Daten
• Adresse: PARQUE TECNOLOGICO DE ZAMUDIO 204 ; 48170 ZAMUDIO
• Gesamtkosten: Keine Daten

GROUPE DES ECOLES DES TELECOMMUNICATIONS

Frankreich

• EU-Beitrag: Keine Daten
• Adresse: 46, RUE BARRAULT ; 75634 PARIS 13
• Gesamtkosten: Keine Daten

INTECS S.P.A.

Italien

• EU-Beitrag: Keine Daten
• Adresse: VIALE POGGIO FIORITO, 61 ; 00144 ROMA
• Gesamtkosten: Keine Daten

MBDA FRANCE

Frankreich

• EU-Beitrag: Keine Daten
• Adresse: 37 BOULEVARD DE MONTMORENCY ; 75016 PARIS
• Gesamtkosten: Keine Daten

OFFICE NATIONAL D'ETUDES ET DE RECHERCHES AEROSPATIALES

Frankreich

• EU-Beitrag: Keine Daten
• Adresse: 29, AV. DE LA DIVISION-LECLERC BP 72 ; 92322 CHATILLON CEDEX
• Gesamtkosten: Keine Daten

PROVER TECHNOLOGY AB

Schweden

• EU-Beitrag: Keine Daten
• Adresse: ROSENLUNDSGATAN 54 ; 118 63 STOCKHOLM
• Gesamtkosten: Keine Daten

SCISYS (SPACE & DEFENCE) LIMITED

Vereinigtes Königreich

• EU-Beitrag: Keine Daten
• Adresse: METHUEN PARK ; SN14 0GB CHIPPENHAM, WILTSHIRE
• Gesamtkosten: Keine Daten

SEMANTIX TECHNOLOGIES PLIROFORIKISTILEPIKOINONION ANONYMOS ETAIREIA

Griechenland

• EU-Beitrag: Keine Daten
• Adresse: ODOS TSALDARI 62 ; 11476 ATHINA
• Gesamtkosten: Keine Daten

SOFTWCARE S.L.

Spanien

• EU-Beitrag: Keine Daten
• Adresse: PLAZA DE COMPOSTELA 5 ; 36201 PONTEVEDRA - VIGO
• Gesamtkosten: Keine Daten

TERMA A/S

Dänemark

• EU-Beitrag: Keine Daten
• Adresse: HOVMARKEN 4 ; 8520 LYSTRUP
• Gesamtkosten: Keine Daten

THALES ALENIA SPACE FRANCE

Frankreich

• EU-Beitrag: Keine Daten
• Adresse: 26 AVENUE JEAN-FRANCOIS CHAMPOLLION ; 31100 TOULOUSE
• Gesamtkosten: Keine Daten

TNI

Frankreich

• EU-Beitrag: Keine Daten
• Adresse: TECHNOPOLE BREST IROISE, 120 RUE RENE DESCARTES ; 29280 PLOUZANE
• Gesamtkosten: Keine Daten

TNI EUROPE LIMITED

Vereinigtes Königreich

• EU-Beitrag: Keine Daten
• Adresse: THE POST HOUSE MILL STREET ; CW12 1AB CONGLETON
• Gesamtkosten: Keine Daten

UNIVERSIDAD POLITECNICA DE MADRID

Spanien

• EU-Beitrag: Keine Daten
• Adresse: AVENIDA RAMIRO DE MAEZTU 7 ; 28040 MADRID
• Gesamtkosten: Keine Daten

UNIVERSITA DEGLI STUDI DI PADOVA

Italien

• EU-Beitrag: Keine Daten
• Adresse: VIA VIII FEBBRAIO 2 ; 35122 PADOVA (PD)
• Gesamtkosten: Keine Daten