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

Informazioni relative al progetto

ASSERT

ID dell’accordo di sovvenzione: 004033

Progetto chiuso

Data di avvio 1 Settembre 2004

Data di completamento 31 Dicembre 2007

Finanziato da

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

Costo totale € 15 001 870,00

Contributo UE € 8 300 000,00

Coordinato da

EUROPEAN SPACE AGENCY
France

Obiettivo

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.

Campo scientifico

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

Programma(i)

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

Argomento(i)

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

Invito a presentare proposte

Data not available

Meccanismo di finanziamento

IP - Integrated Project

Coordinatore

EUROPEAN SPACE AGENCY

• Contributo UE: Nessun dato
• Indirizzo: 8-10, RUE MARIO NIKIS ; 75738 PARIS CEDEX 15 ; Francia
• Costo totale: Nessun dato

Partecipanti (26)

ALCATEL ALENIA SPACE ITALIA S.P.A.

Italia

• Contributo UE: Nessun dato
• Indirizzo: VIA SACCOMURO 24 ; 00131 ROMA
• Costo totale: Nessun dato

ASTRIUM GMBH

Germania

• Contributo UE: Nessun dato
• Indirizzo: WILLY-MESSERSCHMITT-STRASSE - ; 85521 OTTOBRUNN
• Costo totale: Nessun dato

ASTRIUM SAS

Francia

• Contributo UE: Nessun dato
• Indirizzo: 6 RUE LAURENT PICHAT ; 75116 PARIS 16
• Costo totale: Nessun dato

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE

Francia

• Contributo UE: Nessun dato
• Indirizzo: 3, RUE MICHEL-ANGE ; 75794 PARIS CEDEX 16
• Costo totale: Nessun dato

CS SYSTEMES D'INFORMATION SA

Francia

• Contributo UE: Nessun dato
• Indirizzo: 22 AVENUE GALILEE ; 92350 LE PLESSIS ROBINSON
• Costo totale: Nessun dato

DASSAULT AVIATION SA

Francia

• Contributo UE: Nessun dato
• Indirizzo: 9 ROND POINT DES CHAMPS ELYSEES ; 75008 PARIS
• Costo totale: Nessun dato

DR. RAINER GERLICH BSSE BODAN SYSTEM UND SOFTWARE ENGINEERING

Germania

• Contributo UE: Nessun dato
• Indirizzo: AUF DEM RUHBUEHL ; 88090 IMMENSTAAD
• Costo totale: Nessun dato

DUTCH SPACE BV

Paesi Bassi

• Contributo UE: Nessun dato
• Indirizzo: NEWTONWEG 1 ; 2333CP LEIDEN
• Costo totale: Nessun dato

EADS DEUTSCHLAND GMBH

Germania

• Contributo UE: Nessun dato
• Indirizzo: WILLY-MESSERSCHMITT-STRASSE ; 85521 OTTOBRUNN
• Costo totale: Nessun dato

EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH

Svizzera

• Contributo UE: Nessun dato
• Indirizzo: RAEMISTRASSE 101 ; 8092 ZUERICH
• Costo totale: Nessun dato

ESTEREL TECHNOLOGIES S.A

Francia

• Contributo UE: Nessun dato
• Indirizzo: 8 RUE BLAISE PASCAL, PARC EUCLIDE ; ELANCOURT
• Costo totale: Nessun dato

FUNDACION EUROPEAN SOFTWARE INSTITUTE

Spagna

• Contributo UE: Nessun dato
• Indirizzo: PARQUE TECNOLOGICO DE ZAMUDIO 204 ; 48170 ZAMUDIO
• Costo totale: Nessun dato

GROUPE DES ECOLES DES TELECOMMUNICATIONS

Francia

• Contributo UE: Nessun dato
• Indirizzo: 46, RUE BARRAULT ; 75634 PARIS 13
• Costo totale: Nessun dato

INTECS S.P.A.

Italia

• Contributo UE: Nessun dato
• Indirizzo: VIALE POGGIO FIORITO, 61 ; 00144 ROMA
• Costo totale: Nessun dato

MBDA FRANCE

Francia

• Contributo UE: Nessun dato
• Indirizzo: 37 BOULEVARD DE MONTMORENCY ; 75016 PARIS
• Costo totale: Nessun dato

OFFICE NATIONAL D'ETUDES ET DE RECHERCHES AEROSPATIALES

Francia

• Contributo UE: Nessun dato
• Indirizzo: 29, AV. DE LA DIVISION-LECLERC BP 72 ; 92322 CHATILLON CEDEX
• Costo totale: Nessun dato

PROVER TECHNOLOGY AB

Svezia

• Contributo UE: Nessun dato
• Indirizzo: ROSENLUNDSGATAN 54 ; 118 63 STOCKHOLM
• Costo totale: Nessun dato

SCISYS (SPACE & DEFENCE) LIMITED

Regno Unito

• Contributo UE: Nessun dato
• Indirizzo: METHUEN PARK ; SN14 0GB CHIPPENHAM, WILTSHIRE
• Costo totale: Nessun dato

SEMANTIX TECHNOLOGIES PLIROFORIKISTILEPIKOINONION ANONYMOS ETAIREIA

Grecia

• Contributo UE: Nessun dato
• Indirizzo: ODOS TSALDARI 62 ; 11476 ATHINA
• Costo totale: Nessun dato

SOFTWCARE S.L.

Spagna

• Contributo UE: Nessun dato
• Indirizzo: PLAZA DE COMPOSTELA 5 ; 36201 PONTEVEDRA - VIGO
• Costo totale: Nessun dato

TERMA A/S

Danimarca

• Contributo UE: Nessun dato
• Indirizzo: HOVMARKEN 4 ; 8520 LYSTRUP
• Costo totale: Nessun dato

THALES ALENIA SPACE FRANCE

Francia

• Contributo UE: Nessun dato
• Indirizzo: 26 AVENUE JEAN-FRANCOIS CHAMPOLLION ; 31100 TOULOUSE
• Costo totale: Nessun dato

TNI

Francia

• Contributo UE: Nessun dato
• Indirizzo: TECHNOPOLE BREST IROISE, 120 RUE RENE DESCARTES ; 29280 PLOUZANE
• Costo totale: Nessun dato

TNI EUROPE LIMITED

Regno Unito

• Contributo UE: Nessun dato
• Indirizzo: THE POST HOUSE MILL STREET ; CW12 1AB CONGLETON
• Costo totale: Nessun dato

UNIVERSIDAD POLITECNICA DE MADRID

Spagna

• Contributo UE: Nessun dato
• Indirizzo: AVENIDA RAMIRO DE MAEZTU 7 ; 28040 MADRID
• Costo totale: Nessun dato

UNIVERSITA DEGLI STUDI DI PADOVA

Italia

• Contributo UE: Nessun dato
• Indirizzo: VIA VIII FEBBRAIO 2 ; 35122 PADOVA (PD)
• Costo totale: Nessun dato