Publicaciones (38) Publicaciones de Pablo Parra Espada

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

    Astronomy and Astrophysics, Vol. 656

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

    Microprocessors and Microsystems, Vol. 80

  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

2019

  1. A component-based approach to feature modelling

    ACM International Conference Proceeding Series

  2. A component-based approach to feature modelling

    ACM International Conference Proceeding Series

  3. A component-based approach to feature modelling

    PervasiveHealth: Pervasive Computing Technologies for Healthcare