Skip to main content
Vai all'homepage della Commissione europea (si apre in una nuova finestra)
italiano italiano
CORDIS - Risultati della ricerca dell’UE
CORDIS

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

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Risultati finali

Evidences for the assessment Report (si apre in una nuova finestra)

D62Evidences for the assessmentReport M23 M27

Kick-off Minutes of Meeting, including Grant and Consortium Agreement (si apre in una nuova finestra)

D11Kickoff Minutes of Meeting including Grant and Consortium AgreementReportM1

Flight SW Autocoding Life-cycle Process (Execution-Platform-the-loop) (si apre in una nuova finestra)

D41xFlight SW Autocoding Lifecycle Process ExecutionPlatformtheloop ReportM27

AURORA Interim Period Report (si apre in una nuova finestra)

D15AURORA Interim Period Report from month 1 to month 12ReportM12

Flight SW Autocoding Life-cycle Process (Component-the-loop) (si apre in una nuova finestra)

D42xFlight SW Autocoding Lifecycle Process ComponenttheloopReportM23 M27

Plan for the Exploitation, and Dissemination of Results (si apre in una nuova finestra)

D75xPlan for the Exploitation and Dissemination of ResultsReportM6 M12 M27 M30

QGen evaluation report (si apre in una nuova finestra)

D36xQGen evaluation report ReportM9 M15 M27

Peer-reviewed, conference and workshops publications (si apre in una nuova finestra)

D73Peerreviewed conference and workshops publicationsPapers and postersM1M27

Flight SW Autocoding Life-cycle Process (Software-in-the-loop) (si apre in una nuova finestra)

D42xFlight SW Autocoding Lifecycle Process SoftwareintheloopReportM15

Quality Assurance Management Plan (si apre in una nuova finestra)

D14Quality Assurance Management PlanPlanM3

TRA Plan (si apre in una nuova finestra)

D61TRA PlanReportM12

TRA Report (si apre in una nuova finestra)

D63TRA ReportReportM28

Flight SW Autocoding Life-cycle Process (Model-in-the-loop) (si apre in una nuova finestra)

D41xFlight SW Autocoding Lifecycle Process Modelintheloop ReportM12

Tool-Chain Demonstration report (si apre in una nuova finestra)

D59ToolChain Demonstration reportReportM27

Pubblicazioni

Design, development, and implementation of a cFS, RTEMS, and LEON3 platform

Autori: Jesús Zurera, Miguel A. de Miguel, Hugo Valente, Ángel G. Pérez, Alejandro Alonso, Juan Zamorano, Juan A. de la Puente
Pubblicato in: 2022
Editore: DASIA - Data Systems in Aerospace

Requirements Gathering, Toolchain Creation and Platform Testing for a MBSE code generation

Autori: Jesús Zurera, Hugo Valente, Juan Zamorano, Miguel Ángel de Miguel
Pubblicato in: 2022
Editore: MBSE 2022

Requirements for a Component-Based Modelling Language for Space Missions

Autori: Jesús Zurera, Hugo Valente, Miguel A. de Miguel, Angel G. Pérez, Juan Zamorano, Juan. A. de la Puente, Alejandro Alonso
Pubblicato in: 2021
Editore: Congreso Español de Informática (CEDI 2021), VI Simposio de Sistemas de Tiempo Real

A Quantitative Analysis of an Automatic Code Generation Tool for Space Software Applications

Autori: Ángel G. Pérez, Miguel A. de Miguel, Javier Cubas, Hugo Valente, Juan Zamorano, Alejandro Alonso, Juan A. de la Puente
Pubblicato in: 2023
Editore: Journal of Software: Evolution and Process

Design and Implementation of the Real-Time Onboard System for a Stratospheric Balloon Mission using COTS Components and a Model-Based Approach

Autori: Ángel G. Pérez, José-Carlos Gamazo, David González, Juan Zamorano
Pubblicato in: 2023
Editore: Computers and Electrical Engineering

AURORA: An interoperable auto-coding technology for space systems

Autori: Ana Isabel Rodriguez Javier Gomez del Pulgar
Pubblicato in: The Innovation Platform, Numero Bi-monthly, 2023, Pagina/e 282-284
Editore: The Innovation Platform

Model-Based Toolchain for cFS embedded systems for microsatellites

Autori: Hugo Valente, Miguel A. de Miguel, Ángel G. Pérez, Alejandro Alonso, Juan Zamorano, Juan A. de la Puente
Pubblicato in: 2023
Editore: ACM Transactions on Embedded Computing Systems

Extension of the Modeling Tool Suite for Development of Embedded Systems for the Space Domain (si apre in una nuova finestra)

Autori: Hugo Valente, Miguel Ángel de Miguel, Jesús Zurera, Ángel G. Pérez, Alejandro Alonso, Juan Zamorano, Juan A. de la Puente
Pubblicato in: IFAC-PapersOnLine, 2022, Pagina/e 55/4 (2022), ISSN 2405-8963
Editore: IFAC
DOI: 10.1016/j.ifacol.2022.06.047

Integration of modelling languages for the development of space domain software applications

Autori: Ángel G. Pérez, Miguel A. de Miguel, Hugo Valente, Jesús Zurera, Juan Zamorano, Alejandro Alonso, Juan A. de la Puente
Pubblicato in: Ada User, 2022, ISSN 1381-6551
Editore: Ada Language UK Ltd.

È in corso la ricerca di dati su OpenAIRE...

Si è verificato un errore durante la ricerca dei dati su OpenAIRE

Nessun risultato disponibile

Il mio fascicolo 0 0