| dc.contributor | Pedroza, Aloysio de Castro Pinto | |
| dc.contributor | Leão, Jorge Lopes de Souza | |
| dc.contributor | Roman, Rodrigo de Carvalho | |
| dc.creator | Avalle, Rodrigo Porto | |
| dc.date | 2019-05-02T13:01:28Z | |
| dc.date | 2023-09-27T03:02:27Z | |
| dc.date | 2011-04 | |
| dc.date.accessioned | 2023-09-27T13:25:16Z | |
| dc.date.available | 2023-09-27T13:25:16Z | |
| dc.identifier | http://hdl.handle.net/11422/7626 | |
| dc.identifier.uri | https://repositorioslatinoamericanos.uchile.cl/handle/2250/8906832 | |
| dc.description | 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 | |
| dc.language | por | |
| dc.publisher | Universidade Federal do Rio de Janeiro | |
| dc.publisher | Brasil | |
| dc.publisher | Escola Politécnica | |
| dc.publisher | UFRJ | |
| dc.rights | Acesso Aberto | |
| dc.subject | Métodos Formais | |
| dc.subject | Protocolos de Comunicação | |
| dc.subject | Simulador | |
| dc.subject | Estelle | |
| dc.subject | RTSP | |
| dc.subject | CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA | |
| 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 | |
| dc.type | Trabalho de conclusão de graduação | |
