Please use this identifier to cite or link to this item:
http://hdl.handle.net/1843/SLBS-67FK6Z| Type: | Dissertação de Mestrado |
| Title: | Um algoritmo distribuído para verificação de modelos com fronteiras |
| Authors: | Hugo Valentim Barros |
| First Advisor: | Sergio Vale Aguiar Campos |
| First Referee: | David Boris Paul Deharbe |
| Second Referee: | Renato Antonio Celso Ferreira |
| Abstract: | Este trabalho apresenta um algoritmo distribuído para o problema de Verificação de Modelos com Fronteiras. O modelo proposto divide o problema a ser resolvido em um solucionador primário e variossecundários, com o objetivo de executar cada um em um computador diferente. Esta arquitetura permite explorar a simetria inerente do problema de Verificação de Modelos com Fronteiras devido ao fato deque cada transição do modelo ser semelhante as outras. Os resultadosobtidos demonstram que esta divisao de tarefas é eficiente e obtém ganhos significativos. No decorrer deste texto apresentamosexemplos em que obtivemos ganhos de até um ordem de magnitude no tempo de resposta e na utilização de memória. |
| Abstract: | This work introduce a distributed algorithm to the bounded model checking problem. The proposed model distribute the problem between a primary solver and several secondary solvers with the objective of execute each one in a different computer. This architecture explore theinherent simmetry of the bounded model cheking problem, due to thefact that each transition in the model is similar to the other ones. Theresults obtained show that this task distribution is efficient. In the courseof the text we present examples where we achieved gains up to one orderof magnitude in time and memory utilization. |
| Subject: | Algoritmos Computação Programas de computador Verificação |
| language: | Português |
| Publisher: | Universidade Federal de Minas Gerais |
| Publisher Initials: | UFMG |
| Rights: | Acesso Aberto |
| URI: | http://hdl.handle.net/1843/SLBS-67FK6Z |
| Issue Date: | 12-Nov-2004 |
| Appears in Collections: | Dissertações de Mestrado |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| hugovalentim.pdf | 707.45 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.