Publicaciones en las que colabora con Óscar Rodríguez Polo (15)

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. Improving performance and determinism of multitasking systems on the LEON architecture

    Microprocessors and Microsystems, Vol. 80

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

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

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

    Journal of Systems Architecture, Vol. 114

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

2018

  1. Agile deployment and code coverage testing metrics of the boot software on-board Solar Orbiter's Energetic Particle Detector

    Acta Astronautica, Vol. 143, pp. 203-211

2014

  1. Injecting faults to succeed. Verification of the boot software on-board solar orbiter's energetic particle detector

    Acta Astronautica, Vol. 95, Núm. 1, pp. 198-209

  2. Runtime instrumentation of SystemC/TLM2 interfaces for fault tolerance requirements verification in software cosimulation

    Modelling and Simulation in Engineering, Vol. 2014

2013

  1. HW/SW Co-design of the Instrument Control Unit for the Energetic Particle Detector on-board Solar Orbiter

    Advances in Space Research, Vol. 52, Núm. 6, pp. 989-1007