Personal information

Verified email domains

Activities

Works (29)

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

Microprocessors and Microsystems
2025-02 | Journal article
Contributors: Miguel Jiménez Arribas; Agustín Martínez Hellín; Manuel Prieto Mateo; Iván Gamino del Río; Andrea Fernández Gallego; Óscar Rodríguez Polo; Antonio da Silva; Pablo Parra; Sebastián Sánchez
Source: check_circle
Crossref

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

Microprocessors and Microsystems
2025-02 | Journal article
Contributors: Borja Losa; Pablo Parra; Antonio Da Silva; Óscar R. Polo; J. Ignacio G. Tejedor; Agustín Martínez; Sebastián Sánchez; David Guzmán
Source: check_circle
Crossref

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

Microprocessors and Microsystems
2024-09 | Journal article
Contributors: Andrea Fernández Gallego; Miguel Jiménez Arribas; Iván Gamino del Río; Agustín Martínez Hellín; Manuel Prieto Mateo; Óscar Rodríguez Polo; Antonio da Silva; Pablo Parra; Sebastián Sánchez
Source: check_circle
Crossref

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

Digital Signal Processing
2024-08 | Journal article
Part of ISSN: 1051-2004
Contributors: Eduardo Ortega Sánchez; Alejandro Vicente; Agustín Martínez; Oscar Rodríguez; Manuel Prieto; Pablo Parra; Antonio Da Silva; Sebastián Sánchez
Source: Self-asserted source
Antonio Da Silva

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

2024 XVI Congreso de Tecnología, Aprendizaje y Enseñanza de la Electrónica (TAEE)
2024-06-26 | Conference paper
Contributors: Antonio da Silva; Óscar R. Polo; Pablo Parra; Agustín Martínez; Ignacio García; Manuel Prieto; Sebastián Sánchez
Source: Self-asserted source
Antonio Da Silva

Memory Management Unit for Hardware-assisted Dynamic Relocation in on-board Satellite Systems

IEEE Transactions on Aerospace and Electronic Systems
2023 | Journal article
Part of ISSN: 0018-9251
Part of ISSN: 1557-9603
Part of ISSN: 2371-9877
Contributors: Borja Losa; Pablo Parra; Antonio Da Silva; Oscar R. Polo; J. Ignacio G. Tejedor; Agustĺn Martĺnez; Agustín Martínez Hellín; Sebastián Sánchez; Sebastián Sánchez-Prieto
Source: Self-asserted source
Antonio Da Silva

Model-driven engineering for low-code ground support equipment configuration and automatic test procedures definition

Acta Astronautica
2023-10 | Journal article
Contributors: Aaron Montalvo; Óscar R. Polo; Pablo Parra; Alberto Carrasco; Antonio da Silva; Agustín Martínez; Sebastián Sánchez
Source: check_circle
Crossref

Tailor-made Virtualization Monitor design for CPU virtualization on LEON processors

ACM Transactions on Embedded Computing Systems
2023-02-17 | Journal article
Part of ISSN: 1539-9087
Part of ISSN: 1558-3465
Contributors: Pablo Parra; Antonio da Silva; Borja Losa; J. Ignacio García; Óscar R. Polo; Agustín Martínez; Sebastián Sánchez
Source: Self-asserted source
Antonio Da Silva
grade
Preferred source (of 2)‎

Model-driven system-level validation and verification on the space software domain

Software and Systems Modeling
2021-11-09 | Journal article
Part of ISSN: 1619-1366
Part of ISSN: 1619-1374
Source: Self-asserted source
Antonio Da Silva

ARINC653 Channel Robustness Verification Using LeonViP-MC, a LEON4 Multicore Virtual Platform

Electronics
2021-05-15 | Journal article
Contributors: Jonatan Sánchez; Antonio da Silva; Pablo Parra; Óscar R. Polo; Agustín Martínez Hellín; Sebastián Sánchez
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

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

Journal of Systems Architecture
2021-03 | Journal article
Contributors: Óscar R. Polo; Jonatan Sánchez; Antonio da Silva; Pablo Parra; Agustín Martínez Hellín; Alberto Carrasco; Sebastián Sánchez
Source: check_circle
Crossref

Improving performance and determinism of multitasking systems on the LEON architecture

Microprocessors and Microsystems
2021-02 | Journal article
Contributors: Pablo Parra; David Guzmán; Óscar R. Polo; Antonio da Silva; Agustín Martínez; Sebastián Sánchez; Manuel Prieto
Source: check_circle
Crossref

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

Acta Astronautica
2021-01 | Journal article
Contributors: Pablo Parra; Óscar R. Polo; Alberto Carrasco; Antonio da Silva; Agustín Martínez; Sebastián Sánchez
Source: check_circle
Crossref

A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis Models

IEEE Transactions on Emerging Topics in Computing
2021-01-01 | Journal article
Contributors: Pablo Parra; Oscar R. Polo; Javier Fernandez; Antonio da Silva; Sebastian Sanchez; Agustin Martinez
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

A RISC-V Processor Design for Transparent Tracing

Electronics
2020-11-07 | Journal article
Contributors: Iván Gamino del Río; Agustín Martínez Hellín; Óscar R. Polo; Miguel Jiménez Arribas; Pablo Parra; Antonio da Silva; Jonatan Sánchez; Sebastián Sánchez
Source: check_circle
Crossref

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

