6m715u

Volume 12 number 2

Pages: 102-117

Uma ferramenta para verificao de sistemas distribudos com lgica nebulosa: implementao e experincias

Orlando Bernardo Filho1,2, Aloysio C. P. Pedroza2,3 e Jorge L. S. Leo2

    (1) Departamento de Enga. de Sistemas e Computao/FEN-UERJ
    Rua So Francisco Xavier no 524, bloco D, 5o andar, sala 15, CEP 20550-013
    E-mail: [email protected]
    (2) Programa de Engenharia Eltrica/COPPE-UFRJ
    Caixa Postal 68504 CEP 21945-700 Rio de Janeiro RJ, TEL. (021) 260-5010 FAX. (021) 290-6626
    E-mail: [email protected]/[email protected]/[email protected]
    (3) Departamento de Eletrnica/EE-UFRJ
Resumo:
Este trabalho apresenta uma pesquisa realizada sobre tcnicas formais de especificao e verificao que permitiu desenvolver uma ferramenta capaz de verificar propriedades de sistemas distribudos. Esta ferramenta, denominada Verest+, baseia-se na Lgica Nebulosa e na Lgica Temporal. So discutidas experincias com um protocolo para a gerncia de redes de computadores, com o protocolo Abracadabra, padronizado pela ISO (International Organization for Standardization), e com um protocolo multiponto-multiponto para texto-conferncia.
Palavras Chave: Lgica Nebulosa, Heurstica, Verificao, Protocolos, Modelos de Espao 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 ing 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