Diagnosticabilidade Síncrona Distribuída de Sistemas a Eventos Discretos Sujeita a Atrasos de Comunicação de Eventos

Abstract

Recentemente, a arquitetura de diagnóstico síncrono distribuído de sistemas a eventos discretos foi proposta. Nesse esquema, diagnosticadores locais, construídos a partir do comportamento sem falha dos componentes do sistema, que comunicam observações de eventos e estimativas de estado são propostos. Nesse contexto, é suposto que a comunicação entre diagnosticadores é ideal, ou seja, não há atrasos ou perdas de pacote. Entretanto, em sistemas complexos, nem sempre é possível supor que a rede de comunicação é ideal, podendo haver atrasos na comunicação entre diagnosticadores locais. Para endereçar esse problema, neste trabalho, o diagnóstico síncrono distribuído sujeito a atrasos de comunicação de eventos é considerado. Para tanto, é suposto que os diagnosticadores locais comunicam apenas observações de eventos. Uma modificação dos modelos dos componentes do sistema é proposta para levar em consideração o atraso máximo de observação de eventos por cada diagnosticador local. Além disso, uma nova definição de diagnosticabilidade síncrona distribuída que leva em consideração possíveis atrasos de observação é proposta.