Use este identificador para citar ou linkar para este item:
https://repositorio.ufba.br/handle/ri/22980
Registro completo de metadados
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.advisor | Lima, George Marconi de Araújo | - |
dc.contributor.author | Regnier, Paul Denis Etienne | - |
dc.creator | Regnier, Paul Denis Etienne | - |
dc.date.accessioned | 2017-06-12T15:27:57Z | - |
dc.date.available | 2017-06-12T15:27:57Z | - |
dc.date.issued | 2017-06-12 | - |
dc.date.submitted | 2008-05-09 | - |
dc.identifier.uri | http://repositorio.ufba.br/ri/handle/ri/22980 | - |
dc.description.abstract | 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. | pt_BR |
dc.language.iso | pt_BR | pt_BR |
dc.rights | Acesso Aberto | pt_BR |
dc.subject | Ethernet | pt_BR |
dc.subject | Tempo Real | pt_BR |
dc.subject | Tolerância a falhas | pt_BR |
dc.subject | Especificação Formal | pt_BR |
dc.title | Especificação formal,verificação e implementação de um protocolo de comunicação determinista, baseado em ethernet | pt_BR |
dc.type | Dissertação | pt_BR |
dc.contributor.referees | Lima, George Marconi de Araújo | - |
dc.contributor.referees | Montez, Carlos | - |
dc.contributor.referees | Silva, Flávio Morais de Assis | - |
dc.publisher.departament | Escola Politécnica /Instituto de Matemática. | pt_BR |
dc.publisher.program | Programa de Pós-Graduação em Mecatrônica | pt_BR |
dc.publisher.initials | UFBA | pt_BR |
dc.publisher.country | Brasil | pt_BR |
Aparece nas coleções: | Dissertação (PPGM) |
Arquivos associados a este item:
Arquivo | Descrição | Tamanho | Formato | |
---|---|---|---|---|
MestradoPaulRegnier.pdf | 1,33 MB | Adobe PDF | Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.