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

AUTOR(ES)
DATA DE PUBLICAÇÃO

1999

RESUMO

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

ASSUNTO(S)

sdl (linguagem de programação de computador) localização de falhas (engenharia) simulação (computadores) redes de computação - protocolos

ACESSO AO ARTIGO

Documentos Relacionados