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

• Main Author: Costa, Mateus Conrad Barcellos da
• Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
• Format: Others
• Language: Portuguese
• Published: [s.n.] 1995
• Subjects: Redes de petri; Redes de computadores; Protocolos; Simulação (Computadores); Sistemas de parametros distribuidos
• Online Access: 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: <http://www.repositorio.unicamp.br/handle/REPOSIP/261676>. Acesso em: 20 jul. 2018.; http://repositorio.unicamp.br/jspui/handle/REPOSIP/261676

Orientador: Walter da Cunha Borelli === Dissertação (mestrado) - Universodade Estadual de Campinas, Faculdade de Engenharia Eletrica === Made available in DSpace on 2018-07-21T02:01:36Z (GMT). No. of bitstreams: 1 Costa_MateusConradBarcellosda_M.pdf: 7022396 bytes, checksum: 0b4917194abe5582c76fe93766c050f8 (MD5) Previous issue date: 1995 === Resumo: 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 simulador === Abstract: 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. === Mestrado === Mestre em Engenharia Elétrica