Disciplinas >> COE729

COE729 - Arquiteturas e Protocolos de Comunicação para Redes de Computadores

Trabalho Final

Modelagem e análise simplificada de um protocolo de rede à escolha do aluno, o trabalho será definido em três etapas:

Rede de petri
Cálculo de Milner
Promela

Para todas as etapas deverá apresentar o código utilizado e o seu resultado após execução.

O protocolo analisado foi o AODV (Ad Hoc On-Demand Distance Vector).

Composição da Nota

Trabalho
Prova da matéria toda

Referências do Aluno

[1] Petri Nets World
[2] CWB