Publicacións (37) Publicacións de Antonio Da Silva Fariña

filter_list

2025

  1. Design and implementation of a synchronous Hardware Performance Monitor for a RISC-V space-oriented processor

    Microprocessors and Microsystems, Vol. 112

  2. Hardware-assisted virtualization extensions for LEON processors in mixed-criticality systems

    Microprocessors and Microsystems, Vol. 112

2024

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

    Microprocessors and Microsystems, Vol. 109

  2. Enhancing efficiency in spaceborne phased array systems: MVDR algorithm and FPGA integration

    Digital Signal Processing: A Review Journal, Vol. 155

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

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

2017

  1. Development of mobile applications as part of the computer science engineer curriculum: Methodological and assessment considerations

    International Journal of Engineering Education, Vol. 33, Núm. 1, pp. 106-120

  2. Development of mobile applications as part of the computer science engineer curriculum: methodological and assessment considerations

    The International journal of engineering education, Vol. 33, Núm. 1, pp. 106-120