Skip to main content

Tool suite for AUtomatic code generation and validation of model-based critical iteROpeRAble components

Objective

The AURORA project aims to provide a European tool suite for the process of development and validation of a critical Auto-coded Flight software product in the Space domain and the demonstration of Autocoding technology in an industrially relevant environment.
The AURORA solution for a SW tool suite will validate the QGen product capabilities to transform Simulink/Matlab models into source code to be directly integrated into an embedded SW product. The Technology demonstration is carried-out by exercising the automated code in AURORA with the already validated and verified results of Euclid auto-generated code. The ESA?s Euclid Mission, where SENER is the prime contractor, includes Mathworks AOCS/GNC model-based algorithms. The demonstration process will make use of the validation and verification test cases designed for Euclid AOCS/GNC formal campaign with testing performed in the actual Euclid Test environment (MIL, SIL, PIL [open-loop emulator] and HIL [SCOE for open-loop testing]). This approach facilitates the assessment of a higher TRL for this toolset. The solution of the test suite will apply current state-of-art modelling standards and guidelines for the Autocoding generation and validation process.
Supported by the certified tool-suite, AURORA will define the Autocoded Flight Software Life-cycle process and methodology for the Specification, Development and Validation of Autocoded-SW. Processes based on QGEN Autocoding will follow Model-Based System Engineering (MBSE) principles including Component-Based, Model-Driven Architecture (MDA) and Model-to-Test transformation.
Besides, AURORA will ensure the Interoperability capability of the solution through standard specification of component interfaces or API for the integration of components, both for manual and auto-generated code. AURORA will conclude with the demonstration Viability Assessment of the tool suite and the reduction of non-recurring costs of the Auto-coded SW generation and verification.

Field of science

  • /natural sciences/computer and information sciences/software

Call for proposal

H2020-SPACE-2020
See other projects for this call

Funding Scheme

RIA - Research and Innovation action

Coordinator

SENER AEROESPACIAL SOCIEDAD ANONIMA
Address
Avda Zugazarte 56
48930 Las Arenas
Spain
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
EU contribution
€ 950 107,50

Participants (3)

N7 SPACE SP ZOO
Poland
EU contribution
€ 443 162,50
Address
Puławska 145
02-715 Warszawa
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
ESC AEROSPACE S.R.O.
Czechia
EU contribution
€ 500 975
Address
Namesto Dr. Vaclava Holeho 1052/11
180 00 Prague
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
UNIVERSIDAD POLITECNICA DE MADRID
Spain
EU contribution
€ 264 003,75
Address
Calle Ramiro De Maeztu 7 Edificio Rectorado
28040 Madrid
Activity type
Higher or Secondary Education Establishments