Personal tools
You are here: Home / investigación

Líneas de Investigación

  • Computación autonómica:

       Participantes: LSD, Bettina Kemme (McGill), Andago, Bull.

      • Auto-reparación: BDs, servicios web, servidores de aplicación. Disponibilidad continua, Tolerancia a fallos, Recuperación en línea.
      • Auto-configuración. Actualización en grandes redes corporativas (TOMAS). Auto-provisionado (self-provisioning): BDs, multi-capa. Modelado analítico.
      • Auto-optimización. Equilibrado dinámico de la carga.
      • Auto-protección. “Fenced honeypots” en ISPs.


  • Bases de datos replicadas autonómicas de alta confiabilidad y de altas prestaciones:

       Participantes: LSD, Bettina Kemme, Microsoft Research (financiación European PhD Award),  Angelos Bilas (FORTH).

      • Conseguir alta escalabilidad en replicación de BDs.
      • Abordar los límites inherentes a los enfoques actuales:
        • Criterio corrección. 1SR -> 1CSI
        • Replicación total. Total -> Híbrida -> Pura
        • Coste de la comunicación para la coordinación. Offloading en redes de alto ancho de banda.
      • Modelado analítico de la escalabilidad de la replicación parcial.


  • Sistemas ubicuos autonómicos para redes heterogéneas

      Participantes: LSU, IBM Research at Austin, Vitanuova y Bell Labs.

      • Plan B: Sistema operativo para sistemas ubicuos:
        • Descubrimiento de recursos.
        • Localización espacial de recursos.
        • Interfaces  de usuario  ubicuas.
        • Sensorización  y actuación sobre el entorno físico.
      • Los mecanismos presentes en Plan B para tolerar la adaptación a cambios del entorno permiten desarrollar aplicaciones autonómicas.
      • Trabajo actual en aumento de la escalabilidad.


  • Clustering autonómico para sistemas middleware

     Participantes: LSD, Bull, Bettina Kemme (McGill), mCentric, (SAP está interesada en participar, propuesta FP7)

      • Estudio de arquitecturas para clustering para arquitecturas multi-capa.
      • Replicación horizontal vs. vertical.
      • Solución basada en replicación vertical:
        • Caché replicada basada en snapshot isolation.
        • Corrección: semántica exactamente-una-vez, corrección 1-copia.
      • Solución que mejora a todas las soluciones comerciales de IBM, Microsoft, BEA, SAP, etc.
      • Patente en desarrollo con 2 empresas interesadas en su explotación comercial.

  • Algoritmos distribuidos autonómicos

     Participantes: LAD, LSD, Michel Raynal (IRISA), Mikel Larrea (Univ. País Vasco).

      • Implementación eficiente de detectores de fallos en distintos modelos de sistema.
      • Resultados: Condiciones mínimas para la implementabilidad de “detector futuro de líder” en sistemas de paso de mensajes y de memoria compartida distribuida con composición de los procesos desconocida.
      • Implementación eficiente de sistemas de memoria compartida distribuida.
      • Algoritmo parametrizable que implementa varios modelos de coherencia de memoria basado en un único parámetro.


  • Propiedades emergentes en sistemas complejos autonómicos

     Participantes: LAD, Chryssis Georgiou (Univ. Chipre), Michel Raynal (IRISA).

      • Extracción de propiedades concretas del sistema a base del intercambio periódico de un número constante de mensajes entre nodos elegidos al azar.
      • Es capaz de extraer información de una red en tiempo logarítmico respeto a su tamaño.
      • El problema que hemos resuelto es el de dividir todos los nodos de la red en “rodajas” según un parámetro que cada nodo posee (su capacidad de cálculo, p. ej.).
      • Taxonomía de comunicación autonómica -> ACM Trans. on Autonomous and Adaptive Systems (TAAS)
      • Sistemas P2P en presencia de procesos egoístas y maliciosos (bizantinos).
        • Aplicación de teoría de juegos.
        • Obtención de equilibrio de Nash en presencia de procesos maliciosos.
        • Consenso binario en presencia de procesos maliciosos.


  • Composición autonómica de servicios web

      Participantes: LSD, Ernestina Martel (ULPGC), Bull, Atos Origin.

      • Arquitectura reflexiva para separación de aspectos funcionales y no funcionales (tolerancia a fallos, distribución, seguridad, transacciones).
      • Aplicación actual a distribución y transacciones avanzadas.
      • Máquina BPEL con compositor visual -> licenciada a Bull y actualmente producto comercial BSOA Orchestra.


  • Redes de paquetes autonómicas

     Participantes: LAD, Miguel Mosteiro (Rutgers Univ.).

      • Nuevo modelo de red de paquetes con llegada controlada por un adversario (Continuous AQT).
      • Estudiado las propiedades emergentes de la red antes varias políticas de planificación de paquetes.
      • Cómo estas propiedades varían en redes donde los relojes de los encaminadores están defasados y/o tienen derivas.
      • Aplicación a transmisión y encaminamiento en redes de sensores.


  • Sistemas P2P

     Participantes: LSD, LAD, Roberto Baldoni (La Sapienza di Roma), Esther Pacitti (Univ. Nantes, INRIA-LINA).

      • Protocolos para garantizar consistencia en sistemas P2P.
      • Nuevos sistemas de quórums para coordinación descentralizada eficientes en carga global para P2P.
      • Técnicas de diseño generales de sistemas de quórums eficientes en redes P2P.
      • Tesis en cotutela con la Univ. La Sapienza di Roma.
      • Paseos aleatorios (random walks) como técnica de búsqueda de recursos en redes P2P no estructuradas.
      • Técnicas autonómicas para adaptar dinámicamente el tiempo y longitud del paseo.
      • Técnicas de reconciliación escalables para sistemas P2P.


  • Sistemas de Data Warehousing Autonómicos (nueva línea)

     Participantes: LSD, Telefónica.

      • Línea iniciada con telefónica.
      • Objetivo: integrar fuentes de datos heterogéneas y autónomas e independientes accesibles a través de Internet.
      • Problemática:
        • Traducción autonómica entre esquema virtual y esquemas físicos (consultas y resultados).
        • Cruce de dominios transparente y eficiente: cliente-data warehouse-fuente datos.
        • Sistema data warehousing escalable para procesamiento de cantidades masivas de datos.
      • Producto licenciado a Telefónica.


  • Data Streaming Altamente Escalable

     Participantes: LSD, P. Valduriez (INRIA-LINA), Angelos Bilas (FORTH), Thales, Telefónica.

      • El data streaming ha surgido como un nuevo paradigma para aplicaciones en que:
        • Hay un flujo masivo de datos.
        • No se puede almacenar.
        • Hay que procesarlos al vuelo.
      • Técnicas que desarrollan lenguajes de consulta temporales y/o continuos.
      • Técnicas actuales escalan distribuyendo consultas diferentes.
      • Nuestro objetivo ser capaz de procesar flujos en lo que una consulta (o incluso un único operador) no pueda ser ejecutada por un único nodo.

Document Actions