Pantheon Institutional repository
Collect, preserve and disseminate digital academic production in all areas of knowledge.
Comprise the assets of the repository, in addition to theses and dissertations at UFRJ, scientific articles, electronic books, book chapters and papers presented at events for teachers, researchers, administrative staff and students of master's and doctoral degrees.
Please use this identifier to cite or link to this item:
http://hdl.handle.net/11422/7626| Type: | Trabalho de conclusão de graduação |
| 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 |
| Author(s)/Inventor(s): | Avalle, Rodrigo Porto |
| Advisor: | Pedroza, Aloysio de Castro Pinto |
| Abstract: | 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 |
| Keywords: | Métodos Formais Protocolos de Comunicação Simulador Estelle RTSP |
| Subject CNPq: | CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA |
| Production unit: | Escola Politécnica |
| Publisher: | Universidade Federal do Rio de Janeiro |
| Issue Date: | Apr-2011 |
| Publisher country: | Brasil |
| Language: | por |
| Right access: | Acesso Aberto |
| 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 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.