Skip to main content

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

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.

Funding Scheme

IP - Integrated Project

Coordinator

EUROPEAN SPACE AGENCY
Address
8-10, Rue Mario Nikis
75738 Paris Cedex 15
France

Participants (26)

ALCATEL ALENIA SPACE ITALIA S.P.A.
Italy
Address
Via Saccomuro 24
00131 Roma
ASTRIUM GMBH
Germany
Address
Willy-messerschmitt-strasse -
85521 Ottobrunn
ASTRIUM SAS
France
Address
6 Rue Laurent Pichat
75116 Paris 16
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE
France
Address
3, Rue Michel-ange
75794 Paris Cedex 16
CS SYSTEMES D'INFORMATION SA
France
Address
22 Avenue Galilee
92350 Le Plessis Robinson
DASSAULT AVIATION SA
France
Address
9 Rond Point Des Champs Elysees
75008 Paris
DR. RAINER GERLICH BSSE BODAN SYSTEM UND SOFTWARE ENGINEERING
Germany
Address
Auf Dem Ruhbuehl
88090 Immenstaad
DUTCH SPACE BV
Netherlands
Address
Newtonweg 1
2333CP Leiden
EADS DEUTSCHLAND GMBH
Germany
Address
Willy-messerschmitt-strasse
85521 Ottobrunn
EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH
Switzerland
Address
Raemistrasse 101
8092 Zuerich
ESTEREL TECHNOLOGIES S.A
France
Address
8 Rue Blaise Pascal, Parc Euclide
Elancourt
FUNDACION EUROPEAN SOFTWARE INSTITUTE
Spain
Address
Parque Tecnologico De Zamudio 204
48170 Zamudio
GROUPE DES ECOLES DES TELECOMMUNICATIONS
France
Address
46, Rue Barrault
75634 Paris 13
INTECS S.P.A.
Italy
Address
Viale Poggio Fiorito, 61
00144 Roma
MBDA FRANCE
France
Address
37 Boulevard De Montmorency
75016 Paris
OFFICE NATIONAL D'ETUDES ET DE RECHERCHES AEROSPATIALES
France
Address
29, Av. De La Division-leclerc Bp 72
92322 Chatillon Cedex
PROVER TECHNOLOGY AB
Sweden
Address
Rosenlundsgatan 54
118 63 Stockholm
SCISYS (SPACE & DEFENCE) LIMITED
United Kingdom
Address
Methuen Park
SN14 0GB Chippenham, Wiltshire
SEMANTIX TECHNOLOGIES PLIROFORIKISTILEPIKOINONION ANONYMOS ETAIREIA
Greece
Address
Odos Tsaldari 62
11476 Athina
SOFTWCARE S.L.
Spain
Address
Plaza De Compostela 5
36201 Pontevedra - Vigo
TERMA A/S
Denmark
Address
Hovmarken 4
8520 Lystrup
THALES ALENIA SPACE FRANCE
France
Address
26 Avenue Jean-francois Champollion
31100 Toulouse
TNI
France
Address
Technopole Brest Iroise, 120 Rue Rene Descartes
29280 Plouzane
TNI EUROPE LIMITED
United Kingdom
Address
The Post House Mill Street
CW12 1AB Congleton
UNIVERSIDAD POLITECNICA DE MADRID
Spain
Address
Avenida Ramiro De Maeztu 7
28040 Madrid
UNIVERSITA DEGLI STUDI DI PADOVA
Italy
Address
Via Viii Febbraio 2
35122 Padova (Pd)