Resumo da Tese apresentada à COPPE/UFRJ como parte dos requisitos necessários para a obtenção do grau de Doutor em Ciências (D.Sc.)

Codiagnosticabilidade de Sistemas a Eventos Discretos em Rede Sujeitos a Atrasos de Comunicação e Perda Intermitente de Observação

Carlos Eduardo Viana Nunes

Outubro/2016

Orientadores:

João Carlos dos Santos Basílio Marcos Vicente de Brito Moreira

Programa:

Engenharia Elétrica

      No diagn´ostico de falhas de Sistemas a Eventos Discretos distribu´idos, ´e usualmente considerado que na comunica¸c˜ao entre os dispositivos n˜ao h´a perdas nem atrasos na comunica¸c˜ao da ocorrˆencia de eventos para os diagnosticadores. No entanto, os canais de comunica¸c˜ao reais s˜ao sujeitos a atrasos e a perdas intermitentes de pacotes que podem levar o diagnosticador a observar eventos fora da ordem de ocorrˆencia, proporcionando um incorreto diagnostico da falha. Neste trabalho, investigamos a codiagnosticabilidade de um sistema em rede com atrasos de comunica¸c˜ao e perdas intermitentes de observa¸c˜ao. Introduzimos a defini¸c˜ao de codiagnosticabilidade em rede contra atrasos de comunica¸c˜ao e perdas intermitentes de observa¸c˜ao, apresentamos uma condi¸c˜ao necess´aria e suficiente para a codiagnosticabilidade em rede e propomos um algoritmo para a verifica¸c˜ao desta propriedade.