PTC-EngTel (Plano de Ensino)

	MINISTÉRIO DA EDUCAÇÃO SECRETARIA DE EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE SANTA CATARINA CAMPUS SÃO JOSÉ Curso de Engenharia de Telecomunicações

Plano de Ensino de 2013-1 - atual

Dados gerais

COMPONENTE CURRICULAR: PTC - PROJETO DE PROTOCOLOS

CARGA HORÁRIA: 3 HORAS/SEMANA 54 HORAS.

UCs vizinhas

CÓDIGO ISAAC: PTC29008

PRÉ REQUISITOS: PRG2 RED2

DISCIPLINAS SUCESSORAS: ADS

MÓDULO PROFISSIONALIZANTE

Objetivos

Projetar protocolos de comunicação em redes de computadores

Implementar protocolos de comunicação a partir de suas especificações

Ementa

A estrutura de um protocolo. Mecanismos básicos de um protocolo. Codificações de protocolos. Especificação, modelagem e validação de protocolos. Projeto e implementação de protocolos com máquina de estados.

Conteúdo Programático

1. Listas lineares (28h): Listas encadeadas e duplamente encadeadas (6h); Filas (4h); Pilhas (4h); Listas circulares (2h); Algoritmos de ordenamento: bubble sort, quicksort e list sort (6h); Algoritmos de busca sequencial e binária (4h); Estudos de caso: filas de pacotes em roteadores e switches (2h);
2. Árvores (28h): Árvores binárias e de pesquisa binária (8h); Árvores balanceadas (6h); Algoritmos de busca em árvores: Busca em profundidade e Busca em largura (8h); Algoritmos de ordenamento com árvores (4h); Estudo de caso: busca de arquivos em disco (2h).
3. Tabelas de dispersão (hash) (12h): Funções de dispersão (4h); Tratamento de colisões (6h); Estudo de caso: caches em proxies HTTP (2h).
4. Avaliações (6h).

Estratégias de ensino utilizadas

Resolução de problemas por meio de projetos representativos.

Aulas expositivas

Critérios e instrumentos de avaliação

Os alunos são avaliados de acordo com o cumprimento dos objetivos dos projetos, estando sujeitos a entrevistas sobre as soluções encontradas. Além disso, são realizadas avaliações individuais por meio de provas práticas.

Atividades Complementares

Bibliografia Básica

1.SHARP, Robin. Principles of Protocol Design. [S.l]: Springer 2010. ISBN 978-3642096280.

2.HOLZMANN, Gerard. Design and Validation of Computer Protocols. Prentice Hall Software Series, 1991. ISBN 0-13-539925-4.

3.KUROSE, James F.; ROSS, Keith W Redes de Computadores e a Internet: Uma abordagem top-down; 5ª ed. São Paulo:Pearson, 2010. 614p. ISBN 9788588639973

Bibliografia Complementar

1.VARGHESE, George. Network Algorithmics: An Interdisciplinary Approach to Designing Fast Networked Devices (The Morgan Kaufmann Series in Networking). [S.l]: Morgan Kaufmann, 2004. 496 p. ISBN 978-0120884773.

2.HOLZMANN, Gerard. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, 2004. ISBN 0-321-77371-3

ANEXOS

Cronograma de atividades

Horário de Aula e Atendimento Paralelo

Curso de Engenharia de Telecomunicações