Da Silva Fariña, Antonio antonio.dasilva@upm.es

Actividades

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

  • Losa, B.
  • Parra, P.
  • Silva, A.D.
  • Polo, O.R.
  • Tejedor, J.I.G.
  • Martlnez, A.
  • Sanchez, J.
  • Sanchez, S.
  • Guzman, D.
... Ver más Contraer

Ieee Transactions On Aerospace And Electronic Systems - 1/1/2023

Editor: Institute of Electrical and Electronics Engineers Inc.

10.1109/taes.2023.3284419 Ver en origen

  • ISSN 00189251
  • ISSN/ISBN 1557-9603

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

  • Sánchez, J.
  • da Silva, A.
  • Parra, P.
  • Polo, Ó.R.
  • Martínez Hellín, A.
  • Sánchez, S.

Electronics - 1/5/2021

Editor: MDPI AG

10.3390/electronics10101179 Ver en origen

  • ISSN 08834989
  • ISSN/ISBN 2079-9292

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

  • Polo, Ó.R.
  • Sánchez, J.
  • da Silva, A.
  • Parra, P.
  • Hellín, A.M.
  • Carrasco, A.
  • Sánchez, S.
... Ver más Contraer

Journal Of Systems Architecture - 1/3/2021

Editor: Elsevier B.V.

10.1016/j.sysarc.2020.101920 Ver en origen

  • ISSN 13837621
  • ISSN/ISBN 1383-7621

Improving performance and determinism of multitasking systems on the LEON architecture

  • Parra, P.
  • Guzmán, D.
  • Polo, Ó.R.
  • da Silva, A.
  • Martínez, A.
  • Sánchez, S.
  • Prieto, M.
... Ver más Contraer

Microprocessors And Microsystems - 1/2/2021

Editor: Elsevier B.V.

10.1016/j.micpro.2020.103610 Ver en origen

  • ISSN 01419331
  • ISSN/ISBN 0141-9331

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

  • Parra, P.
  • Polo, O.R.
  • Fernandez, J.
  • Da Silva, A.
  • Sanchez, S.
  • Martinez, A.

Ieee Transactions On Emerging Topics In Computing (p. 78-89) - 1/1/2021

Editor: IEEE Computer Society

10.1109/tetc.2018.2866024 Ver en origen

  • ISSN 21686750
  • ISSN/ISBN 2168-6750

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

  • Parra, P.
  • Polo, Ó.R.
  • Carrasco, A.
  • da Silva, A.
  • Martínez, A.
  • Sánchez, S.

Acta Astronautica (p. 314-328) - 1/1/2021

Editor: Elsevier Ltd

10.1016/j.actaastro.2020.09.017 Ver en origen

  • ISSN 00945765
  • ISSN/ISBN 0094-5765

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

  • Montalvo, A.
  • Parra, P.
  • Rodríguez Polo, Ó.
  • Carrasco, A.
  • Da Silva, A.
  • Martínez, A.
  • Sánchez, S.
... Ver más Contraer

Software And Systems Modeling (p. 2367-2394) - 1/1/2021

Editor: Springer Science and Business Media Deutschland GmbH

10.1007/s10270-021-00940-8 Ver en origen

  • ISSN 16191366
  • ISSN/ISBN 1619-1374

A RISC-V Processor Design for Transparent Tracing

  • Del Río, I.G.
  • Hellín, A.M.
  • Polo, Ó.R.
  • Arribas, M.J.
  • Parra, P.
  • da Silva, A.
  • Sánchez, J.
  • Sánchez, S.
... Ver más Contraer

Electronics (p. 1-23) - 1/1/2020

Editor: MDPI AG

10.3390/electronics9111873 Ver en origen

  • ISSN 08834989
  • ISSN/ISBN 2079-9292

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

  • Parra, P.
  • da Silva, A.
  • Polo, Ó.R.
  • Sánchez, S.

Acta Astronautica (p. 203-211) - 1/2/2018

Editor: Elsevier Ltd

10.1016/j.actaastro.2017.11.037 Ver en origen

  • ISSN 00945765
  • ISSN/ISBN 0094-5765

