Cronograma de atividades (PTC-EngTel)

Semestre 2017-2 - Prof. Marcelo Maia Sobral

Aula Data Horas Conteúdo Recursos 1 27/7 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 28/7 2 Introdução: Projeto de um protocolo simples Laboratório de Programação 3 3/8 2 Projeto 1: um protocolo de comunicação; especificação do protocolo e suas propriedades desejáveis Laboratório de Programação 4 10/8 2 Projeto 1: mecanismos de protocolos: sincronização e enquadramento; máquinas de estados finitos Laboratório de Programação 5 11/8 2 Projeto 1: mecanismos de protocolos: sincronização e enquadramento; máquinas de estados finitos Laboratório de Programação 6 17/8 2 Projeto 1: vocabulário e gramática do protocolo; formato e codificação de mensagens; máquinas de estados finitos para representar comportamento Laboratório de Programação 7 24/8 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 8 25/8 2 Projeto 1: implementação Laboratório de Programação 9 31/8 2 Projeto 1: implementação Laboratório de Programação 10 14/9 2 Projeto 1: implementação Laboratório de Programação 11 21/9 2 Projeto 1: conclusão Laboratório de Programação 12 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 13 28/9 2 Projeto 1: validação do protocolo; verificação de modelo (model checking); propriedades de segurança e vivacidade; Laboratório de Programação 14 5/10 2 Projeto 1: validação do protocolo; verificação de modelo (model checking); lógica temporal Laboratório de Programação 15 6/10 2 Projeto 1: validação do protocolo; verificação de modelo (model checking); lógica temporal Laboratório de Programação 16 19/10 2 Projeto 2: um protocolo de aplicação; especificação e modelagem informal do protocolo Laboratório de Programação 17 20/10 2 Projeto 2: vocabulário e gramática do protocolo; máquinas de estados finitos Laboratório de Programação 18 26/10 2 Projeto 2: vocabulário e gramática do protocolo; sintaxe: representação textual com ABNF Laboratório de Programação 19 9/11 2 Projeto 2: vocabulário e gramática do protocolo; sintaxe: ASN.1 Laboratório de Programação 20 16/11 2 Projeto 2: vocabulário e gramática do protocolo; sintaxe: ASN.1 Laboratório de Programação 21 17/11 2 Projeto 2: implementação Laboratório de Programação 22 23/11 2 Projeto 2: implementação Laboratório de Programação 23 30/11 2 Projeto 3: um protocolo padronizado; escolha de um protocolo padronizado simples para ser implementado; estudo da especificação do protocolo Laboratório de Programação 24 1/12 2 Projeto 3: modelagem do protocolo escolhido, de acordo com sua especificação Laboratório de Programação 25 7/12 2 Projeto 3: implementação Laboratório de Programação 26 14/12 2 Projeto 3: implementação Laboratório de Programação 27 15/12 2 Projeto 3: conclusão; demonstração por meio da comunicação com uma implementação preexistente Laboratório de Programação TOTAL 62

Semestre 2017-1 - Prof. Marcelo Maia Sobral

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

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