Tool suite for AUtomatic code generation and validation of model based critical...
Tool suite for AUtomatic code generation and validation of model based critical iteROpeRAble components
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 indus...
ver más
¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video
Información proyecto AURORA
Duración del proyecto: 30 meses
Fecha Inicio: 2020-10-15
Fecha Fin: 2023-04-30
Fecha límite de participación
Sin fecha límite de participación.
Descripción del proyecto
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.