Development of Mobile Applications as Part of the Computer Science Engineer Curriculum: Methodological and Assessment Considerations

  • Da Silva Farina, Antonio
  • Garcia Hernando, Ana Belen
  • Ramos Nespereira, Carlos;

International Journal Of Engineering Education (p. 106-120) - 1/1/2017

Editor: Instituto de Relaciones Internacionales "Daza de Valdes"

  • ISSN 0949149X
  • ISSN/ISBN 0949-149X

Este/a investigador/a no tiene libros.

Guaranteeing QoS in Wireless Sensor Networks

  • Martinez Ortega, Jose Fernan
  • Garcia, Ana B
  • Corredor, Ivan
  • Lopez, Lourdes
  • Hernandez, Vicente
  • Da Silva, Antonio

Wireless Quality Of Service: Techniques, Standards, And Applications (p. 251-289) - 1/1/2009

Editor: CRC Press

  • ISSN/ISBN 9781420051308

Inyección de fallos en SystemC mediante instrumentación dinámica de código

  • Antonio da Silva Fariña
  • Sebastián Sánchez Prieto

Actas De Las Ix Jornadas De Computación Reconfigurable Y Aplicaciones: Universidad De Alcalá, Departamento De Electrónica, Alcalá De Henares, 9-11 Septiembre, 2009 (p. 495-504) - 1/1/2009

Editor: Editorial Universidad de Alcalá

  • ISSN/ISBN 978-84-8138-832-9

Propuesta de un modelo de BIOS seguro

  • Lourdes López Santidrián
  • Antonio da Silva Fariña
  • Vicente Hernández Díaz
  • Diego González Gómez
  • Eduardo de Frutos Salgado
  • Marina López Chico

Avances En Criptologia Y Seguridad De La Información (p. 393-399) - 1/1/2004

Editor: Díaz de Santos

  • ISSN/ISBN 84-7978-650-7

Uso de técnicas esteganográficas para la distribución y ocultación de claves en redes corporativas seguras

  • Vicente Hernández Díaz
  • Lourdes López Santidrián
  • Antonio da Silva Fariña
  • Alfonso Muñoz Muñoz

Avances En Criptologia Y Seguridad De La Información (p. 413-421) - 1/1/2004

Editor: Díaz de Santos

  • ISSN/ISBN 84-7978-650-7

Residential Wireless Interfaces Virtualization: a Feasibility Study

  • GARCIA HERNANDO, ANA BELEN
  • DA SILVA FARIÑA, ANTONIO

Icwmc 2017 : The Thirteenth International Conference On Wireless And Mobile Communications (p. 67-72) - 23/7/2017

  • iMarina

Virtualization of residential IoT functionality by using NFV and SDN

  • Garcia Hernando A
  • Da Silva Farina A
  • Bellido Triana L
  • Ruiz Pinar F
  • Fernandez Cambronero D

2017 Ieee International Conference On Consumer Electronics, Icce 2017 (p. 86-87) - 29/3/2017

Editor: Institute of Electrical and Electronics Engineers Inc.

10.1109/icce.2017.7889240 Ver en origen

  • ISSN/ISBN 9781509055449

Aprendizaje Asistido por Dispositivos Móviles: UP2B2

  • GARCIA HERNANDO, ANA BELEN
  • ARGUELLES ALVAREZ, IRINA M
  • DA SILVA FARIÑA, ANTONIO
  • GONZALEZ MARTIN, MARIA MAGDALENA
  • MARTINEZ NUÑEZ, MARGARITA

La Sociedad Del Aprendizaje. Actas Del Iii Congreso Internacional sobre Aprendizaje, Innovación Y Competitividad. Cinaic 2015 (p. 359-382) - 14/10/2015

  • iMarina

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

  • Da Silva, A.
  • Sánchez, S.

Simutools 2011 - 4th International Icst Conference On Simulation Tools And Techniques (p. 1-8) - 1/1/2011

Editor: ICST

10.4108/icst.simutools.2011.245516 Ver en origen

  • ISSN/ISBN 9781936968008

