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

Detalhes bibliográficos
Autor(a) principal: Barreto, Matheus de Carvalho
Data de Publicação: 1999
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1587734
Resumo: Orientador: Walter da Cunha Borelli
id UNICAMP-30_b8e191310a5a4faf7c679ef33c74ba60
oai_identifier_str oai::175921
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Especificações e simulação na linguagem formal SDL das sinalizações de registro e conexão de uma rede ATM sem fioSDL (Linguagem de programação de computador)Redes de computadores - ProtocolosSimulação (Computadores)Localização de falhas (Engenharia)Orientador: Walter da Cunha BorelliDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de ComputaçãoResumo: 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çõesAbstract: 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 shownMestradoMestre em Engenharia Elétrica[s.n.]Borelli, Walter da Cunha, 1950-Toledo, Antonio Fischer deYacoub, Michel DaoudMotoyama, ShusaburoUniversidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia Elétrica e de ComputaçãoPrograma de Pós-Graduação em Engenharia ElétricaUNIVERSIDADE ESTADUAL DE CAMPINASBarreto, Matheus de Carvalho19991999-04-30T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf121f. : il.(Broch.)https://hdl.handle.net/20.500.12733/1587734BARRETO, 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: https://hdl.handle.net/20.500.12733/1587734. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/175921porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-02-18T02:58:25Zoai::175921Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T02:58:25Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Especificações e simulação na linguagem formal SDL das sinalizações de registro e conexão de uma rede ATM sem fio
title Especificações e simulação na linguagem formal SDL das sinalizações de registro e conexão de uma rede ATM sem fio
spellingShingle Especificações e simulação na linguagem formal SDL das sinalizações de registro e conexão de uma rede ATM sem fio
Barreto, Matheus de Carvalho
SDL (Linguagem de programação de computador)
Redes de computadores - Protocolos
Simulação (Computadores)
Localização de falhas (Engenharia)
title_short Especificações e simulação na linguagem formal SDL das sinalizações de registro e conexão de uma rede ATM sem fio
title_full Especificações e simulação na linguagem formal SDL das sinalizações de registro e conexão de uma rede ATM sem fio
title_fullStr Especificações e simulação na linguagem formal SDL das sinalizações de registro e conexão de uma rede ATM sem fio
title_full_unstemmed Especificações e simulação na linguagem formal SDL das sinalizações de registro e conexão de uma rede ATM sem fio
title_sort 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
author_facet Barreto, Matheus de Carvalho
author_role author
dc.contributor.none.fl_str_mv Borelli, Walter da Cunha, 1950-
Toledo, Antonio Fischer de
Yacoub, Michel Daoud
Motoyama, Shusaburo
Universidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia Elétrica e de Computação
Programa de Pós-Graduação em Engenharia Elétrica
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Barreto, Matheus de Carvalho
dc.subject.por.fl_str_mv SDL (Linguagem de programação de computador)
Redes de computadores - Protocolos
Simulação (Computadores)
Localização de falhas (Engenharia)
topic SDL (Linguagem de programação de computador)
Redes de computadores - Protocolos
Simulação (Computadores)
Localização de falhas (Engenharia)
description Orientador: Walter da Cunha Borelli
publishDate 1999
dc.date.none.fl_str_mv 1999
1999-04-30T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv (Broch.)
https://hdl.handle.net/20.500.12733/1587734
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: https://hdl.handle.net/20.500.12733/1587734. Acesso em: 2 set. 2024.
identifier_str_mv (Broch.)
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: https://hdl.handle.net/20.500.12733/1587734. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1587734
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/175921
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
121f. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809188826773454848

Registros relacionados