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

Summary
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.
Unfold all
/
Fold all
More information & hyperlinks
Web resources: https://cordis.europa.eu/project/id/101004291
Start date: 01-11-2020
End date: 30-04-2023
Total budget - Public funding: 2 158 248,00 Euro - 2 158 248,00 Euro
Cordis data

Original description

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.

Status

CLOSED

Call topic

SPACE-10-TEC-2018-2020

Update Date

27-10-2022
Images
No images available.
Geographical location(s)
Structured mapping
Unfold all
/
Fold all
Horizon 2020
H2020-EU.2. INDUSTRIAL LEADERSHIP
H2020-EU.2.1. INDUSTRIAL LEADERSHIP - Leadership in enabling and industrial technologies
H2020-EU.2.1.6. INDUSTRIAL LEADERSHIP - Leadership in enabling and industrial technologies – Space
H2020-EU.2.1.6.1. Enabling European competitiveness, non-dependence and innovation of the European space sector
H2020-SPACE-2018
SPACE-10-TEC-2018-2020 Technologies for European non-dependence and competitiveness
H2020-SPACE-2019
SPACE-10-TEC-2018-2020 Technologies for European non-dependence and competitiveness
H2020-SPACE-2020
SPACE-10-TEC-2018-2020 Technologies for European non-dependence and competitiveness
H2020-EU.2.1.6.2. Enabling advances in space technology
H2020-SPACE-2018
SPACE-10-TEC-2018-2020 Technologies for European non-dependence and competitiveness
H2020-SPACE-2019
SPACE-10-TEC-2018-2020 Technologies for European non-dependence and competitiveness
H2020-SPACE-2020
SPACE-10-TEC-2018-2020 Technologies for European non-dependence and competitiveness