Formal Modelling and Analysis of Some Functionalities of Transport Protocol through the Petri Nets. / Modelagem e Análise Formal de Algumas Funcionalidades de um Protocolo de Transporte através de Redes de Petri / Formal Modelling and Analysis of Some Functionalities of Transport Protocol through the Petri Nets. / Modelagem e Análise Formal de Algumas Funcionalidades de um Protocolo de Transporte através de Redes de Petri

AUTOR(ES)

Marcos Gilton Miranda Martins

DATA DE PUBLICAÇÃO

2003

RESUMO

Esta dissertação aplica um método formal para o estudo, modelagem e análise de algumas fucionalidades do protocolo de transporte denominado SCTP. Este protocolo vem sendo desenvolvido há mais de cinco anos pelo IETF e alcançou um nível de eficiência em funcionalidade tão grande que está sendo considerado o provável candidato para substituir o TCP. É ideal para ser utilizado conjuntamente com o IPv6. Para a modelagem e análise, é empregado um formalismo matemático denominado Rede de Petri, que é uma ferramenta de modelagem e análise formal de sistemas concorrentes e paralelos, e cujo estudo e apresentação é parte integrante do trabalho. Neste trabalho, utilizam-se algumas ferramentas computacionais de auxílio à modelagem e análise de Redes de Petri, denominadas PAREDE e Design/CPN. Estas ferramentas computacionais foram escolhidas por implementarem extensões da teoria formal básica de Rede de Petri, possibilitando a modelagem de Redes de Petri com propriedades temporais e coloridas, além de implementarem métodos de análise formal das redes. Os modelos do protocolo SCTP desenvolvidos em Redes de Petri fornecem um nível de detalhes suficientes para conduzir uma análise de comportamento funcional e de certas propriedades, como ausência de bloqueios (deadlocks), sincronismo e seqüência correta de mensagem, além da checagem da consistência da especificação oficial do SCTP, a RFC2960.

ASSUNTO(S)

formal analysis. redes de petri protocolos de comunicação modelagem communication protocols telecomunicacoes modelagem communication protocols modeling análise formal. petri nets redes de petri modeling análise formal. petri nets formal analysis. telecomunicacoes protocolos de comunicação

Documentos Relacionados

• Air conditioning control systems modelling using Petri nets.
• Cost modeling in manufacturing systems using Petri nets.
• Modelagem de redes de transdutores inteligentes utilizando redes de Petri
• Systemic modeling of industrial processes continuous improvement through Six Sigma method and Petri nets.
• Um Modelo Para o Ensino do Progresso de Negociação Policial Baseado em Redes de Petri.