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.

Fields of science

• natural sciences › computer and information sciences › software

Programme(s)

• H2020-EU.2.1.6.1. - Enabling European competitiveness, non-dependence and innovation of the European space sector
• H2020-EU.2.1.6.2. - Enabling advances in space technology

Topic(s)

• SPACE-10-TEC-2018-2020 - Technologies for European non-dependence and competitiveness

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 SRO

Czechia

EU contribution

€ 500 975

Address

Namesti Dr. Vaclava Holeho 1052/11
18000 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