LEON3 ViP : a Virtual Platform with Fault Injection capabilities

  • Da Silva, A.
  • Sánchez, S.

13th Euromicro Conference On Digital System Design: Architectures, Methods And Tools (p. 813-816) - 13/12/2010

10.1109/dsd.2010.34 Ver en origen

  • ISSN/ISBN 9780769541716

Wireless sensor networks in knowledge management

  • Martinez, Jose-Fernan
  • Castillejo, Pedro
  • Zuazua, Marta
  • Garcia, Ana-Belen
  • Lopez, Lourdes
  • Dasilva, Antonio
  • Hernandez, Vicente
... Ver más Contraer

Procedia Computer Science (p. 2285-2294) - 1/1/2010

10.1016/j.procs.2010.04.257 Ver en origen

  • ISSN 18770509

Transactions Sequence Tracking by means of Dynamic Binary Instrumentation of TLM Models

  • Da Silva, A.
  • Sánchez, S.

Proceedings Of The 2009 12th Euromicro Conference On Digital System Design, Architectures, Methods And Tools (p. 723-+) - 1/12/2009

10.1109/dsd.2009.206 Ver en origen

  • ISSN/ISBN 9780769537825

Design and implementation of a Java Fault Injector for Exhaustif (R) SWIFI tool

  • A Da Silva
  • J F Martínez
  • L López
  • AB García
  • V Hernández

Design And Implementation Of A Java Fault Injector For Exhaustif® Swifi Tool (p. 77-83) - 23/11/2009

10.1109/depcos-relcomex.2009.27 Ver en origen

On the use of Dynamic Binary Instrumentation to perform Faults Injection in Transaction Level Models

  • Da Silva, A.
  • Sanchez, S.;

Proceedings Of The International Conference On Dependability Of Computer Systems (p. 237-244) - 23/11/2009

10.1109/depcos-relcomex.2009.30 Ver en origen

Security Framework for DPWS Compliant Devices

  • Vicente Hernández
  • Lourdes López
  • Oscar Prieto
  • José-F Martínez
  • Ana-B García
  • Antonio Da-Silva

Proceedings - 2009 3rd International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2009 (p. 87-92) - 19/11/2009

10.1109/securware.2009.21 Ver en origen

  • ISSN/ISBN 9780769536682

Este/a investigador/a no tiene documentos de trabajo.

Este/a investigador/a no tiene informes técnicos.

Redes Definidas por Software para la prestación y gestión de servicios en entornos residenciales y de campus

  • LENTISCO SANCHEZ, CARLOS MARIANO (Participante)
  • LENTISCO SANCHEZ, CARLOS MARIANO (Miembro del equipo de trabajo)
  • FLORES MOYANO, JORGE RICARDO (Miembro del equipo de trabajo)
  • FERNANDEZ CAMBRONERO, DAVID (Investigador principal (IP))
  • PASTOR MARTIN, M. ENCARNACION (Participante)
  • BELLIDO TRIANA, LUIS (Participante)
  • GARCIA HERNANDO, ANA BELEN (Participante)
  • DA SILVA FARIÑA, ANTONIO (Participante)
  • RUIZ PIÑAR, FCO. JAVIER (Participante)
... Ver más Contraer

Ejecución: 01-01-2016 - 31-12-2018

Tipo: Nacional

Importe financiado: 154880,00 Euros.

  • iMarina

TAREAS DE CODIFICACIÓN Y DOCUMENTACIÓN DE LA VERSIÓN JAVA DEL FAULT INJECTION KERNEL (FIK) DE LA HERRAMIENTA EXHAUSTIF

  • DA SILVA FARIÑA, ANTONIO (Investigador principal (IP))

Ejecución: 01-05-2015 - 26-02-2021

Tipo: Interno

  • iMarina

TAREAS DE CODIFICACIÓN Y DOCUMENTACIÓN DE LA VERSIÓN LINUX DEL DEL FAULT INJECTION KERNEL (FIK) DE LA HERRAMIENTA EXHAUSTIF

  • DA SILVA FARIÑA, ANTONIO (Investigador principal (IP))

