Descripción del proyecto
LA COMPUTACION DISTRIBUIDA ESTA EVOLUCIONANDO RAPIDAMENTE HACIA ESCENARIOS DINAMICOS CON CAPACIDADES DE AUTO-ORGANIZACION Y ADAPTACION, LOS SISTEMAS DISTRIBUIDOS DINAMICOS, BASADOS EN COLECCIONES AD-HOC DE DISPOSITIVOS DISTRIBUIDOS DE COMPUTACION, REDES DE SENSORES INALAMBRICAS, REDES ENTRE PARES 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 TOPOLOGIA DE LA RED DEBIDOS A 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 DE ACUERDO DISTRIBUIDO TOLERANTE A FALLOS,RECIENTEMENTE NUESTRO GRUPO DE INVESTIGACION HA PROPUESTO UN MODELO FORMAL PARA CATEGORIZAR SISTEMAS DISTRIBUIDOS DINAMICOS Y MOVILES, ASI COMO UN PROTOCOLO DE ELECCION DE LIDER PARA UN SISTEMA DINAMICO Y MOVIL EN EL QUE SE ALTERNAN PERIODOS DE COMPORTAMIENTO SUFICIENTEMENTE 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 ESTARIA SOPORTADO POR UN PROTOCOLO DE ELECCION DE LIDER QUE PROGRESASE EN PERIODOS DE ESTABILIDAD Y PRESENTASE RESILIENCIA EN LOS PERIODOS PROVOCADOS POR CUALQUIER FORMA DE INESTABILIDAD,EL OBJETIVO GENERAL DEL PRESENTE PROYECTO ES INVESTIGAR LA EXTENSION DEL MODELO BASADO EN LA ALTERNANCIA DE PERIODOS DE COMPORTAMIENTO ESTABLE E INESTABLE, A TODOS LOS ASPECTOS DE LOS SISTEMAS DISTRIBUIDOS DINAMICOS, 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, ESTO DA LUGAR A UNA VARIEDAD DE MODELOS DE SISTEMAS QUE PUEDEN SER CATEGORIZADOS DE ACUERDO A LAS RESTRICCIONES QUE SE IMPONGAN SOBRE CADA UNO DE LOS ASPECTOS, UN SUBCONJUNTO DE LOS MODELOS OBTENIDOS SERAN DE INTERES PRACTICO PARA SISTEMAS DINAMICOS, Y PARA CADA UNO DE ESTOS MODELOS PRETENDEMOS RESOLVER EL PROBLEMA DEL ACUERDO DISTRIBUIDO MEDIANTE UN ENFOQUE DE ELECCION DE LIDER,CON EL OBJETIVO DE ESTABLECER LA VALIDEZ DE NUESTRO ENFOQUE, PRETENDEMOS EVALUAR LOS PROTOCOLOS DE ELECCION DE LIDER Y DE ACUERDO DISTRIBUIDO OBTENIDOS COMPARATIVAMENTE A OTRAS PROPUESTAS DE LA LITERATURA, ASI COMO VERIFICAR SU APLICABILIDAD PRACTICA IMPLEMENTANDOLOS EN REDES DE SENSORES INALAMBRICAS Y EN ESCENARIOS CONCRETOS CARACTERIZADOS POR LA GENERACION Y EL CONSUMO DISTRIBUIDO DE EVENTOS DE MANERA EFICIENTE Y CONFIABLE, EN PARTICULAR SISTEMAS DE MONITORIZACION Y SISTEMAS DE ENCAMINAMIENTO EN REDES MALLADAS, ASIMISMO, NOS PROPONEMOS INVESTIGAR UN ASPECTO CLAVE DE LOS SISTEMAS CONFIABLES, COMO ES EL CASO DE LA SEGURIDAD, Y SU INTEGRACION EN NUESTRO ENFOQUE, SERVICIOS CONFIABLES\ SISTEMAS DISTRIBUIDOS DINÁMICOS\ COMPUTACIÓN UBICUA\ FIABILIDAD\ SEGURIDAD\ TOLERANCIA A FALLOS\ COMPUTACIÓN ESCALABLE\ REDES DE MALLA\ REDES INALÁMBRICAS DE SENSORES