Cel
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.
Zaproszenie do składania wniosków
Data not availableSystem finansowania
IP - Integrated ProjectKoordynator
75738 PARIS CEDEX 15
Francja
Zobacz na mapie
Uczestnicy (26)
00131 ROMA
Zobacz na mapie
85521 OTTOBRUNN
Zobacz na mapie
75116 PARIS 16
Zobacz na mapie
75794 PARIS CEDEX 16
Zobacz na mapie
92350 LE PLESSIS ROBINSON
Zobacz na mapie
75008 PARIS
Zobacz na mapie
88090 IMMENSTAAD
Zobacz na mapie
2333CP LEIDEN
Zobacz na mapie
85521 OTTOBRUNN
Zobacz na mapie
8092 ZUERICH
Zobacz na mapie
ELANCOURT
Zobacz na mapie
48170 ZAMUDIO
Zobacz na mapie
75634 PARIS 13
Zobacz na mapie
00144 ROMA
Zobacz na mapie
75016 PARIS
Zobacz na mapie
92322 CHATILLON CEDEX
Zobacz na mapie
118 63 STOCKHOLM
Zobacz na mapie
SN14 0GB CHIPPENHAM, WILTSHIRE
Zobacz na mapie
11476 ATHINA
Zobacz na mapie
36201 PONTEVEDRA - VIGO
Zobacz na mapie
8520 LYSTRUP
Zobacz na mapie
31100 TOULOUSE
Zobacz na mapie
29280 PLOUZANE
Zobacz na mapie
CW12 1AB CONGLETON
Zobacz na mapie
28040 MADRID
Zobacz na mapie
35122 PADOVA (PD)
Zobacz na mapie