Cronograma de atividades (PTC-EngTel)

Semestre 2015-2 - Prof. Marcelo Maia Sobral

Aula Data Horas Conteúdo Recursos 1 / 2 Caracterização de protocolos por meio de um exemplo: sintaxe, comportamento, temporização, semântica. Princípios de projeto e propriedades desejáveis de protocolos. Análise de um protocolo real. Lab. Programação 2 / 2 Projeto 1: um protocolo de aplicação; especificação e modelagem informal do protocolo Lab. Programação 3 / 2 Projeto 1: vocabulário e gramática do protocolo; máquinas de estados finitos Lab. Programação 4 / 2 Projeto 1: vocabulário e gramática do protocolo; máquinas de estados finitos: implementação, minimização Lab. Programação 5 / 2 Projeto 1: vocabulário e gramática do protocolo; máquinas de estados finitos: implementação, minimização Lab. Programação 6 / 2 Projeto 1: vocabulário e gramática do protocolo; sintaxe: representação textual, ASN.1 Lab. Programação 7 / 2 Projeto 1: vocabulário e gramática do protocolo; sintaxe: ASN.1 Lab. Programação 8 / 2 Projeto 1: vocabulário e gramática do protocolo; sintaxe: ASN.1 Lab. Programação 9 / 2 Projeto 1: implementação Lab. Programação 10 / 2 Projeto 1: implementação Lab. Programação 11 / 2 Projeto 1: validação do protocolo; simulação Lab. Programação 12 / 2 Projeto 1: validação do protocolo; simulação Lab. Programação 13 / 2 Projeto 1: validação do protocolo; verificação de modelo (model checking); máquinas de estados estendidas Lab. Programação 14 / 2 Projeto 1: validação do protocolo; verificação de modelo (model checking); máquinas de estados estendidas Lab. Programação 15 / 2 Projeto 1: validação do protocolo; verificação de modelo (model checking) Lab. Programação 16 / 2 Projeto 1: validação do protocolo; verificação de modelo (model checking) Lab. Programação 17 / 2 Avaliação 1 Lab. Programação 18 / 2 Projeto 2: um protocolo de comunicação; especificação do protocolo e suas propriedades desejáveis Lab. Programação 19 / 2 Projeto 2: mecanismos de protocolos: controle de sequência e de erros, controle de fluxo, sincronização, conexão, multiplexação, segmentação e remontagem Lab. Programação 20 / 2 Projeto 2: mecanismos de protocolos: controle de sequência e de erros, controle de fluxo, sincronização, conexão, multiplexação, segmentação e remontagem Lab. Programação 21 / 2 Projeto 2: vocabulário e gramática; sintaxe e modelagem do comportamento do protocolo Lab. Programação 22 / 2 Projeto 2: validação do protocolo; verificação de modelo (model checking) Lab. Programação 23 / 2 Projeto 2: implementação Lab. Programação 24 / 2 Projeto 3: implementaçao de um protocolo existente (TCP); especificação e modelo do protocolo Lab. Programação 25 / 2 Projeto 3: implementação Lab. Programação 26 / 2 Projeto 3: implementação Lab. Programação 27 / 2 Avaliação 2 Lab. Programação TOTAL 54