Por favor, use este identificador para citar o enlazar este ítem:
https://repositorio.ufba.br/handle/ri/22980
metadata.dc.type: | Dissertação |
Título : | Especificação formal,verificação e implementação de um protocolo de comunicação determinista, baseado em ethernet |
Autor : | Regnier, Paul Denis Etienne |
metadata.dc.creator: | Regnier, Paul Denis Etienne |
Resumen : | 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. |
Palabras clave : | Ethernet Tempo Real Tolerância a falhas Especificação Formal |
metadata.dc.publisher.country: | Brasil |
metadata.dc.publisher.initials: | UFBA |
metadata.dc.publisher.program: | Programa de Pós-Graduação em Mecatrônica |
metadata.dc.rights: | Acesso Aberto |
URI : | http://repositorio.ufba.br/ri/handle/ri/22980 |
Fecha de publicación : | 12-jun-2017 |
Aparece en las colecciones: | Dissertação (PPGM) |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
MestradoPaulRegnier.pdf | 1,33 MB | Adobe PDF | Visualizar/Abrir |
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.