Modelagem e simulação de protocolos de comunicação

Detalhes bibliográficos
Autor(a) principal: Costa, Mateus Conrad Barcellos da
Data de Publicação: 1995
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/1583303
Resumo: Orientador: Walter da Cunha Borelli
id UNICAMP-30_058be50e9833994320ca2316f824f016
oai_identifier_str oai::103263
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 Modelagem e simulação de protocolos de comunicaçãoRedes de PetriRedes de computadoresProtocolosSimulação (Computadores)Sistemas de parametros distribuidosOrientador: Walter da Cunha BorelliDissertação (mestrado) - Universodade Estadual de Campinas, Faculdade de Engenharia EletricaResumo: Com o intuito de cooperar para o desenvolvimento de ferramentas de auxilio ao projeto de sistemas concorrentes e distribuídos, particularmente sistemas de telecomunicações, esta dissertação apresenta a proposta de um simulador para a verificação por acompanhamento de sistemas computacionais baseados em processos comunicantes. O simulador, baseado em modelos de estados e transições, utiliza como estrutura interna de simulação um modelo de rede de Petri de alto Nível. O modelo de rede Petri utilizado para a estrutura do simulador incorpora características das redes de Petri de Predicados e Transições (P/T nets) e das redes de Petri Numéricas. A aplicação do simulador está particularmente voltada para a verificação de especificações SDL, o que implicou no estabelecimento de regras e esquemas de modelagem para a transformação das especificações SDL para o modelo de RP proposto e utilizado como base para implementação do simuladorAbstract: In order to cooperate to the development of computer aid tools for the design of concurrent distributed systems (e.g., telecommunication systems), this dissertation presents a project of a simulator for trace verification of communicating process based systems. The simulator, basedon the State- Transition model, uses as its internal structure a suggested model of high level Petri net derived from the P/T and Numerical Petri nets models. Its aplication is more concerned to the simulation of SDL specifications and a set of tranform rules to the modelling of SDL specifications to the Petri Net model, were established.MestradoMestre em Engenharia Elétrica[s.n.]Borelli, Walter da Cunha, 1950-Universidade Estadual de Campinas. Faculdade de Engenharia ElétricaPrograma de Pós-Graduação em Engenharia ElétricaUNIVERSIDADE ESTADUAL DE CAMPINASCosta, Mateus Conrad Barcellos da19951995-12-18T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf136f. : il.(broch.)https://hdl.handle.net/20.500.12733/1583303COSTA, Mateus Conrad Barcellos da. Modelagem e simulação de protocolos de comunicação. 1995. 136f. Dissertação (mestrado) - Universodade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1583303. Acesso em: 14 mai. 2024.https://repositorio.unicamp.br/acervo/detalhe/103263porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2014-04-18T07:57:24Zoai::103263Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2014-04-18T07:57:24Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Modelagem e simulação de protocolos de comunicação
title Modelagem e simulação de protocolos de comunicação
spellingShingle Modelagem e simulação de protocolos de comunicação
Costa, Mateus Conrad Barcellos da
Redes de Petri
Redes de computadores
Protocolos
Simulação (Computadores)
Sistemas de parametros distribuidos
title_short Modelagem e simulação de protocolos de comunicação
title_full Modelagem e simulação de protocolos de comunicação
title_fullStr Modelagem e simulação de protocolos de comunicação
title_full_unstemmed Modelagem e simulação de protocolos de comunicação
title_sort Modelagem e simulação de protocolos de comunicação
author Costa, Mateus Conrad Barcellos da
author_facet Costa, Mateus Conrad Barcellos da
author_role author
dc.contributor.none.fl_str_mv Borelli, Walter da Cunha, 1950-
Universidade Estadual de Campinas. Faculdade de Engenharia Elétrica
Programa de Pós-Graduação em Engenharia Elétrica
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Costa, Mateus Conrad Barcellos da
dc.subject.por.fl_str_mv Redes de Petri
Redes de computadores
Protocolos
Simulação (Computadores)
Sistemas de parametros distribuidos
topic Redes de Petri
Redes de computadores
Protocolos
Simulação (Computadores)
Sistemas de parametros distribuidos
description Orientador: Walter da Cunha Borelli
publishDate 1995
dc.date.none.fl_str_mv 1995
1995-12-18T00: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/1583303
COSTA, Mateus Conrad Barcellos da. Modelagem e simulação de protocolos de comunicação. 1995. 136f. Dissertação (mestrado) - Universodade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1583303. Acesso em: 14 mai. 2024.
identifier_str_mv (broch.)
COSTA, Mateus Conrad Barcellos da. Modelagem e simulação de protocolos de comunicação. 1995. 136f. Dissertação (mestrado) - Universodade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1583303. Acesso em: 14 mai. 2024.
url https://hdl.handle.net/20.500.12733/1583303
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/103263
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
136f. : 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_ 1799138317278642176

Registros relacionados