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
| 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)
Click here to obtain
|
Last modifications: by jro |