Acta Astronautica
2018 | Journal article
EID:

2-s2.0-85036479559

Part of ISBN:

00945765

Contributors: Parra, P.; da Silva, A.; Polo, Ó.R.; Sánchez, S.
Source: Self-asserted source
Antonio Da Silva via Scopus - Elsevier

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

International Journal of Engineering Education
2017 | Journal article
EID:

2-s2.0-85015230733

Part of ISBN:

0949149X

Contributors: Da Silva Farina, A.; Hernando, A.B.G.; Nespereira, C.R.
Source: Self-asserted source
Antonio Da Silva via Scopus - Elsevier

Virtualization of residential IoT functionality by using NFV and SDN

2017 IEEE International Conference on Consumer Electronics, ICCE 2017
2017 | Conference paper
EID:

2-s2.0-85018239449

Contributors: Garcia Hernando, A.B.; Da Silva Farina, A.; Bellido Triana, L.; Ruiz Pinar, F.J.; Fernandez Cambronero, D.
Source: Self-asserted source
Antonio Da Silva via Scopus - Elsevier

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

Acta Astronautica
2014 | Journal article
EID:

2-s2.0-84889671627

Part of ISBN:

00945765

Contributors: Da Silva, A.; Sánchez, S.; Polo, O.R.; Parra, P.
Source: Self-asserted source
Antonio Da Silva via Scopus - Elsevier

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

Modelling and Simulation in Engineering
2014 | Journal article
EID:

2-s2.0-84912048924

Part of ISBN:

16875605 16875591

Contributors: Da Silva, A.; Parra, P.; Polo, Ó.R.; Sánchez, S.
Source: Self-asserted source
Antonio Da Silva via Scopus - Elsevier

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

Advances in Space Research
2013 | Journal article
EID:

2-s2.0-84883465541

Part of ISBN:

02731177

Contributors: Sánchez, S.; Prieto, M.; Polo, Ó.R.; Parra, P.; Da Silva, A.; Gutiérrez, Ó.; Castillo, R.; Fernández, J.; Rodríguez-Pacheco, J.
Source: Self-asserted source
Antonio Da Silva via Scopus - Elsevier

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

SIMUTools 2011 - 4th International ICST Conference on Simulation Tools and Techniques
2011 | Conference paper
EID:

2-s2.0-84922790504

Contributors: Da Silva, A.; Sánchez, S.
Source: Self-asserted source
Antonio Da Silva via Scopus - Elsevier

LEON3 ViP: A virtual platform with fault injection capabilities

Proceedings - 13th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, DSD 2010
2010 | Conference paper
EID:

2-s2.0-78649872689

Contributors: Da Silva, A.; Sánchez, S.
Source: Self-asserted source
Antonio Da Silva via Scopus - Elsevier

Pervasive surveillance-agent system based on wireless sensor networks: Design and deployment

Measurement Science and Technology
2010 | Journal article
EID:

2-s2.0-78649812445

Part of ISBN:

13616501 09570233

Contributors: Martínez, J.F.; Bravo, S.; García, A.B.; Corredor, I.; Familiar, M.S.; López, L.; Hernández, V.; Da Silva, A.
Source: Self-asserted source
Antonio Da Silva via Scopus - Elsevier

XML schema based fault set definition to improve fault injection tools interoperability

International Journal of Critical Computer-Based Systems
2010 | Journal article
EID:

2-s2.0-78649875921

Part of ISBN:

17578787 17578779

Contributors: Da Silva, A.; Martínez, J.F.; González-Calero, A.; López, L.; García, A.B.; Hernández, V.
Source: Self-asserted source
Antonio Da Silva via Scopus - Elsevier

Security framework for DPWS compliant devices

Proceedings - 2009 3rd International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2009
2009 | Conference paper
EID:

2-s2.0-70449483888

Contributors: Hernández, V.; López, L.; Prieto, O.; Martínez, J.-F.; García, A.-B.; Da-Silva, A.
Source: Self-asserted source
Antonio Da Silva via Scopus - Elsevier

Transactions sequence tracking by means of dynamic binary instrumentation of TLM models

12th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, DSD 2009
2009 | Conference paper
EID:

2-s2.0-74549179087

Contributors: Da Silva, A.; Sánchez, S.
Source: Self-asserted source
Antonio Da Silva via Scopus - Elsevier

Guaranteeing QoS in wireless sensor networks

Wireless Quality of Service: Techniques, Standards, and Applications
2008 | Book chapter
EID:

2-s2.0-85057502622

Contributors: Ortega, J.F.M.; García, A.B.; Corredor, I.; López, L.; Hernández, V.; Da Silva, A.
Source: Self-asserted source
Antonio Da Silva via Scopus - Elsevier

XML schema based faultset definition to improve faults injection tools interoperability

Proceedings of International Conference on Dependability of Computer Systems, DepCoS - RELCOMEX 2008
2008 | Conference paper
EID:

2-s2.0-51849148417

Contributors: Da Silva, A.; Martínez, J.F.; López, L.; García, A.B.; Hernández, V.
Source: Self-asserted source
Antonio Da Silva via Scopus - Elsevier

Peer review (1 review for 1 publication/grant)

Review activity for Journal of systems architecture. (1)