Descripción del proyecto
LA COMPUTACION DISTRIBUIDA CONFIABLE ESTA EVOLUCIONANDO RAPIDAMENTE HACIA ESCENARIOS CON CAPACIDADES DE AUTO-ORGANIZACION Y ADAPTACION. LOS SISTEMAS DISTRIBUIDOS TOLERANTES A FALLOS, BASADOS EN CONJUNTOS DE ORDENADORES INTERCONECTADOS QUE INCLUYEN SERVIDORES REPLICADOS, COLECCIONES AD-HOC DE DISPOSITIVOS, REDES DE SENSORES INALAMBRICAS, REDES ENTRE PARES CON O SIN INFRAESTRUCTURA, REDES OPORTUNISTAS O SISTEMAS DE COMPUTACION EN LA NUBE, PERMITEN EN TEORIA A SUS PARTICIPANTES ACCEDER A SERVICIOS INDEPENDIENTEMENTE DE SU LOCALIZACION, DE LA TOPOLOGIA O DE LA MOVILIDAD. EN LA PRACTICA, DISEÑAR SERVICIOS CONFIABLES PARA SISTEMAS DISTRIBUIDOS ALTAMENTE DINAMICOS ES UN RETO AUN POR RESOLVER SATISFACTORIAMENTE. LOS CONTINUOS CAMBIOS EN LA COMPOSICION DEL SISTEMA Y EN LA TOPOLOGIA DE LA RED DEBIDOS A ATAQUES, PERDIDAS DE MENSAJES, CONEXIONES Y DESCONEXIONES, FALLOS Y MOVILIDAD DE LOS NODOS, OBLIGAN A APLICAR ENFOQUES NOVEDOSOS PARA EL SOPORTE DE APLICACIONES, EN PARTICULAR PARA LA RESOLUCION DEL PARADIGMA DEL CONSENSO O ACUERDO DISTRIBUIDO TOLERANTE A FALLOS.RECIENTEMENTE NUESTRO GRUPO DE INVESTIGACION HA CONTRIBUIDO EN ESTA AREA CON LA PROPUESTA DE UN MODELO FORMAL PARA CATEGORIZAR SISTEMAS DISTRIBUIDOS CONFIABLES Y ADAPTATIVOS, JUNTO CON UN SERVICIO DE ELECCION DE LIDER PARA SISTEMAS EN LOS QUE SE ALTERNAN PERIODOS DE COMPORTAMIENTO ESTABLE CON PERIODOS DE INESTABILIDAD. ESTE ENFOQUE, CONVENIENTEMENTE EXTENDIDO A TODOS LOS ASPECTOS DEL SISTEMA DISTRIBUIDO, PERMITE REFLEJAR DE MANERA ADECUADA LA REALIDAD DE MUCHOS SISTEMAS ACTUALES. ASI, EL ACUERDO DISTRIBUIDO NECESARIO PARA PROPORCIONAR SERVICIOS CONFIABLES ESTA SOPORTADO POR UN PROTOCOLO DE ELECCION DE LIDER QUE PROGRESA EN PERIODOS DE ESTABILIDAD Y PRESENTA RESILIENCIA EN LOS PERIODOS PROVOCADOS POR CUALQUIER FORMA DE INESTABILIDAD.EL OBJETIVO GENERAL DEL PROYECTO BFT-DYNASTIE ES EXTENDER EL MODELO BASADO EN LA ALTERNANCIA DE PERIODOS DE COMPORTAMIENTO ESTABLE E INESTABLE A TODOS LOS ASPECTOS DE LOS SISTEMAS DISTRIBUIDOS TOLERANTES A FALLOS, INCLUYENDO LOS MODELOS DE SINCRONIA, DE FALLOS DE PROCESOS Y CANALES DE COMUNICACION, DE COMPOSICION DEL SISTEMA, DE LA MOVILIDAD DE LOS NODOS, Y DEL PARTICIONADO DE LA RED. LOS DOS RETOS PRINCIPALES Y NOVEDOSOS DE ESTE PROYECTO SON: LA CONSIDERACION DEL MODELO DE FALLO MAS GENERAL Y COMPLEJO DE ABORDAR, CONOCIDO COMO BIZANTINO, ARBITRARIO O MALICIOSO, QUE REQUIERE MAYORIAS CUALIFICADAS Y LA UTILIZACION DE TECNICAS DEL AREA DE LA SEGURIDAD; Y EL FUNCIONAMIENTO DEL SISTEMA EN MODO PARTICIONADO.COMO RESULTADO DEL PROYECTO SE DESARROLLARA UN CONJUNTO DE SERVICIOS DE ACUERDO DISTRIBUIDO TOLERANTES A FALLOS BIZANTINOS SIGUIENDO UN ENFOQUE MODULAR. ASI, SE IDENTIFICAN TRES SERVICIOS BASICOS (DETECCION DE FALLOS, ELECCION DE LIDER Y RADIADO FIABLE) Y OTROS TANTOS SERVICIOS AVANZADOS BASADOS EN LOS ANTERIORES (CONSENSO, PUBLISH/SUBSCRIBE Y RADIADO CON ORDEN TOTAL), QUE A SU VEZ DARAN SOPORTE AL DESARROLLO DE APLICACIONES TOLERANTES A FALLOS.CON EL OBJETIVO DE ESTABLECER LA VALIDEZ DEL ENFOQUE PROPUESTO Y VERIFICAR SU APLICABILIDAD PRACTICA, SE EVALUARAN LOS SERVICIOS DESARROLLADOS EN DOS AMBITOS DE APLICACION: LA GENERACION DISTRIBUIDA DE CRIPTOMONEDAS TIPO BITCOIN Y EL CONTROL DE TRANSACCIONES UTILIZANDO LOS SERVICIOS DE CONSENSO Y DE RADIADO CON ORDEN TOTAL, Y LA UTILIZACION DEL SERVICIO PUBLISH/SUBSCRIBE EN LA DENOMINADA INTERNET DE LOS OBJETOS, MAS CONCRETAMENTE EN EL AMBITO DE LOS SISTEMAS CIBERFISICOS BASADOS EN REDES DE SENSORES INALAMBRICAS. OLERANCIA A FALLOS BIZANTINOS\REPLICACIÓN DE MÁQUINA DE ESTADOS\SISTEMAS PUBLISH/SUBSCRIBE\BITCOIN\RADIADO CON ORDEN TOTAL\CONSENSO\ELECCIÓN DE LÍDER\DETECCIÓN DE FALLOS\SISTEMAS PARTICIONABLES\SERVICIOS DINÁMICOS ADAPTATIVOS