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.
Invito a presentare proposte
Data not availableMeccanismo di finanziamento
IP - Integrated ProjectCoordinatore
75738 PARIS CEDEX 15
Francia
Mostra sulla mappa
Partecipanti (26)
00131 ROMA
Mostra sulla mappa
85521 OTTOBRUNN
Mostra sulla mappa
75116 PARIS 16
Mostra sulla mappa
75794 PARIS CEDEX 16
Mostra sulla mappa
92350 LE PLESSIS ROBINSON
Mostra sulla mappa
75008 PARIS
Mostra sulla mappa
88090 IMMENSTAAD
Mostra sulla mappa
2333CP LEIDEN
Mostra sulla mappa
85521 OTTOBRUNN
Mostra sulla mappa
8092 ZUERICH
Mostra sulla mappa
ELANCOURT
Mostra sulla mappa
48170 ZAMUDIO
Mostra sulla mappa
75634 PARIS 13
Mostra sulla mappa
00144 ROMA
Mostra sulla mappa
75016 PARIS
Mostra sulla mappa
92322 CHATILLON CEDEX
Mostra sulla mappa
118 63 STOCKHOLM
Mostra sulla mappa
SN14 0GB CHIPPENHAM, WILTSHIRE
Mostra sulla mappa
11476 ATHINA
Mostra sulla mappa
36201 PONTEVEDRA - VIGO
Mostra sulla mappa
8520 LYSTRUP
Mostra sulla mappa
31100 TOULOUSE
Mostra sulla mappa
29280 PLOUZANE
Mostra sulla mappa
CW12 1AB CONGLETON
Mostra sulla mappa
28040 MADRID
Mostra sulla mappa
35122 PADOVA (PD)
Mostra sulla mappa