Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

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

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Resultado final

Evidences for the assessment Report (se abrirá en una nueva ventana)

D62Evidences for the assessmentReport M23 M27

Kick-off Minutes of Meeting, including Grant and Consortium Agreement (se abrirá en una nueva ventana)

D11Kickoff Minutes of Meeting including Grant and Consortium AgreementReportM1

Flight SW Autocoding Life-cycle Process (Execution-Platform-the-loop) (se abrirá en una nueva ventana)

D41xFlight SW Autocoding Lifecycle Process ExecutionPlatformtheloop ReportM27

AURORA Interim Period Report (se abrirá en una nueva ventana)

D15AURORA Interim Period Report from month 1 to month 12ReportM12

Flight SW Autocoding Life-cycle Process (Component-the-loop) (se abrirá en una nueva ventana)

D42xFlight SW Autocoding Lifecycle Process ComponenttheloopReportM23 M27

Plan for the Exploitation, and Dissemination of Results (se abrirá en una nueva ventana)

D75xPlan for the Exploitation and Dissemination of ResultsReportM6 M12 M27 M30

QGen evaluation report (se abrirá en una nueva ventana)

D36xQGen evaluation report ReportM9 M15 M27

Peer-reviewed, conference and workshops publications (se abrirá en una nueva ventana)

D73Peerreviewed conference and workshops publicationsPapers and postersM1M27

Flight SW Autocoding Life-cycle Process (Software-in-the-loop) (se abrirá en una nueva ventana)

D42xFlight SW Autocoding Lifecycle Process SoftwareintheloopReportM15

Quality Assurance Management Plan (se abrirá en una nueva ventana)

D14Quality Assurance Management PlanPlanM3

TRA Plan (se abrirá en una nueva ventana)

D61TRA PlanReportM12

TRA Report (se abrirá en una nueva ventana)

D63TRA ReportReportM28

Flight SW Autocoding Life-cycle Process (Model-in-the-loop) (se abrirá en una nueva ventana)

D41xFlight SW Autocoding Lifecycle Process Modelintheloop ReportM12

Tool-Chain Demonstration report (se abrirá en una nueva ventana)

D59ToolChain Demonstration reportReportM27

Publicaciones

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

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

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

Autores: Jesús Zurera, Hugo Valente, Juan Zamorano, Miguel Ángel de Miguel
Publicado en: 2022
Editor: MBSE 2022

Requirements for a Component-Based Modelling Language for Space Missions

Autores: Jesús Zurera, Hugo Valente, Miguel A. de Miguel, Angel G. Pérez, Juan Zamorano, Juan. A. de la Puente, Alejandro Alonso
Publicado en: 2021
Editor: 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

Autores: Ángel G. Pérez, Miguel A. de Miguel, Javier Cubas, Hugo Valente, Juan Zamorano, Alejandro Alonso, Juan A. de la Puente
Publicado en: 2023
Editor: 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

Autores: Ángel G. Pérez, José-Carlos Gamazo, David González, Juan Zamorano
Publicado en: 2023
Editor: Computers and Electrical Engineering

AURORA: An interoperable auto-coding technology for space systems

Autores: Ana Isabel Rodriguez Javier Gomez del Pulgar
Publicado en: The Innovation Platform, Edición Bi-monthly, 2023, Página(s) 282-284
Editor: The Innovation Platform

Model-Based Toolchain for cFS embedded systems for microsatellites

Autores: Hugo Valente, Miguel A. de Miguel, Ángel G. Pérez, Alejandro Alonso, Juan Zamorano, Juan A. de la Puente
Publicado en: 2023
Editor: ACM Transactions on Embedded Computing Systems

Extension of the Modeling Tool Suite for Development of Embedded Systems for the Space Domain (se abrirá en una nueva ventana)

Autores: Hugo Valente, Miguel Ángel de Miguel, Jesús Zurera, Ángel G. Pérez, Alejandro Alonso, Juan Zamorano, Juan A. de la Puente
Publicado en: IFAC-PapersOnLine, 2022, Página(s) 55/4 (2022), ISSN 2405-8963
Editor: IFAC
DOI: 10.1016/j.ifacol.2022.06.047

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

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

Buscando datos de OpenAIRE...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles

Mi folleto 0 0