Um algoritmo distribuído para verificação de modelos com fronteiras
Carregando...
Arquivos
Data
Autor(es)
Título da Revista
ISSN da Revista
Título de Volume
Editor
Universidade Federal de Minas Gerais
Descrição
Tipo
Dissertação de mestrado
Título alternativo
Primeiro orientador
Membros da banca
David Boris Paul Deharbe
Renato Antonio Celso Ferreira
Renato Antonio Celso Ferreira
Resumo
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.
Assunto
Algoritmos, Computação, Programas de computador Verificação
Palavras-chave
Modelos, Algoritmo