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.

Call for proposal

Data not available

Coordinator

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

See on map

Links

Participants (26)

ALCATEL ALENIA SPACE ITALIA S.P.A.
Italy
Address
Via Saccomuro 24
00131 Roma

See on map

Links
ASTRIUM GMBH
Germany
Address
Willy-messerschmitt-strasse -
85521 Ottobrunn

See on map

Links
ASTRIUM SAS
France
Address
6 Rue Laurent Pichat
75116 Paris 16

See on map

Links
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE
France
Address
3, Rue Michel-ange
75794 Paris Cedex 16

See on map

Links
CS SYSTEMES D'INFORMATION SA
France
Address
22 Avenue Galilee
92350 Le Plessis Robinson

See on map

Links
DASSAULT AVIATION SA
France
Address
9 Rond Point Des Champs Elysees
75008 Paris

See on map

Links
DR. RAINER GERLICH BSSE BODAN SYSTEM UND SOFTWARE ENGINEERING
Germany
Address
Auf Dem Ruhbuehl
88090 Immenstaad

See on map

Links
DUTCH SPACE BV
Netherlands
Address
Newtonweg 1
2333CP Leiden

See on map

Links
EADS DEUTSCHLAND GMBH
Germany
Address
Willy-messerschmitt-strasse
85521 Ottobrunn

See on map

Links
EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH
Switzerland
Address
Raemistrasse 101
8092 Zuerich

See on map

Links
ESTEREL TECHNOLOGIES S.A
France
Address
8 Rue Blaise Pascal, Parc Euclide
Elancourt

See on map

FUNDACION EUROPEAN SOFTWARE INSTITUTE
Spain
Address
Parque Tecnologico De Zamudio 204
48170 Zamudio

See on map

Links
GROUPE DES ECOLES DES TELECOMMUNICATIONS
France
Address
46, Rue Barrault
75634 Paris 13

See on map

Links
INTECS S.P.A.
Italy
Address
Viale Poggio Fiorito, 61
00144 Roma

See on map

Links
MBDA FRANCE
France
Address
37 Boulevard De Montmorency
75016 Paris

See on map

Links
OFFICE NATIONAL D'ETUDES ET DE RECHERCHES AEROSPATIALES
France
Address
29, Av. De La Division-leclerc Bp 72
92322 Chatillon Cedex

See on map

Links
PROVER TECHNOLOGY AB
Sweden
Address
Rosenlundsgatan 54
118 63 Stockholm

See on map

Links
SCISYS (SPACE & DEFENCE) LIMITED
United Kingdom
Address
Methuen Park
SN14 0GB Chippenham, Wiltshire

See on map

Links
SEMANTIX TECHNOLOGIES PLIROFORIKISTILEPIKOINONION ANONYMOS ETAIREIA
Greece
Address
Odos Tsaldari 62
11476 Athina

See on map

Links
SOFTWCARE S.L.
Spain
Address
Plaza De Compostela 5
36201 Pontevedra - Vigo

See on map

Links
TERMA A/S
Denmark
Address
Hovmarken 4
8520 Lystrup

See on map

Links
THALES ALENIA SPACE FRANCE
France
Address
26 Avenue Jean-francois Champollion
31100 Toulouse

See on map

Links
TNI
France
Address
Technopole Brest Iroise, 120 Rue Rene Descartes
29280 Plouzane

See on map

Links
TNI EUROPE LIMITED
United Kingdom
Address
The Post House Mill Street
CW12 1AB Congleton

See on map

Links
UNIVERSIDAD POLITECNICA DE MADRID
Spain
Address
Avenida Ramiro De Maeztu 7
28040 Madrid

See on map

Links
UNIVERSITA DEGLI STUDI DI PADOVA
Italy
Address
Via Viii Febbraio 2
35122 Padova (Pd)

See on map

Links