Ejecución: 28-04-2015 - 26-02-2021

Tipo: Interno

  • iMarina

ANÁLISIS DE VIABILIDAD TÉCNICA DEL MÓDULO FIK PARA WINDOWS DE LA HERRAMIENTA EXHAUSTIF Y REALIZACIÓN DE UN PRUEBA DE CONCEPTO EXITOSA

  • DA SILVA FARIÑA, ANTONIO (Investigador principal (IP))

Ejecución: 08-01-2015 - 26-02-2021

Tipo: Interno

  • iMarina

TAREAS DE CODIFICACIÓN Y DOCUMENTACIÓN DE LA VERSIÓN WINDOWS DE FAULT INJECTION KERNEL (FIK) DE LA HERRAMIENTA EXHAUSTIF

  • DA SILVA FARIÑA, ANTONIO (Investigador principal (IP))

Ejecución: 08-01-2015 - 26-02-2021

Tipo: Interno

  • iMarina

CURSO DE C++ EN LAS INSTALACIONES DE LA EMPRESA

  • DA SILVA FARIÑA, ANTONIO (Investigador principal (IP))

Ejecución: 08-04-2014 - 26-02-2021

Tipo: Interno

  • iMarina

Accessible Wearable Device PIAtform for SmaRt Environments

  • SANCHEZ FERNANDEZ, JOSE ANTONIO (Participante)
  • ORTIZ ORTIZ, OSCAR (Participante)
  • HERNANDEZ DIAZ, VICENTE (Participante)
  • DIEGO MARTINEZ, RUBEN (Participante)
  • LOPEZ SANTIDRIAN, M. LOURDES (Participante)
  • Martinez Ortega, Jose Fernan (Participante)
  • GARCIA HERNANDO, ANA BELEN (Investigador principal (IP))
  • DA SILVA FARIÑA, ANTONIO (Participante)
  • Rubio Cifuentes, Gregorio (Participante)
... Ver más Contraer

Ejecución: 01-01-2012 - 31-12-2014

Tipo: Nacional

Importe financiado: 41261,00 Euros.

  • iMarina

"Pruebas de seguridad y análisis de vulnerabilidades en sistemas TIC"

  • Antonio Dasilva (IP)
  • José Fernán Martínez Ortega (Investigador principal (IP))
  • Martinez Ortega, Jose Fernan (Investigador/a)

Ejecución: 01-01-2010 - 31-12-2011

Tipo: Nacional

Importe financiado: 25000,00 Euros.

  • iMarina

uSWN: Solving Major Problems in MicroSensorial Wireless Networks

  • José Fernán Martínez O (Investigador principal (IP))
  • Martinez Ortega, Jose Fernan (Investigador principal (IP))

Ejecución: 01-10-2006 - 30-09-2009

Tipo: Internacional

Importe financiado: 245614,00 Euros.

  • iMarina

Simulador para arquitecturas multiprocesador utilizadas en el sector espacial para apoyar el desarrollo de mecanismos software de tolerancia a fallos

  • DA SILVA FARIÑA, ANTONIO (Autor o Coautor)
  • Pablo Parra Espada (Director)
  • Antonio da Silva Fariña (Director) Doctorando: Jonatan Sánchez Sánchez

1/1/2022

  • iMarina

UN MÉTODO PARA EL TRAZADO SELECTIVO DE LA EJECUCIÓN DE INSTRUCCIONES, DISPOSITIVO DE PROCESAMIENTO RELACIONADO Y PROCESADOR

  • DA SILVA FARIÑA, ANTONIO (Inventores/autores/obtentores)
  • GARCÍA TEJEDOR, Ignacio (Inventores/autores/obtentores)
  • SÁNCHEZ PRIETO, Sebastián (Inventores/autores/obtentores)
  • PARRA ESPADA, Pablo (Inventores/autores/obtentores)
  • Martinez Hellin, Agustin (Inventores/autores/obtentores)
  • RODRÍGUEZ POLO, Óscar (Inventores/autores/obtentores)

8/7/2020

  • iMarina
Última actualización de los datos: 28/08/24 9:27