Antonio da Silva

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 9

Top Topics

Hardware Implementation

Platform Independent

Top Venues

Microprocess. Microsystems

ACM Trans. Embed. Comput. Syst.

J. Syst. Archit.

Publications

Miguel Jiménez Arribas, Agustín Martínez-Hellín, Manuel Prieto Mateo, Iván Gamino del Río, Andrea Fernandez Gallego, Oscar Rodríguez Polo, Antonio da Silva, Pablo Parra, Sebastián Sánchez
Design and implementation of a synchronous Hardware Performance Monitor for a RISC-V space-oriented processor. CoRR (2024)
Eduardo Ortega, Alejandro Vicente, Agustín Martínez-Hellín, Óscar Rodríguez, Manuel Prieto, Pablo Parra, Antonio da Silva, Sebastián Sánchez
Enhancing efficiency in spaceborne phased array systems: MVDR algorithm and FPGA integration. Digit. Signal Process. 155 (2024)
Andrea Fernandez Gallego, Miguel Jiménez Arribas, Iván Gamino del Río, Agustín Martínez-Hellín, Manuel Prieto Mateo, Oscar Rodríguez Polo, Antonio da Silva, Pablo Parra, Sebastián Sánchez
Count overflow and privilege mode filtering extension implementation on a RISC-V on-board processor. Microprocess. Microsystems 109 (2024)
Borja Losa, Pablo Parra, Antonio da Silva, Oscar R. Polo, Juan Ignacio García Tejedor, Agustín Martínez-Hellín, Jonatan Sánchez, Sebastián Sánchez, David Guzmán
Memory Management Unit for Hardware-Assisted Dynamic Relocation in On-Board Satellite Systems. IEEE Trans. Aerosp. Electron. Syst. 59 (5) (2023)
Pablo Parra, Antonio da Silva, Borja Losa, Ignacio García, Oscar R. Polo, Agustín Martínez-Hellín, Sebastián Sánchez
Tailor-made Virtualization Monitor Design for CPU Virtualization on LEON Processors. ACM Trans. Embed. Comput. Syst. 22 (4) (2023)
Aaron Montalvo, Pablo Parra, Oscar Rodríguez Polo, Alberto Carrasco, Antonio da Silva, Agustín Martínez-Hellín, Sebastián Sánchez
Model-driven system-level validation and verification on the space software domain. Softw. Syst. Model. 21 (6) (2022)
Pablo Parra, David Guzmán, Oscar R. Polo, Antonio da Silva, Agustín Martínez-Hellín, Sebastián Sánchez, Manuel Prieto
Improving performance and determinism of multitasking systems on the LEON architecture. Microprocess. Microsystems 80 (2021)
Pablo Parra, Oscar R. Polo, Javier Fernández, Antonio da Silva, Sebastián Sánchez, Agustín Martínez-Hellín
A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis Models. IEEE Trans. Emerg. Top. Comput. 9 (1) (2021)
Oscar R. Polo, Jonatan Sánchez, Antonio da Silva, Pablo Parra, Agustín Martínez-Hellín, Alberto Carrasco, Sebastián Sánchez
Reliability-oriented design of on-board satellite boot software against single event effects. J. Syst. Archit. 114 (2021)
Antonio da Silva, Sebastián Sánchez
A LEON3 virtual platform with real spacewire interfaces for dependable space software development. SimuTools (2011)
Antonio da Silva, Sebastián Sánchez
LEON3 ViP: A Virtual Platform with Fault Injection Capabilities. DSD (2010)
Antonio da Silva, José-Fernán Martínez, Alberto Gonzalez-Calero, Lourdes López-Santidrián, Ana Belén García, Vicente Hernández
XML schema based fault set definition to improve fault injection tools interoperability. Int. J. Crit. Comput. Based Syst. 1 (1/2/3) (2010)
Antonio da Silva, Sebastián Sánchez
Transactions Sequence Tracking by means of Dynamic Binary Instrumentation of TLM Models. DSD (2009)
Vicente Hernández, Lourdes López-Santidrián, Oscar Prieto, José-Fernán Martínez, Ana Belén García, Antonio da Silva
Security Framework for DPWS Compliant Devices. SECURWARE (2009)
Antonio da Silva, Alberto Gonzalez-Calero, José-Fernán Martínez, Lourdes López-Santidrián, Ana Belén García, Vicente Hernández
Design and Implementation of a Java Fault Injector for Exhaustif® SWIFI Tool. DepCoS-RELCOMEX (2009)
Antonio da Silva, Sebastián Sánchez
On the Use of Dynamic Binary Instrumentation to Perform Faults Injection in Transaction Level Models. DepCoS-RELCOMEX (2009)
Antonio da Silva, José-Fernán Martínez, Lourdes López-Santidrián, Ana Belén García, Vicente Hernández
XML Schema Based Faultset Definition to Improve Faults Injection Tools Interoperability. DepCoS-RELCOMEX (2008)