Cronograma de atividades (PTC-EngTel)

Semestre 2016-2 - Prof. Marcelo Maia Sobral

Aula Data Horas Conteúdo Recursos 1 11/8 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. Laboratório de Programação 2 15/8 2 Projeto 1: um protocolo de comunicação; especificação do protocolo e suas propriedades desejáveis Laboratório de Programação 3 18/8 2 Projeto 1: mecanismos de protocolos: sincronização e enquadramento; máquinas de estados finitos Laboratório de Programação 4 25/8 2 Projeto 1: mecanismos de protocolos: sincronização e enquadramento; máquinas de estados finitos Laboratório de Programação 5 29/8 2 Projeto 1: vocabulário e gramática do protocolo; máquinas de estados finitos: implementação, minimização Laboratório de Programação 6 1/9 2 Projeto 1: mecanismos de protocolos: controle de sequência e de erros, controle de fluxo, sincronização, conexão, multiplexação, segmentação e remontagem Laboratório de Programação 7 8/9 2 Projeto 1: validação do protocolo; simulação Laboratório de Programação 8 12/9 2 Projeto 1: validação do protocolo; verificação de modelo (model checking); máquinas de estados estendidas Laboratório de Programação 9 15/9 2 Projeto 1: validação do protocolo; verificação de modelo (model checking); máquinas de estados estendidas Laboratório de Programação 10 22/9 2 Projeto 1: validação do protocolo; verificação de modelo (model checking); máquinas de estados estendidas Laboratório de Programação 11 26/9 2 Projeto 1: implementação Laboratório de Programação 12 29/9 2 Projeto 1: implementação Laboratório de Programação 13 6/10 2 Projeto 1: implementação Laboratório de Programação 14 10/10 2 Projeto 1: implementação Laboratório de Programação 15 13/10 2 Projeto 2: um protocolo de aplicação; especificação e modelagem informal do protocolo Laboratório de Programação 16 20/10 2 Projeto 2: vocabulário e gramática do protocolo; máquinas de estados finitos Laboratório de Programação 17 24/10 2 Projeto 2: vocabulário e gramática do protocolo; sintaxe: representação textual com ABNF Laboratório de Programação 18 27/10 2 Projeto 2: vocabulário e gramática do protocolo; sintaxe: ASN.1 Laboratório de Programação 19 3/11 2 Projeto 2: vocabulário e gramática do protocolo; sintaxe: ASN.1 Laboratório de Programação 20 7/11 2 Projeto 2: validação do protocolo; verificação de modelo (model checking) Laboratório de Programação 21 10/11 2 Projeto 2: validação do protocolo; verificação de modelo (model checking) Laboratório de Programação 22 17/11 2 Projeto 2: implementação Laboratório de Programação 23 21/11 2 Projeto 2: implementação Laboratório de Programação 24 24/11 2 Projeto 3: implementaçao de um protocolo existente; especificação e modelo do protocolo Laboratório de Programação 25 1/12 2 Projeto 3: implementação Laboratório de Programação 26 5/12 2 Projeto 3: implementação Laboratório de Programação 27 8/12 2 Projeto 3: implementação Laboratório de Programação 28 15/12 2 Projeto 3: implementação Laboratório de Programação 29 19/12 2 Conclusão Laboratório de Programação TOTAL 58

Semestre 2016-1 - Prof. Marcelo Maia Sobral

Aula Data Horas Conteúdo Recursos 1 23/3 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. Laboratório de Programação 2 24/3 2 Projeto 1: um protocolo de comunicação; especificação do protocolo e suas propriedades desejáveis Laboratório de Programação 3 30/3 2 Projeto 1: mecanismos de protocolos: controle de sequência e de erros, controle de fluxo, sincronização, conexão, multiplexação, segmentação e remontagem Laboratório de Programação 4 6/4 2 Projeto 1: mecanismos de protocolos: controle de sequência e de erros, controle de fluxo, sincronização, conexão, multiplexação, segmentação e remontagem Laboratório de Programação 5 7/4 2 Projeto 1: vocabulário e gramática do protocolo; máquinas de estados finitos Laboratório de Programação 6 13/4 2 Projeto 1: vocabulário e gramática do protocolo; máquinas de estados finitos: implementação, minimização Laboratório de Programação 7 16/4 2 Projeto 1: vocabulário e gramática do protocolo; máquinas de estados finitos: implementação, minimização Laboratório de Programação 8 20/4 2 Projeto 1: implementação Laboratório de Programação 9 27/4 2 Projeto 1: implementação Laboratório de Programação 10 4/5 2 Projeto 1: validação do protocolo; verificação de modelo (model checking); máquinas de estados estendidas Laboratório de Programação 11 5/5 2 Projeto 1: validação do protocolo; verificação de modelo (model checking); máquinas de estados estendidas Laboratório de Programação 12 11/5 2 Projeto 1: validação do protocolo; verificação de modelo (model checking) Laboratório de Programação 13 18/5 2 Projeto 1: validação do protocolo; verificação de modelo (model checking) Laboratório de Programação 14 19/5 2 Avaliação 1 Laboratório de Programação 15 25/5 2 Projeto 2: um protocolo de aplicação; especificação e modelagem informal do protocolo Laboratório de Programação 16 1/6 2 Projeto 2: vocabulário e gramática do protocolo; máquinas de estados finitos Laboratório de Programação 17 2/6 2 Projeto 2: vocabulário e gramática do protocolo; sintaxe: representação textual com ABNF Laboratório de Programação 18 8/6 2 Projeto 2: vocabulário e gramática do protocolo; sintaxe: ASN.1 Laboratório de Programação 19 15/6 2 Projeto 2: vocabulário e gramática do protocolo; sintaxe: ASN.1 Laboratório de Programação 20 16/6 2 Projeto 2: validação do protocolo; verificação de modelo (model checking) Laboratório de Programação 21 22/6 2 Projeto 2: validação do protocolo; verificação de modelo (model checking) Laboratório de Programação 22 29/6 2 Projeto 2: implementação Laboratório de Programação 23 30/6 2 Projeto 2: implementação Laboratório de Programação 24 6/7 2 Projeto 3: implementaçao de um protocolo existente; especificação e modelo do protocolo Laboratório de Programação 25 13/7 2 Projeto 3: implementação Laboratório de Programação 26 14/7 2 Projeto 3: implementação Laboratório de Programação 27 20/7 2 Avaliaçao 2 Laboratório de Programação 28 27/7 2 Conclusão Laboratório de Programação TOTAL 56

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