Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS

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

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Livrables

Evidences for the assessment Report (s’ouvre dans une nouvelle fenêtre)

D62Evidences for the assessmentReport M23 M27

Kick-off Minutes of Meeting, including Grant and Consortium Agreement (s’ouvre dans une nouvelle fenêtre)

D11Kickoff Minutes of Meeting including Grant and Consortium AgreementReportM1

Flight SW Autocoding Life-cycle Process (Execution-Platform-the-loop) (s’ouvre dans une nouvelle fenêtre)

D41xFlight SW Autocoding Lifecycle Process ExecutionPlatformtheloop ReportM27

AURORA Interim Period Report (s’ouvre dans une nouvelle fenêtre)

D15AURORA Interim Period Report from month 1 to month 12ReportM12

Flight SW Autocoding Life-cycle Process (Component-the-loop) (s’ouvre dans une nouvelle fenêtre)

D42xFlight SW Autocoding Lifecycle Process ComponenttheloopReportM23 M27

Plan for the Exploitation, and Dissemination of Results (s’ouvre dans une nouvelle fenêtre)

D75xPlan for the Exploitation and Dissemination of ResultsReportM6 M12 M27 M30

QGen evaluation report (s’ouvre dans une nouvelle fenêtre)

D36xQGen evaluation report ReportM9 M15 M27

Peer-reviewed, conference and workshops publications (s’ouvre dans une nouvelle fenêtre)

D73Peerreviewed conference and workshops publicationsPapers and postersM1M27

Flight SW Autocoding Life-cycle Process (Software-in-the-loop) (s’ouvre dans une nouvelle fenêtre)

D42xFlight SW Autocoding Lifecycle Process SoftwareintheloopReportM15

Quality Assurance Management Plan (s’ouvre dans une nouvelle fenêtre)

D14Quality Assurance Management PlanPlanM3

TRA Plan (s’ouvre dans une nouvelle fenêtre)

D61TRA PlanReportM12

TRA Report (s’ouvre dans une nouvelle fenêtre)

D63TRA ReportReportM28

Flight SW Autocoding Life-cycle Process (Model-in-the-loop) (s’ouvre dans une nouvelle fenêtre)

D41xFlight SW Autocoding Lifecycle Process Modelintheloop ReportM12

Tool-Chain Demonstration report (s’ouvre dans une nouvelle fenêtre)

D59ToolChain Demonstration reportReportM27

Publications

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

Auteurs: Jesús Zurera, Miguel A. de Miguel, Hugo Valente, Ángel G. Pérez, Alejandro Alonso, Juan Zamorano, Juan A. de la Puente
Publié dans: 2022
Éditeur: DASIA - Data Systems in Aerospace

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

Auteurs: Jesús Zurera, Hugo Valente, Juan Zamorano, Miguel Ángel de Miguel
Publié dans: 2022
Éditeur: MBSE 2022

Requirements for a Component-Based Modelling Language for Space Missions

Auteurs: Jesús Zurera, Hugo Valente, Miguel A. de Miguel, Angel G. Pérez, Juan Zamorano, Juan. A. de la Puente, Alejandro Alonso
Publié dans: 2021
Éditeur: 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

Auteurs: Ángel G. Pérez, Miguel A. de Miguel, Javier Cubas, Hugo Valente, Juan Zamorano, Alejandro Alonso, Juan A. de la Puente
Publié dans: 2023
Éditeur: 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

Auteurs: Ángel G. Pérez, José-Carlos Gamazo, David González, Juan Zamorano
Publié dans: 2023
Éditeur: Computers and Electrical Engineering

AURORA: An interoperable auto-coding technology for space systems

Auteurs: Ana Isabel Rodriguez Javier Gomez del Pulgar
Publié dans: The Innovation Platform, Numéro Bi-monthly, 2023, Page(s) 282-284
Éditeur: The Innovation Platform

Model-Based Toolchain for cFS embedded systems for microsatellites

Auteurs: Hugo Valente, Miguel A. de Miguel, Ángel G. Pérez, Alejandro Alonso, Juan Zamorano, Juan A. de la Puente
Publié dans: 2023
Éditeur: ACM Transactions on Embedded Computing Systems

Extension of the Modeling Tool Suite for Development of Embedded Systems for the Space Domain (s’ouvre dans une nouvelle fenêtre)

Auteurs: Hugo Valente, Miguel Ángel de Miguel, Jesús Zurera, Ángel G. Pérez, Alejandro Alonso, Juan Zamorano, Juan A. de la Puente
Publié dans: IFAC-PapersOnLine, 2022, Page(s) 55/4 (2022), ISSN 2405-8963
Éditeur: IFAC
DOI: 10.1016/j.ifacol.2022.06.047

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

Auteurs: Ángel G. Pérez, Miguel A. de Miguel, Hugo Valente, Jesús Zurera, Juan Zamorano, Alejandro Alonso, Juan A. de la Puente
Publié dans: Ada User, 2022, ISSN 1381-6551
Éditeur: Ada Language UK Ltd.

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible

Mon livret 0 0