Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

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

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

Evidences for the assessment Report (odnośnik otworzy się w nowym oknie)

D62Evidences for the assessmentReport M23 M27

Kick-off Minutes of Meeting, including Grant and Consortium Agreement (odnośnik otworzy się w nowym oknie)

D11Kickoff Minutes of Meeting including Grant and Consortium AgreementReportM1

Flight SW Autocoding Life-cycle Process (Execution-Platform-the-loop) (odnośnik otworzy się w nowym oknie)

D41xFlight SW Autocoding Lifecycle Process ExecutionPlatformtheloop ReportM27

AURORA Interim Period Report (odnośnik otworzy się w nowym oknie)

D15AURORA Interim Period Report from month 1 to month 12ReportM12

Flight SW Autocoding Life-cycle Process (Component-the-loop) (odnośnik otworzy się w nowym oknie)

D42xFlight SW Autocoding Lifecycle Process ComponenttheloopReportM23 M27

Plan for the Exploitation, and Dissemination of Results (odnośnik otworzy się w nowym oknie)

D75xPlan for the Exploitation and Dissemination of ResultsReportM6 M12 M27 M30

QGen evaluation report (odnośnik otworzy się w nowym oknie)

D36xQGen evaluation report ReportM9 M15 M27

Peer-reviewed, conference and workshops publications (odnośnik otworzy się w nowym oknie)

D73Peerreviewed conference and workshops publicationsPapers and postersM1M27

Flight SW Autocoding Life-cycle Process (Software-in-the-loop) (odnośnik otworzy się w nowym oknie)

D42xFlight SW Autocoding Lifecycle Process SoftwareintheloopReportM15

Quality Assurance Management Plan (odnośnik otworzy się w nowym oknie)

D14Quality Assurance Management PlanPlanM3

TRA Plan (odnośnik otworzy się w nowym oknie)

D61TRA PlanReportM12

TRA Report (odnośnik otworzy się w nowym oknie)

D63TRA ReportReportM28

Flight SW Autocoding Life-cycle Process (Model-in-the-loop) (odnośnik otworzy się w nowym oknie)

D41xFlight SW Autocoding Lifecycle Process Modelintheloop ReportM12

Tool-Chain Demonstration report (odnośnik otworzy się w nowym oknie)

D59ToolChain Demonstration reportReportM27

Publikacje

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

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

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

Autorzy: Jesús Zurera, Hugo Valente, Juan Zamorano, Miguel Ángel de Miguel
Opublikowane w: 2022
Wydawca: MBSE 2022

Requirements for a Component-Based Modelling Language for Space Missions

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

Autorzy: Ángel G. Pérez, Miguel A. de Miguel, Javier Cubas, Hugo Valente, Juan Zamorano, Alejandro Alonso, Juan A. de la Puente
Opublikowane w: 2023
Wydawca: 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

Autorzy: Ángel G. Pérez, José-Carlos Gamazo, David González, Juan Zamorano
Opublikowane w: 2023
Wydawca: Computers and Electrical Engineering

AURORA: An interoperable auto-coding technology for space systems

Autorzy: Ana Isabel Rodriguez Javier Gomez del Pulgar
Opublikowane w: The Innovation Platform, Numer Bi-monthly, 2023, Strona(/y) 282-284
Wydawca: The Innovation Platform

Model-Based Toolchain for cFS embedded systems for microsatellites

Autorzy: Hugo Valente, Miguel A. de Miguel, Ángel G. Pérez, Alejandro Alonso, Juan Zamorano, Juan A. de la Puente
Opublikowane w: 2023
Wydawca: ACM Transactions on Embedded Computing Systems

Extension of the Modeling Tool Suite for Development of Embedded Systems for the Space Domain (odnośnik otworzy się w nowym oknie)

Autorzy: Hugo Valente, Miguel Ángel de Miguel, Jesús Zurera, Ángel G. Pérez, Alejandro Alonso, Juan Zamorano, Juan A. de la Puente
Opublikowane w: IFAC-PapersOnLine, 2022, Strona(/y) 55/4 (2022), ISSN 2405-8963
Wydawca: IFAC
DOI: 10.1016/j.ifacol.2022.06.047

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

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

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Moja broszura 0 0