Antonio da Silva

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