Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/260010
Type: TESE
Title: Especificações e simulação na linguagem formal SDL das sinalizações de registro e conexão de uma rede ATM sem fio
Author: Barreto, Matheus de Carvalho
Advisor: Borelli, Walter da Cunha, 1950-
Abstract: Resumo: Nessa tese são especificadas formalmente em SDL (Specification and Description Language) e simuladas através do SDT1 (SDL Design Tool), as sinalizações de Registro (Registration) e Conexão (Call Setup) de um terminal em uma rede ATM sem fio - WATM. Na especificação da sinalização de Registro, é proposta a inclusão de um sinal, Updated, cuja função é atualizar os dados de registro do terminal, quando ocorrer dele ser registrado inicialmente como visitante, e ter seu registro modificado para seu próprio domínio. Para a sinalização de Conexão é proposta uma modificação na seqüência onde é verificada a aceitação da qualidade de serviço (QoS) da conexão. Essa modificação visa diminuir o fluxo de mensagens entre os componentes da rede quando o pedido de conexão é recusado devido ao QoS. As especificações propostas foram simuladas com o objetivo de validação. Foram simuladas várias configurações para a rede WATM. Os resultados das simulações são apresentados em gráficos MSC (Message Sequence Chart) onde são mostradas as mensagens trocadas entre os elementos da rede, para cada uma das sinalizações especificadas. São também mostrados exemplos de falhas de especificação detectadas durante as simulações e suas correções

Abstract: In this thesis, the Registration and Call Setup signallings of a terminal in a wireless ATM network - WATM are formally specified in SDL (Specification and Description Language) and simulated using the SDT1 (SDL Design Tool). During the Registration signalling specification, the insertion of a signal, Updated, is proposed, which has the function of updating the terminal registration data, whenever the terminal is initially registered as a visitor, and has its register data modified to its own domain. To the Call Setup signalling a modification on the sequence is proposed, where the acceptance of the quality of service (QoS) of the connection is verified. This modification aims at decreasing the messages flow among the components of the network when the connection request is denied due to the QoS. For the purpose of validation, the specifications proposed were simulated. Many configurations of the WATM network were simulated. The simulations results were presented in MSC (Message Sequence Chart) graphics, where the messages swapped among the network devices, for each specified signalling, are shown. Some examples of specifications faults detected during the simulations as well as their corrections were also shown
Subject: SDL (Linguagem de programação de computador)
Redes de computadores - Protocolos
Simulação (Computadores)
Localização de falhas (Engenharia)
Language: Português
Editor: [s.n.]
Date Issue: 1999
Appears in Collections:FEEC - Dissertação e Tese

Files in This Item:
File SizeFormat 
Barreto_MatheusdeCarvalho_M.pdf5.29 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.