Pantheon Repositório Institucional da UFRJ
Coleta, preserva e divulga a produção acadêmica digital em todas as áreas do conhecimento.
São os ativos do repositório, além de teses e dissertações da UFRJ, artigos científicos, livros eletrônicos, capítulos de livros e trabalhos apresentados em eventos por professores, pesquisadores, funcionários administrativos e alunos de mestrado e doutorado.
Use este identificador para citar ou linkar para este item:
http://hdl.handle.net/11422/7626| Tipo: | Trabalho de conclusão de graduação |
| Título: | 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 |
| Autor(es)/Inventor(es): | Avalle, Rodrigo Porto |
| Orientador: | Pedroza, Aloysio de Castro Pinto |
| 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 |
| Palavras-chave: | Métodos Formais Protocolos de Comunicação Simulador Estelle RTSP |
| Assunto CNPq: | CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA |
| Unidade produtora: | Escola Politécnica |
| Editora: | Universidade Federal do Rio de Janeiro |
| Data de publicação: | Abr-2011 |
| País de publicação: | Brasil |
| Idioma da publicação: | por |
| Tipo de acesso: | Acesso Aberto |
| Aparece nas coleções: | Engenharia Eletrônica e de Computação |
Arquivos associados a este item:
| Arquivo | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| monopoli10002531.pdf | 1.42 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.