Orientadores: Akebo Yamakami, Ivanil Sebastião Bonatti e Vitorio Bruno Mazzola

Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica

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...

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....

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.