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

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