Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/7626
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorPedroza, Aloysio de Castro Pinto-
dc.contributor.authorAvalle, Rodrigo Porto-
dc.date.accessioned2019-05-02T13:01:28Z-
dc.date.available2019-05-04T03:00:11Z-
dc.date.issued2011-04-
dc.identifier.urihttp://hdl.handle.net/11422/7626-
dc.languageporpt_BR
dc.publisherUniversidade Federal do Rio de Janeiropt_BR
dc.rightsAcesso Abertopt_BR
dc.subjectMétodos Formaispt_BR
dc.subjectProtocolos de Comunicaçãopt_BR
dc.subjectSimuladorpt_BR
dc.subjectEstellept_BR
dc.subjectRTSPpt_BR
dc.titleMigração de um simulador de protocolos para o ambiente Linux/x86 e um estudo de caso: especificação, verificação de simulação formais do protocolo RTSPpt_BR
dc.typeTrabalho de conclusão de graduaçãopt_BR
dc.contributor.referee1Leão, Jorge Lopes de Souza-
dc.contributor.referee2Roman, Rodrigo de Carvalho-
dc.description.resumoNeste trabalho, iremos estudar, em específico, um sistema de auxílio ao projeto de protocolos descritos em Estelle, o CAD-Estelle. Trata-se de um conjunto de ferra-mentas que contempla todas as etapas de desenvolvimento de um protocolo de comunicação, que foi desenvolvido no âmbito do Grupo de Teleinformática e Automação da UFRJ (GTA/UFRJ).O primeiro objetivo deste trabalho enquadra-se num esforço de manter este conjunto de ferramentas atualizado em função da evolução das plataformas computacionais e, juntamente a isto, cooperar com projetos de melhor integração entre as diversas ferra-mentas. Portanto, a proposta é migrar o simulador de protocolos descritos em Estelle – aferramenta SPDE – do ambiente SunOS/Sparc para o Linux/x86, garantindo seu perfeito funcionamento nesta nova plataforma.Uma vez finalizada a migração do simulador de protocolos, dentro desse contexto de verificar e validar especificações e atestar a correção dos protocolos de comunicação, serão apresentados os resultados de um estudo de caso no qual examinamos todo o processo de desenvolvimento de protocolos suportado por ferramentas para métodos formais. Devido à sua relevância prática e à sua simplicidade,escolheu-se pela especificação em Redes de Petri e Estelle do protocolo RTSP como objeto desta avaliaçãopt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentEscola Politécnicapt_BR
dc.publisher.initialsUFRJpt_BR
dc.subject.cnpqCNPQ::ENGENHARIAS::ENGENHARIA ELETRICApt_BR
dc.embargo.termsabertopt_BR
Appears in Collections:Engenharia Eletrônica e de Computação

Files in This Item:
File Description SizeFormat 
monopoli10002531.pdf1,42 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.