Descrição e implementação formal de um protocolo de acesso, para redes locais de fibra optica
Orientadores: Akebo Yamakami, Ivanil Sebastião Bonatti e Vitorio Bruno Mazzola === Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica === Made available in DSpace on 2018-07-19T21:06:21Z (GMT). No. of bitstreams: 1 Araujo_GorgonioBarreto_M.pdf: 7692731 bytes...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | Portuguese |
Published: |
[s.n.]
1994
|
Subjects: | |
Online Access: | ARAUJO, Gorgonio Barreto. Descrição e implementação formal de um protocolo de acesso, para redes locais de fibra optica. 1994. 220f. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/260821>. Acesso em: 19 jul. 2018. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260821 |
id |
ndltd-IBICT-oai-repositorio.unicamp.br-REPOSIP-260821 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-IBICT-oai-repositorio.unicamp.br-REPOSIP-2608212019-01-21T20:21:58Z Descrição e implementação formal de um protocolo de acesso, para redes locais de fibra optica Araujo, Gorgonio Barreto UNIVERSIDADE ESTADUAL DE CAMPINAS Mazzola, Vitorio Bruno Bonatti, Ivanil Sebastião, 1951- Yamakami, Akebo, 1947- Redes de computadores - Protocolos Redes locais de computação Fibras óticas Orientadores: Akebo Yamakami, Ivanil Sebastião Bonatti e Vitorio Bruno Mazzola Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica Made available in DSpace on 2018-07-19T21:06:21Z (GMT). No. of bitstreams: 1 Araujo_GorgonioBarreto_M.pdf: 7692731 bytes, checksum: 20eb220f82defed022e66a141ee5bcb1 (MD5) Previous issue date: 1994 Resumo: Este trabalho apresenta a especificação formal da camada Medium Access Control (MAC) da Rede de Área Local com Fibra Ótica (RALFO) que é uma rede tipo anel de Cambridge modificada, integrando serviços de voz e de dados. O método de acesso ao meio é detalhadamente especificado, desde os serviços atendidos, os quadros, a sua estrutura em blocos e a especificação funcional de cada bloco. Após, sua especificação esquemática e em linguagem de descrição formal é apresentada, utilizando ambiente VHDL. Resultados de testes são apresentados e comentados Abstract: This work presents a formal specification of the MAC layer of the RALFO, wich is a modified Cambridge ring type network, integrating voice and data. The medium access method is explaned in detail, showing the block structure and the funcional specification of the each bloc are given. Besides, the schematic specification and in the formal description language in the VHDL environment are presented. Results of the tests are presented and discussed. Mestrado Mestre em Engenharia Elétrica 1994 2018-07-19T21:06:21Z 2018-07-19T21:06:21Z 1994-08-12T00:00:00Z info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/masterThesis ARAUJO, Gorgonio Barreto. Descrição e implementação formal de um protocolo de acesso, para redes locais de fibra optica. 1994. 220f. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/260821>. Acesso em: 19 jul. 2018. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260821 por info:eu-repo/semantics/openAccess 220f. : il. application/pdf [s.n.] Universidade Estadual de Campinas. Faculdade de Engenharia Elétrica Programa de Pós-Graduação em Engenharia Elétrica reponame:Repositório Institucional da Unicamp instname:Universidade Estadual de Campinas instacron:UNICAMP |
collection |
NDLTD |
language |
Portuguese |
format |
Others
|
sources |
NDLTD |
topic |
Redes de computadores - Protocolos Redes locais de computação Fibras óticas |
spellingShingle |
Redes de computadores - Protocolos Redes locais de computação Fibras óticas Araujo, Gorgonio Barreto Descrição e implementação formal de um protocolo de acesso, para redes locais de fibra optica |
description |
Orientadores: Akebo Yamakami, Ivanil Sebastião Bonatti e Vitorio Bruno Mazzola === Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica === Made available in DSpace on 2018-07-19T21:06:21Z (GMT). No. of bitstreams: 1
Araujo_GorgonioBarreto_M.pdf: 7692731 bytes, checksum: 20eb220f82defed022e66a141ee5bcb1 (MD5)
Previous issue date: 1994 === Resumo: Este trabalho apresenta a especificação formal da camada Medium Access Control (MAC) da Rede de Área Local com Fibra Ótica (RALFO) que é uma rede tipo anel de Cambridge modificada, integrando serviços de voz e de dados. O método de acesso ao meio é detalhadamente especificado, desde os serviços atendidos, os quadros, a sua estrutura em blocos e a especificação funcional de cada bloco. Após, sua especificação esquemática e em linguagem de descrição formal é apresentada, utilizando ambiente VHDL. Resultados de testes são apresentados e comentados === Abstract: This work presents a formal specification of the MAC layer of the RALFO, wich is a modified Cambridge ring type network, integrating voice and data. The medium access method is explaned in detail, showing the block structure and the funcional specification of the each bloc are given. Besides, the schematic specification and in the formal description language in the VHDL environment are presented. Results of the tests are presented and discussed. === Mestrado === Mestre em Engenharia Elétrica |
author2 |
UNIVERSIDADE ESTADUAL DE CAMPINAS |
author_facet |
UNIVERSIDADE ESTADUAL DE CAMPINAS Araujo, Gorgonio Barreto |
author |
Araujo, Gorgonio Barreto |
author_sort |
Araujo, Gorgonio Barreto |
title |
Descrição e implementação formal de um protocolo de acesso, para redes locais de fibra optica |
title_short |
Descrição e implementação formal de um protocolo de acesso, para redes locais de fibra optica |
title_full |
Descrição e implementação formal de um protocolo de acesso, para redes locais de fibra optica |
title_fullStr |
Descrição e implementação formal de um protocolo de acesso, para redes locais de fibra optica |
title_full_unstemmed |
Descrição e implementação formal de um protocolo de acesso, para redes locais de fibra optica |
title_sort |
descrição e implementação formal de um protocolo de acesso, para redes locais de fibra optica |
publisher |
[s.n.] |
publishDate |
1994 |
url |
ARAUJO, Gorgonio Barreto. Descrição e implementação formal de um protocolo de acesso, para redes locais de fibra optica. 1994. 220f. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/260821>. Acesso em: 19 jul. 2018. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260821 |
work_keys_str_mv |
AT araujogorgoniobarreto descricaoeimplementacaoformaldeumprotocolodeacessopararedeslocaisdefibraoptica |
_version_ |
1718871640897486848 |