Especificações e simulação na linguagem formal SDL das sinalizações de registro e conexão de uma rede ATM sem fio

• Main Author: Barreto, Matheus de Carvalho
• Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
• Format: Others
• Language: Portuguese
• Published: [s.n.] 1999
• Subjects: SDL (Linguagem de programação de computador); Redes de computadores - Protocolos; Simulação (Computadores); Localização de falhas (Engenharia)
• Online Access: BARRETO, Matheus de Carvalho. Especificações e simulação na linguagem formal SDL das sinalizações de registro e conexão de uma rede ATM sem fio. 1999. 121f. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/260010>. Acesso em: 25 jul. 2018.; http://repositorio.unicamp.br/jspui/handle/REPOSIP/260010

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-25T11:13:00Z (GMT). No. of bitstreams: 1 Barreto_MatheusdeCarvalho_M.pdf: 5411951 bytes, checksum: 03617380c5b23608e58b09d83a021a4f (MD5) Previous issue date: 1999 === 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 === Mestrado === Mestre em Engenharia Elétrica