Return to search

Especificação formal em SDL e simulação de protocolos que combinam a tecnica de Label-Swapping com o roteamento de camada 3 para o transporte do Ip sobre o ARM

Orientador: Walter da Cunha Borelli / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-25T16:20:30Z (GMT). No. of bitstreams: 1
Nassif_NadiaAdel_M.pdf: 10953982 bytes, checksum: cacb2be7368db5f807502c09fe7bed13 (MD5)
Previous issue date: 1999 / Resumo: A tese trata da especificação formal em SDL (Specification and Description Language) e da simulação através do SDT 1 (SDL Design Tool), de um classificador de fluxo X/V usado no IpSwitching e, do LDP (Label Distribution Protocol) do MPLS (MultiProtocol Label Switching), partindo-se das recomendações do IETF (Internet Engineering Task Force). Tanto o IpSwitching como o MPLS são protocolos que utilizam a combinação da técnica de label-swappingcom o roteamento de camada 3, para transportar pacotes de um protocolo de rede sem conexão sobre uma tecnologia de comutação, como o IP sobre o ATM. Com o objetivo de se avaliar a performance do IpSwithing em relação à variação dos parâmetros do classificador de fluxo X/V, que é parte integrante do controlador de um IpSwitch, foram realizadas simulações com diferentes traces de tráfego IP. Em relação ao MPLS é proposto uma especificação única que combina as características dos procedimentos de distribuição de labelcom a máquina de estado do LDP. O objetivo é analisar através de simulações, o comportamento de um LSR (Label Switching Router) em diferentes configurações, diante do recebimento de mensagens LDP e do estabelecimento de LSPs (Label Switched Paths). .. Palavras Chaves: SDL - Specification and Description Language, SDT ¿ SDL Design Tool, Especificação Formal, Simulação, MSC - Message Sequence Cha'rt, IP sobre ATM, IpSwitching, Classificador de Fluxo, MPLS - MultiProtocol Label Switching, LDP ...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: The thesis deals with formal specification using SDL (Specification and Description Language) and the simulation using SDT 2 (SDL Design Tool) of the flow classifier X/Y used in IpSwitching, and of the LDP (Label Distribution Protocol) from MPLS (MultiProtocol Label Switching), based on the IETF (Internet Engineering Task Force) recomenda tions. IpSwitching and MPLS are protocols that use the combination of the label-swapping technique with the layer 3 routing, forwarding connectionless traffic over a switching technology like IP over ATM. In order to analize the IpSwitching performance varying the flow classifier X/Y paremeters, which is part of the IpSwitch controller, it was used different IP traffic traces on the simulations. Concerning the MPLS it is proposed a single specification that combines the LDP procedures and LDP state machine. The goal is to verify the LSR (Label Switching Router) behaviour in recieving LDP messages and establishing LSPs (Label Switched Path), using different LSR configurations. ;Key Words: SDL - Specification and Description Language, SDT - SDL Design Tool, Formal Specification, Simulation, MSC - Message Sequence Chart, IP over ATM, IpSwitching, Flow Classifier, MPLS - MultiProtocol Label Switching, LDP - Label Distribution Protocol, label-swapping. ...Note: The complete abstract is available with the full electronic digital thesis or dissertations / Mestrado / Mestre em Engenharia Elétrica

Identiferoai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/260009
Date03 May 1999
CreatorsNassif, Nadia Adel
ContributorsUNIVERSIDADE ESTADUAL DE CAMPINAS, Borelli, Walter da Cunha, 1950-, Magalhães, Mauricio Ferreira, Coello, Juan Manuel Adan
Publisher[s.n.], Universidade Estadual de Campinas. Faculdade de Engenharia Elétrica e de Computação, Programa de Pós-Graduação em Engenharia Elétrica
Source SetsIBICT Brazilian ETDs
LanguagePortuguese
Detected LanguageEnglish
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Format158p. : il., application/pdf
Sourcereponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.1601 seconds