Informações Principais
     Resumo
     Abstract
     Introdução
     Conclusão
     Download
  
  
  
 
Conclusão
 
 
Acadêmico(a): Renato Correa Braz
Título: A Construção de um Simulador de Processos Concorrentes Utilizando DEVS Como Estrutura Formal de Modelagem
 
Conclusão:
O presente trabalho apresentou os fundamentos para a utilização de técnicas de desenvolvimento de um simulador de processos concorrentes utilizando uma metodologia forma de especificação de sistemas. A simulação pode ser considerada uma maneira pela qual o comportamento de um sistema é observado, parametrizando-se os cenários estudados. A simulação a eventos discretos é modelada pelas definições das mudanças que ocorrem no tempo do evento. O formalismo DEVS é um mecanismo de simulação a eventos discretos proposto por Zeigler e Sarjoughian (2002). Estabelece uma teoria de modelo de sistemas de tempo contínuo usando modelagem de eventos discretos. O formalismo define como gerar novos valores para as variáveis e os momentos que estes valores devem mudar. Há que se destacar que, apesar de haverem várias implementações diferentes deste formalismo escritas em Java, C++ e Phyton, esta é a primeira implementação conhecida em Delphi, sendo que foi necessário construir toda uma arquitetura inexistente, sem a utilização de componentes previamente desenvolvidos. O resultado obtido não superou as expectativas, todavia o modelo de framework viabilizado foi construído conforme especificação da literatura. Todos os esforços foram concentrados no sentido de resolver um problema de sincronização de tempos de simulação. Suspeita-se que tal problema esteja na modelagem dos componentes GenR e TransD, pois o framework é genérico, conforme a especificação. Foram desenvolvidas mais de 20 versões do protótipo para corrigir a aquitetura do framework, sendo que as últimas versões foram implementadas no sentido de corrigir o avanço no relógio de controle de simulação. Apesar de não atingir totalmente os objetivos propostos, o presente trabalho é significativo em relação ao formalismo DEVS, o que permite expandir horizontes de pesquisa em simulação de eventos discretos. O alto nível de abstração da engine tornou este trabalho compatível com projetos de pesquisa desenvolvidos no curso de ciências da computação, o que colabora na dificuldade do tema de um trabalho para o curso de sistemas de informação.