Defesa de Mestrado – Guilherme Teixeira Araújo – 21/7/2021
13/07/2021 08:12
| Defesa de Dissertação de Mestrado | |
| Aluno | Guilherme Teixeira Araújo |
| Orientador | Prof. Felipe Gomes de Oliveira Cabral, Dr. – DAS/UFSC |
| Data | 21/7/2021 (quarta-feira) – 9h
Videoconferência (https://meet.google.com/rri-urmj-jqk) |
| Banca | Prof. Felipe Gomes de Oliveira Cabral, Dr. – DAS/UFSC (presidente);
Prof. Carlos Eduardo Viana Nunes, Dr. – DEEC/UFBA Prof. Gustavo da Silva Viana, Dr. – COPPE/UFRJ; Prof. Max Hering de Queiroz, Dr. – DAS/UFSC. |
| Título | Diagnóstico Síncrono Descentralizado de Sistemas a Eventos Discretos sujeito a Atrasos de Comunicação de Eventos |
| Resumo: Recentemente, arquiteturas para o diagnóstico síncrono de sistemas a eventos discretos foram propostas com o objetivo de reduzir o custo computacional de implementação da técnica de diagnóstico quando comparada a métodos tradicionais. Nessa abordagem, diagnosticadores locais, construídos a partir do comportamento sem falha dos componentes do sistema, são implementados separadamente e inicializados ao mesmo tempo, funcionando em paralelo para identificar a ocorrência de falhas. Dentre as arquiteturas de diagnóstico síncrono, destaca-se a descentralizada, em que os diagnosticadores locais podem ser implementados de forma espacialmente distribuída, incluindo em diferentes equipamentos, permitindo uma flexibilização maior para sua implementação. Entretanto, problemas de comunicação entre equipamentos podem ocorrer, gerando possíveis atrasos entre a detecção do evento por um sensor e seu registro com sucesso pelo diagnosticador. Esse problema foi endereçado recentemente no contexto de diagnóstico descentralizado, mas não em arquiteturas síncronas. É importante destacar que uma adaptação direta do método de diagnóstico descentralizado sujeito a atraso de eventos implicaria em uma abordagem de diagnóstico síncrono menos eficiente, podendo levar, inclusive, à não possibilidade de diagnosticar determinadas falhas que poderiam ser diagnosticáveis. Nesta dissertação, um método de diagnóstico síncrono descentralizado robusto a atrasos de comunicação de eventos é proposto. O método é baseado em uma modificação nos modelos dos componentes do sistema, de tal forma que possíveis atrasos de comunicação sejam considerados e, assim, diagnosticadores locais que sejam calculados a partir dos modelos modificados sejam robustos a possíveis atrasos de comunicação de eventos. Essa modificação primeiro leva em consideração uma atualização de referencial para o atraso dos eventos do sistema completo para seus componentes. Nesse contexto, também é proposta uma definição de diagnosticabilidade síncrona robusta a atrasos de eventos e uma discussão acerca de sua verificação é apresentada. | |
