Migraçã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 RTSP

Avalle, Rodrigo Porto

Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/7626

Full metadata record

DC Field	Value	Language
dc.contributor.advisor	Pedroza, Aloysio de Castro Pinto	-
dc.contributor.author	Avalle, Rodrigo Porto	-
dc.date.accessioned	2019-05-02T13:01:28Z	-
dc.date.available	2023-12-21T03:04:59Z	-
dc.date.issued	2011-04	-
dc.identifier.uri	http://hdl.handle.net/11422/7626	-
dc.language	por	pt_BR
dc.publisher	Universidade Federal do Rio de Janeiro	pt_BR
dc.rights	Acesso Aberto	pt_BR
dc.subject	Métodos Formais	pt_BR
dc.subject	Protocolos de Comunicação	pt_BR
dc.subject	Simulador	pt_BR
dc.subject	Estelle	pt_BR
dc.subject	RTSP	pt_BR
dc.title	Migraçã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 RTSP	pt_BR
dc.type	Trabalho de conclusão de graduação	pt_BR
dc.contributor.referee1	Leão, Jorge Lopes de Souza	-
dc.contributor.referee2	Roman, Rodrigo de Carvalho	-
dc.description.resumo	Neste 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ção	pt_BR
dc.publisher.country	Brasil	pt_BR
dc.publisher.department	Escola Politécnica	pt_BR
dc.publisher.initials	UFRJ	pt_BR
dc.subject.cnpq	CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA	pt_BR
dc.embargo.terms	aberto	pt_BR
Appears in Collections:	Engenharia Eletrônica e de Computação

Files in This Item:

File	Description	Size	Format
monopoli10002531.pdf		1.42 MB	Adobe PDF	View/Open

Show simple item record Recommend this item View Statistics

Pantheon Institutional repository