Diagnóstico de falhas baseado em autômatos temporizados : aplicação em um sistema modular de manufatura

O problema do diagnostico de falhas, utilizando a teoria de Sistemas a Eventos Discretos, tem sido largamente abordado pela comunidade academica. Entretanto, a aplicacao desta teoria a sistemas reais e um campo onde ha muito a ser explorado. O problema proposto, neste trabalho, e o de diagnosticar falhas permanentes ou intermitentes de dispositivos (sensores e atuadores) pertencentes a estacoes de um sistema flexivel de manufatura didatico, denominado Sistema Modular de Producao - MPS, fabricado pela empresa Festo. Este objetivo sera alcancado por meio de uma modelagem e simulacao que permitam uma futura implementacao no sistema. Serao apresentados tres metodos para diagnostico de falhas escritos na linguagem do software UPPAAL que se baseia no formalismo automatos seguros temporizados, conforme proposto por ALUR e DILL (1994) e HENZINGER et al (1994). O primeiro metodo e uma implementacao do diagnosticador proposto em TRIPAKIS (2002). Os outros dois metodos, elaborados nesta pesquisa, sao inspirados no diagnosticador TRIPAKIS (2002) e sao diagnosticaveis pelos criterios apresentados em TRIPAKIS (2002) e Idiagnosticabilidade conforme SAMPATH et al. (1995). As estrategias para deteccao de falhas incluem a utilizacao de uma rede de automatos seguros temporizados, composta pelo automato que descreve o comportamento do processo e por automatos diagnosticadores para cada tipo de falha. Os diagnosticadores detectam as falhas a partir da observacao de atrasos de determinadas transicoes do automato G (processo) e as isolam por meio de observacoes dos estados dos sensores. Eventos indicadores de falhas servem para anunciar falhas e sincronizar o automato G com os diagnosticadores.