Publicaciones (57) Publicaciones de Óscar Rodríguez Polo

2023

  1. Framework to Emulate Spacecraft Orbital Positioning Using GNSS Hardware in the Loop

    Sensors, Vol. 23, Núm. 2

  2. 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

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

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

  4. 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. First near-relativistic solar electron events observed by EPD onboard Solar Orbiter

    Astronomy and Astrophysics, Vol. 656

  6. First year of energetic particle measurements in the inner heliosphere with Solar Orbiter's Energetic Particle Detector

    Astronomy and Astrophysics, Vol. 656

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

    Microprocessors and Microsystems, Vol. 80

  8. 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

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

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

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

    Astronomy and Astrophysics, Vol. 656

  11. Radial evolution of the April 2020 stealth coronal mass ejection between 0.8 and 1 AU: Comparison of Forbush decreases at Solar Orbiter and near the Earth

    Astronomy and Astrophysics, Vol. 656

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

    Journal of Systems Architecture, Vol. 114

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

    Astronomy and Astrophysics, Vol. 656

  14. Suprathermal particles from corotating interaction regions during the first perihelion pass of Solar Orbiter

    Astronomy and Astrophysics, Vol. 656

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

    Astronomy and Astrophysics, Vol. 656