C&A-SBA logo

Volume 12 number 2

Pages: 102-117


Uma ferramenta para verificação de sistemas distribuídos com lógica nebulosa: implementação e experiências

Orlando Bernardo Filho1,2, Aloysio C. P. Pedroza2,3 e Jorge L. S. Leão2

    (1) Departamento de Enga. de Sistemas e Computação/FEN-UERJ
    Rua São Francisco Xavier no 524, bloco D, 5o andar, sala 15, CEP 20550-013
    E-mail: orlando@eng.uerj.br
    (2) Programa de Engenharia Elétrica/COPPE-UFRJ
    Caixa Postal 68504 CEP 21945-700 Rio de Janeiro RJ, TEL. (021) 260-5010 FAX. (021) 290-6626
    E-mail: orlando@gta.ufrj.br/aloysio@gta.ufrj.br/leao@gta.ufrj.br
    (3) Departamento de Eletrônica/EE-UFRJ
Resumo: 
Este trabalho apresenta uma pesquisa realizada sobre técnicas formais de especificação e verificação que permitiu desenvolver uma ferramenta capaz de verificar propriedades de sistemas distribuídos. Esta ferramenta, denominada Verest+, baseia-se na Lógica Nebulosa e na Lógica Temporal. São discutidas experiências com um protocolo para a gerência de redes de computadores, com o protocolo Abracadabra, padronizado pela ISO (International Organization for Standardization), e com um protocolo multiponto-multiponto para texto-conferência.
Palavras Chave: Lógica Nebulosa, Heurística, Verificação, Protocolos, Modelos de Espaço de Estados.
  
Abstract:  A Fuzzy Logic Based Toolset for the Verification of Distributed Systems: Implementation and Experiments
This paper presents a research on formal specification and verification techniques. The results obtained allowed the development of a verification tool capabable of verifying distributed systems properties. The tool, called Verest+, is based on Fuzzy and Temporal logics. This paper also discusses experiments with a protocol for computer networks management, the ISO (International Organization for Standardization) Abracadabra protocol and a multipoint-multipoint text conference protocol.
Keywords: Fuzzy Logic, Heuristics, Verification, Protocols, State Space Models.

PDF copy (211 kbytes)

Back to Volume 12 index.


Click here to obtain
get acrobat reader

Last modifications:  
 by jro