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
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural.
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural.
Convocatoria de propuestas
Data not availableRégimen de financiación
IP - Integrated ProjectCoordinador
75738 PARIS CEDEX 15
Francia
Ver en el mapa
Participantes (26)
00131 ROMA
Ver en el mapa
85521 OTTOBRUNN
Ver en el mapa
75116 PARIS 16
Ver en el mapa
75794 PARIS CEDEX 16
Ver en el mapa
92350 LE PLESSIS ROBINSON
Ver en el mapa
75008 PARIS
Ver en el mapa
88090 IMMENSTAAD
Ver en el mapa
2333CP LEIDEN
Ver en el mapa
85521 OTTOBRUNN
Ver en el mapa
8092 ZUERICH
Ver en el mapa
ELANCOURT
Ver en el mapa
48170 ZAMUDIO
Ver en el mapa
75634 PARIS 13
Ver en el mapa
00144 ROMA
Ver en el mapa
75016 PARIS
Ver en el mapa
92322 CHATILLON CEDEX
Ver en el mapa
118 63 STOCKHOLM
Ver en el mapa
SN14 0GB CHIPPENHAM, WILTSHIRE
Ver en el mapa
11476 ATHINA
Ver en el mapa
36201 PONTEVEDRA - VIGO
Ver en el mapa
8520 LYSTRUP
Ver en el mapa
31100 TOULOUSE
Ver en el mapa
29280 PLOUZANE
Ver en el mapa
CW12 1AB CONGLETON
Ver en el mapa
28040 MADRID
Ver en el mapa
35122 PADOVA (PD)
Ver en el mapa