Data/hora: 22/06/2024 02:40:08

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 12/07/1996
Data da última atualização: | 17/08/2007
Autoria: | ALBUQUERQUE, L. A. C.; MACIEL, P. R. M.; MEDEIROS, T. M. P. de; CASTRO, J. F. B.
Título: | Uso de redes de Petri temporizadas para o diagnostico de falhas em sistemas digitais.
Ano de publicação: | 1995
Fonte/Imprenta: | In: SIMPÓSIO DE COMPUTADORES TOLERANTES A FALHAS, 6.; CONGRESSO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO, 15., 1995, Canela. Anais ... Porto Alegre: UFRGS, Instituto de Informática, 1995.
Páginas: | p.181-200.
Idioma: | Português
Conteúdo: | Este trabalho apresenta um sistema de diagnostico de falhas e um metodo de especificacao de sistemas digitais. O sistema de diagnostico e composto principalmente, por uma ferramenta de geracao automatica do modelo global, por um jogador de Redes de Petri (simulador) e por um modulo de diagnostico. A partir da lista de ligacoes ("WIRE-LIST") do sistema digital e de um vetor caracteristico, que representa o sintoma observado, o sistema de diagnostico fornece as possiveis causas da falha do sistema analisado. Para que seja obtida uma especificacao precisa de um sistema e necessario a utilizacao de uma tecnica de especificacao formal. A utilizacao de redes de Petri temporizada e conveniente, pois possibilita a modelagem de sistemas que tenham atividades  assincronas, paralelas, concorrentes, nao deterministicas e temporizadas. Para obtencao dos modelos foi desenvolvido um metodo de especificacao de sistemas digitais que parte da descricao comportamental de cada componente, atraves de regras operacionais. A partir das regras operacionais, sao construidas as redes de Petri elementares que modelam cada componente do sistema.Os modelos obtidos sao agrupados em um arquivo para formar uma biblioteca de componentes, utilizada pela ferramenta de geracao automatica da rede de Petri global. Esta ferramenta e parte integrante do sistema de diagnostico de falhas e obtem o modelo global atraves da tecnica de fusao de lugares comuns. Este processo garante a preservacao das propriedades das redes elementares no modelo...
Categoria do assunto: | --
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (3489-1) - ADD - PL - -- - 004.2 - SIM - 1995.00003 - DIS