Return to search

Especificação formal,verificação e implementação de um protocolo de comunicação determinista, baseado em ethernet

Submitted by Marcio Filho (marcio.kleber@ufba.br) on 2017-06-09T12:32:23Z
No. of bitstreams: 1
MestradoPaulRegnier.pdf: 1360286 bytes, checksum: 1fce559f768969919812613818682ff5 (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-06-12T15:27:57Z (GMT) No. of bitstreams: 1
MestradoPaulRegnier.pdf: 1360286 bytes, checksum: 1fce559f768969919812613818682ff5 (MD5) / Made available in DSpace on 2017-06-12T15:27:57Z (GMT). No. of bitstreams: 1
MestradoPaulRegnier.pdf: 1360286 bytes, checksum: 1fce559f768969919812613818682ff5 (MD5) / Este trabalho apresenta um protocolo que torna o uso compartilhado de Ethernet eficiente para dar suporte aos sistemas de tempo real modernos. O protocolo foi especificado formalmente e sua correção foi atestada automaticamente através de um verificador de modelo. Em seguida,
um protótipo foi realizado numa plataforma operacional de tempo real. Os resultados
experimentais confirmaram a capacidade do protocolo em atender os objetivos definidos na sua
proposta.
As aplicações que podem se beneficiar deste protocolo são principalmente aquelas compostas
de dispositivos heterogêneos e distribuídos que têm restrições temporais de natureza críticas
e não-críticas. Utilizando o protocolo proposto, tais sistemas podem utilizar o mesmo barramento
Ethernet de forma eficiente e previsível. A utilização do barramento é otimizada através
da alocação apropriada da banda disponível para os dois tipos de comunicação. Além disso, o protocolo, compatível com os dispositivos Ethernet comuns, define um controle descentralizado do acesso ao meio que garante flexibilidade e confiabilidade à comunicação.

Identiferoai:union.ndltd.org:IBICT/oai:192.168.11:11:ri/22980
Date09 May 2008
CreatorsRegnier, Paul Denis Etienne
ContributorsLima, George Marconi, Lima, George Marconi, Montez, Carlos, Silva, Flávio Morais de Assis
PublisherEscola Politécnica /Instituto de Matemática., Programa de Pós-Graduação em Mecatrônica, UFBA, brasil
Source SetsIBICT Brazilian ETDs
LanguagePortuguese
Detected LanguagePortuguese
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Sourcereponame:Repositório Institucional da UFBA, instname:Universidade Federal da Bahia, instacron:UFBA
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.0023 seconds