Especificações e simulação na linguagem formal SDL das sinalizações de registro e conexão de uma rede ATM sem fio
Matheus de Carvalho Barreto
DISSERTAÇÃO
Português
(Broch.)
T/UNICAMP B275e
Campinas, SP : [s.n.], 1999.
121f. : il.
Orientador: Walter da Cunha Borelli
Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação
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...
Ver mais
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
Ver menos
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...
Ver mais
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
Ver menos
Borelli, Walter da Cunha, 1950-
Orientador
Toledo, Antonio Fischer de
Avaliador
Yacoub, Michel Daoud, 1955-
Avaliador
Motoyama, Shusaburo, 1944-
Avaliador
Especificações e simulação na linguagem formal SDL das sinalizações de registro e conexão de uma rede ATM sem fio
Matheus de Carvalho Barreto
Especificações e simulação na linguagem formal SDL das sinalizações de registro e conexão de uma rede ATM sem fio
Matheus de Carvalho Barreto
Exemplares
Nº de exemplares: 2
Não existem reservas para esta obra