Publications dans lesquelles il/elle collabore avec Óscar Rodríguez Polo (25)

2024

  1. Count overflow and privilege mode filtering extension implementation on a RISC-V on-board processor

    Microprocessors and Microsystems, Vol. 109

  2. Enseñanza de la materia “Gestión de datos a bordo” en el grado de “Física e Instrumentación Espacial”.Un ejemplo de caso de uso y coordinación vertical entre asignaturas: Un ejemplo de caso de uso y coordinación vertical entre asignaturas

    XVI Congreso de Tecnología, Aprendizaje y Enseñanza de la Electrónica (TAEE 2024). Libro de actas: XVI Conferência em Tecnologia, Aprendizagem e Ensino da Eletrónica (TAEE 2024). Livro de atas.XVI International Conference of Technology, Learning and Teaching of Electronics (TAEE 2024). Proceedings book

  3. Teaching "On-Board Data Management" Concepts in the "Physics and Space Instrumentation" Degree. An Example of a Common use case and Vertical Coordination among Subjects

    16th Congreso de Tecnologia, Aprendizaje y Ensenanza de la Electronica, TAEE 2024

2023

  1. Memory Management Unit for Hardware-Assisted Dynamic Relocation in On-Board Satellite Systems

    IEEE Transactions on Aerospace and Electronic Systems, Vol. 59, Núm. 5, pp. 6923-6939

  2. Model-driven engineering for low-code ground support equipment configuration and automatic test procedures definition

    Acta Astronautica, Vol. 211, pp. 574-591

  3. Tailor-made Virtualization Monitor Design for CPU Virtualization on LEON Processors

    ACM Transactions on Embedded Computing Systems, Vol. 22, Núm. 4

2022

  1. Model-driven system-level validation and verification on the space software domain

    Software and Systems Modeling, Vol. 21, Núm. 6, pp. 2367-2394

2021

  1. A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis Models

    IEEE Transactions on Emerging Topics in Computing, Vol. 9, Núm. 1, pp. 78-89

  2. Arinc653 channel robustness verification using leonvip-mc, a leon4 multicore virtual platform

    Electronics (Switzerland), Vol. 10, Núm. 10

  3. Energetic ions in the Venusian system: Insights from the first Solar Orbiter flyby

    Astronomy and Astrophysics, Vol. 656

  4. Evidence for local particle acceleration in the first recurrent galactic cosmic ray depression observed by Solar Orbiter: The ion event on 19 June 2020

    Astronomy and Astrophysics, Vol. 656

  5. Improving performance and determinism of multitasking systems on the LEON architecture

    Microprocessors and Microsystems, Vol. 80

  6. In-flight verification of the engineering design data for the Energetic Particle Detector on board the ESA/NASA Solar Orbiter

    Acta Astronautica, Vol. 187, pp. 12-23

  7. Model-driven environment for configuration control and deployment of on-board satellite software

    Acta Astronautica, Vol. 178, pp. 314-328

  8. Quiet-time low energy ion spectra observed on Solar Orbiter during solar minimum

    Astronomy and Astrophysics, Vol. 656

  9. Reliability-oriented design of on-board satellite boot software against single event effects

    Journal of Systems Architecture, Vol. 114

  10. Solar energetic particle heavy ion properties in the widespread event of 2020 November 29

    Astronomy and Astrophysics, Vol. 656

  11. The first widespread solar energetic particle event observed by Solar Orbiter on 2020 November 29

    Astronomy and Astrophysics, Vol. 656

2020

  1. A risc-v processor design for transparent tracing

    Electronics (Switzerland), Vol. 9, Núm. 11, pp. 1-23

  2. The Energetic Particle Detector: Energetic particle instrument suite for the Solar Orbiter mission

    Astronomy and Astrophysics, Vol. 642