Publicaciones (31) Publicaciones de Antonio Da Silva Fariña

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

  3. Up2B2: Playing English grammar games at the B2 level

    Language Value, Vol. 9, Vol. 1, pp. 132-159

  4. Virtualization of residential IoT functionality by using NFV and SDN

    2017 IEEE International Conference on Consumer Electronics, ICCE 2017

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

2011

  1. A LEON3 Virtual Platform with real SpaceWire interfaces for dependable space software development

    SIMUTools 2011 - 4th International ICST Conference on Simulation Tools and Techniques