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

Detalhes bibliográficos
Ano de defesa: 2008
Autor(a) principal: Regnier, Paul Denis Etienne
Orientador(a): Lima, George Marconi de Araújo
Banca de defesa: Lima, George Marconi de Araújo, Montez, Carlos, Silva, Flávio Morais de Assis
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Escola Politécnica /Instituto de Matemática.
Programa de Pós-Graduação: Programa de Pós-Graduação em Mecatrônica
Departamento: Não Informado pela instituição
País: Brasil
Palavras-chave em Português:
Ethernet
Tempo Real
Tolerância a falhas
Especificação Formal
Link de acesso: http://repositorio.ufba.br/ri/handle/ri/22980
Resumo: 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.
id UFBA-2_50be237dea672de762ea534157c4e62f
oai_identifier_str oai:repositorio.ufba.br:ri/22980
network_acronym_str UFBA-2
network_name_str Repositório Institucional da UFBA
repository_id_str
spelling Regnier, Paul Denis EtienneRegnier, Paul Denis EtienneLima, George Marconi de AraújoLima, George Marconi de AraújoMontez, CarlosSilva, Flávio Morais de Assis2017-06-12T15:27:57Z2017-06-12T15:27:57Z2017-06-122008-05-09http://repositorio.ufba.br/ri/handle/ri/22980Este 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.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)EthernetTempo RealTolerância a falhasEspecificação FormalEspecificação formal,verificação e implementação de um protocolo de comunicação determinista, baseado em ethernetinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisEscola Politécnica /Instituto de Matemática.Programa de Pós-Graduação em MecatrônicaUFBABrasilinfo:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UFBAinstname:Universidade Federal da Bahia (UFBA)instacron:UFBAORIGINALMestradoPaulRegnier.pdfMestradoPaulRegnier.pdfapplication/pdf1360286https://repositorio.ufba.br/bitstream/ri/22980/1/MestradoPaulRegnier.pdf1fce559f768969919812613818682ff5MD51LICENSElicense.txtlicense.txttext/plain1383https://repositorio.ufba.br/bitstream/ri/22980/2/license.txt05eca2f01d0b3307819d0369dab18a34MD52TEXTMestradoPaulRegnier.pdf.txtMestradoPaulRegnier.pdf.txtExtracted texttext/plain362057https://repositorio.ufba.br/bitstream/ri/22980/3/MestradoPaulRegnier.pdf.txta0da0bece3828904b2b6f19b8367d804MD53ri/229802022-07-05 14:03:46.69oai:repositorio.ufba.br:ri/22980VGVybW8gZGUgTGljZW7Dp2EsIG7Do28gZXhjbHVzaXZvLCBwYXJhIG8gZGVww7NzaXRvIG5vIFJlcG9zaXTDs3JpbyBJbnN0aXR1Y2lvbmFsIGRhIFVGQkEuCgogUGVsbyBwcm9jZXNzbyBkZSBzdWJtaXNzw6NvIGRlIGRvY3VtZW50b3MsIG8gYXV0b3Igb3Ugc2V1IHJlcHJlc2VudGFudGUgbGVnYWwsIGFvIGFjZWl0YXIgCmVzc2UgdGVybW8gZGUgbGljZW7Dp2EsIGNvbmNlZGUgYW8gUmVwb3NpdMOzcmlvIEluc3RpdHVjaW9uYWwgZGEgVW5pdmVyc2lkYWRlIEZlZGVyYWwgZGEgQmFoaWEgCm8gZGlyZWl0byBkZSBtYW50ZXIgdW1hIGPDs3BpYSBlbSBzZXUgcmVwb3NpdMOzcmlvIGNvbSBhIGZpbmFsaWRhZGUsIHByaW1laXJhLCBkZSBwcmVzZXJ2YcOnw6NvLiAKRXNzZXMgdGVybW9zLCBuw6NvIGV4Y2x1c2l2b3MsIG1hbnTDqm0gb3MgZGlyZWl0b3MgZGUgYXV0b3IvY29weXJpZ2h0LCBtYXMgZW50ZW5kZSBvIGRvY3VtZW50byAKY29tbyBwYXJ0ZSBkbyBhY2Vydm8gaW50ZWxlY3R1YWwgZGVzc2EgVW5pdmVyc2lkYWRlLgoKIFBhcmEgb3MgZG9jdW1lbnRvcyBwdWJsaWNhZG9zIGNvbSByZXBhc3NlIGRlIGRpcmVpdG9zIGRlIGRpc3RyaWJ1acOnw6NvLCBlc3NlIHRlcm1vIGRlIGxpY2Vuw6dhIAplbnRlbmRlIHF1ZToKCiBNYW50ZW5kbyBvcyBkaXJlaXRvcyBhdXRvcmFpcywgcmVwYXNzYWRvcyBhIHRlcmNlaXJvcywgZW0gY2FzbyBkZSBwdWJsaWNhw6fDtWVzLCBvIHJlcG9zaXTDs3Jpbwpwb2RlIHJlc3RyaW5naXIgbyBhY2Vzc28gYW8gdGV4dG8gaW50ZWdyYWwsIG1hcyBsaWJlcmEgYXMgaW5mb3JtYcOnw7VlcyBzb2JyZSBvIGRvY3VtZW50bwooTWV0YWRhZG9zIGVzY3JpdGl2b3MpLgoKIERlc3RhIGZvcm1hLCBhdGVuZGVuZG8gYW9zIGFuc2Vpb3MgZGVzc2EgdW5pdmVyc2lkYWRlIGVtIG1hbnRlciBzdWEgcHJvZHXDp8OjbyBjaWVudMOtZmljYSBjb20gCmFzIHJlc3RyacOnw7VlcyBpbXBvc3RhcyBwZWxvcyBlZGl0b3JlcyBkZSBwZXJpw7NkaWNvcy4KCiBQYXJhIGFzIHB1YmxpY2HDp8O1ZXMgc2VtIGluaWNpYXRpdmFzIHF1ZSBzZWd1ZW0gYSBwb2zDrXRpY2EgZGUgQWNlc3NvIEFiZXJ0bywgb3MgZGVww7NzaXRvcyAKY29tcHVsc8OzcmlvcyBuZXNzZSByZXBvc2l0w7NyaW8gbWFudMOqbSBvcyBkaXJlaXRvcyBhdXRvcmFpcywgbWFzIG1hbnTDqm0gYWNlc3NvIGlycmVzdHJpdG8gCmFvIG1ldGFkYWRvcyBlIHRleHRvIGNvbXBsZXRvLiBBc3NpbSwgYSBhY2VpdGHDp8OjbyBkZXNzZSB0ZXJtbyBuw6NvIG5lY2Vzc2l0YSBkZSBjb25zZW50aW1lbnRvCiBwb3IgcGFydGUgZGUgYXV0b3Jlcy9kZXRlbnRvcmVzIGRvcyBkaXJlaXRvcywgcG9yIGVzdGFyZW0gZW0gaW5pY2lhdGl2YXMgZGUgYWNlc3NvIGFiZXJ0by4KRepositório InstitucionalPUBhttps://repositorio.ufba.br/oai/requestrepositorio@ufba.bropendoar:19322022-07-05T17:03:46Repositório Institucional da UFBA - Universidade Federal da Bahia (UFBA)false
dc.title.pt_BR.fl_str_mv Especificação formal,verificação e implementação de um protocolo de comunicação determinista, baseado em ethernet
title Especificação formal,verificação e implementação de um protocolo de comunicação determinista, baseado em ethernet
spellingShingle Especificação formal,verificação e implementação de um protocolo de comunicação determinista, baseado em ethernet
Regnier, Paul Denis Etienne
Ethernet
Tempo Real
Tolerância a falhas
Especificação Formal
title_short Especificação formal,verificação e implementação de um protocolo de comunicação determinista, baseado em ethernet
title_full Especificação formal,verificação e implementação de um protocolo de comunicação determinista, baseado em ethernet
title_fullStr Especificação formal,verificação e implementação de um protocolo de comunicação determinista, baseado em ethernet
title_full_unstemmed Especificação formal,verificação e implementação de um protocolo de comunicação determinista, baseado em ethernet
title_sort Especificação formal,verificação e implementação de um protocolo de comunicação determinista, baseado em ethernet
author Regnier, Paul Denis Etienne
author_facet Regnier, Paul Denis Etienne
author_role author
dc.contributor.author.fl_str_mv Regnier, Paul Denis Etienne
Regnier, Paul Denis Etienne
dc.contributor.advisor1.fl_str_mv Lima, George Marconi de Araújo
dc.contributor.referee1.fl_str_mv Lima, George Marconi de Araújo
Montez, Carlos
Silva, Flávio Morais de Assis
contributor_str_mv Lima, George Marconi de Araújo
Lima, George Marconi de Araújo
Montez, Carlos
Silva, Flávio Morais de Assis
dc.subject.por.fl_str_mv Ethernet
Tempo Real
Tolerância a falhas
Especificação Formal
topic Ethernet
Tempo Real
Tolerância a falhas
Especificação Formal
description 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.
publishDate 2008
dc.date.submitted.none.fl_str_mv 2008-05-09
dc.date.accessioned.fl_str_mv 2017-06-12T15:27:57Z
dc.date.available.fl_str_mv 2017-06-12T15:27:57Z
dc.date.issued.fl_str_mv 2017-06-12
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://repositorio.ufba.br/ri/handle/ri/22980
url http://repositorio.ufba.br/ri/handle/ri/22980
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Escola Politécnica /Instituto de Matemática.
dc.publisher.program.fl_str_mv Programa de Pós-Graduação em Mecatrônica
dc.publisher.initials.fl_str_mv UFBA
dc.publisher.country.fl_str_mv Brasil
publisher.none.fl_str_mv Escola Politécnica /Instituto de Matemática.
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFBA
instname:Universidade Federal da Bahia (UFBA)
instacron:UFBA
instname_str Universidade Federal da Bahia (UFBA)
instacron_str UFBA
institution UFBA
reponame_str Repositório Institucional da UFBA
collection Repositório Institucional da UFBA
bitstream.url.fl_str_mv https://repositorio.ufba.br/bitstream/ri/22980/1/MestradoPaulRegnier.pdf
https://repositorio.ufba.br/bitstream/ri/22980/2/license.txt
https://repositorio.ufba.br/bitstream/ri/22980/3/MestradoPaulRegnier.pdf.txt
bitstream.checksum.fl_str_mv 1fce559f768969919812613818682ff5
05eca2f01d0b3307819d0369dab18a34
a0da0bece3828904b2b6f19b8367d804
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFBA - Universidade Federal da Bahia (UFBA)
repository.mail.fl_str_mv repositorio@ufba.br
_version_ 1847342195200229376

Registros relacionados