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