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

Información del proyecto

ASSERT

Identificador del acuerdo de subvención: 004033

Proyecto cerrado

Fecha de inicio 1 Septiembre 2004

Fecha de finalización 31 Diciembre 2007

Financiado con arreglo a

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

Coste total € 15 001 870,00

Aportación de la UE € 8 300 000,00

Coordinado por

EUROPEAN SPACE AGENCY
France

Objetivo

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.

Ámbito científico

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

Programa(s)

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

Tema(s)

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

Convocatoria de propuestas

Data not available

Régimen de financiación

IP - Integrated Project

Coordinador

EUROPEAN SPACE AGENCY

• Aportación de la UE: Sin datos
• Dirección: 8-10, RUE MARIO NIKIS ; 75738 PARIS CEDEX 15 ; Francia
• Coste total: Sin datos

Participantes (26)

ALCATEL ALENIA SPACE ITALIA S.P.A.

Italia

• Aportación de la UE: Sin datos
• Dirección: VIA SACCOMURO 24 ; 00131 ROMA
• Coste total: Sin datos

ASTRIUM GMBH

Alemania

• Aportación de la UE: Sin datos
• Dirección: WILLY-MESSERSCHMITT-STRASSE - ; 85521 OTTOBRUNN
• Coste total: Sin datos

ASTRIUM SAS

Francia

• Aportación de la UE: Sin datos
• Dirección: 6 RUE LAURENT PICHAT ; 75116 PARIS 16
• Coste total: Sin datos

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE

Francia

• Aportación de la UE: Sin datos
• Dirección: 3, RUE MICHEL-ANGE ; 75794 PARIS CEDEX 16
• Coste total: Sin datos

CS SYSTEMES D'INFORMATION SA

Francia

• Aportación de la UE: Sin datos
• Dirección: 22 AVENUE GALILEE ; 92350 LE PLESSIS ROBINSON
• Coste total: Sin datos

DASSAULT AVIATION SA

Francia

• Aportación de la UE: Sin datos
• Dirección: 9 ROND POINT DES CHAMPS ELYSEES ; 75008 PARIS
• Coste total: Sin datos

DR. RAINER GERLICH BSSE BODAN SYSTEM UND SOFTWARE ENGINEERING

Alemania

• Aportación de la UE: Sin datos
• Dirección: AUF DEM RUHBUEHL ; 88090 IMMENSTAAD
• Coste total: Sin datos

DUTCH SPACE BV

Países Bajos

• Aportación de la UE: Sin datos
• Dirección: NEWTONWEG 1 ; 2333CP LEIDEN
• Coste total: Sin datos

EADS DEUTSCHLAND GMBH

Alemania

• Aportación de la UE: Sin datos
• Dirección: WILLY-MESSERSCHMITT-STRASSE ; 85521 OTTOBRUNN
• Coste total: Sin datos

EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH

Suiza

• Aportación de la UE: Sin datos
• Dirección: RAEMISTRASSE 101 ; 8092 ZUERICH
• Coste total: Sin datos

ESTEREL TECHNOLOGIES S.A

Francia

• Aportación de la UE: Sin datos
• Dirección: 8 RUE BLAISE PASCAL, PARC EUCLIDE ; ELANCOURT
• Coste total: Sin datos

FUNDACION EUROPEAN SOFTWARE INSTITUTE

España

• Aportación de la UE: Sin datos
• Dirección: PARQUE TECNOLOGICO DE ZAMUDIO 204 ; 48170 ZAMUDIO
• Coste total: Sin datos

GROUPE DES ECOLES DES TELECOMMUNICATIONS

Francia

• Aportación de la UE: Sin datos
• Dirección: 46, RUE BARRAULT ; 75634 PARIS 13
• Coste total: Sin datos

INTECS S.P.A.

Italia

• Aportación de la UE: Sin datos
• Dirección: VIALE POGGIO FIORITO, 61 ; 00144 ROMA
• Coste total: Sin datos

MBDA FRANCE

Francia

• Aportación de la UE: Sin datos
• Dirección: 37 BOULEVARD DE MONTMORENCY ; 75016 PARIS
• Coste total: Sin datos

OFFICE NATIONAL D'ETUDES ET DE RECHERCHES AEROSPATIALES

Francia

• Aportación de la UE: Sin datos
• Dirección: 29, AV. DE LA DIVISION-LECLERC BP 72 ; 92322 CHATILLON CEDEX
• Coste total: Sin datos

PROVER TECHNOLOGY AB

Suecia

• Aportación de la UE: Sin datos
• Dirección: ROSENLUNDSGATAN 54 ; 118 63 STOCKHOLM
• Coste total: Sin datos

SCISYS (SPACE & DEFENCE) LIMITED

Reino Unido

• Aportación de la UE: Sin datos
• Dirección: METHUEN PARK ; SN14 0GB CHIPPENHAM, WILTSHIRE
• Coste total: Sin datos

SEMANTIX TECHNOLOGIES PLIROFORIKISTILEPIKOINONION ANONYMOS ETAIREIA

Grecia

• Aportación de la UE: Sin datos
• Dirección: ODOS TSALDARI 62 ; 11476 ATHINA
• Coste total: Sin datos

SOFTWCARE S.L.

España

• Aportación de la UE: Sin datos
• Dirección: PLAZA DE COMPOSTELA 5 ; 36201 PONTEVEDRA - VIGO
• Coste total: Sin datos

TERMA A/S

Dinamarca

• Aportación de la UE: Sin datos
• Dirección: HOVMARKEN 4 ; 8520 LYSTRUP
• Coste total: Sin datos

THALES ALENIA SPACE FRANCE

Francia

• Aportación de la UE: Sin datos
• Dirección: 26 AVENUE JEAN-FRANCOIS CHAMPOLLION ; 31100 TOULOUSE
• Coste total: Sin datos

TNI

Francia

• Aportación de la UE: Sin datos
• Dirección: TECHNOPOLE BREST IROISE, 120 RUE RENE DESCARTES ; 29280 PLOUZANE
• Coste total: Sin datos

TNI EUROPE LIMITED

Reino Unido

• Aportación de la UE: Sin datos
• Dirección: THE POST HOUSE MILL STREET ; CW12 1AB CONGLETON
• Coste total: Sin datos

UNIVERSIDAD POLITECNICA DE MADRID

España

• Aportación de la UE: Sin datos
• Dirección: AVENIDA RAMIRO DE MAEZTU 7 ; 28040 MADRID
• Coste total: Sin datos

UNIVERSITA DEGLI STUDI DI PADOVA

Italia

• Aportación de la UE: Sin datos
• Dirección: VIA VIII FEBBRAIO 2 ; 35122 PADOVA (PD)
• Coste total: Sin datos