PTC-EngTel (Plano de Ensino)

De MediaWiki do Campus São José
Ir para: navegação, pesquisa
LogoIFSCCampusSJ.png

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: 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. Estrutura de protocolos (16h): caracterização de protocolos (sintaxe, semântica, comportamento e temporização); princípios de projeto; propriedades desejáveis de protocolos; mecanismos de protocolos (controle de sequência e de erros, controle de fluxo, sincronização, conexão, multiplexação, segmentação e remontagem)
  2. Especificação de protocolos (36h): sintaxe e codificação, vocabulário e gramática, comportamento e temporização; ASN.1; máquinas de estados finitos; diagramas de sequência e de máquinas de estados UML; máquinas de estados comunicantes e estendidas; introdução a linguagens de modelagem (SDL, Promela)
  3. Avaliações (4h).
Estratégias de ensino utilizadas
Resolução de problemas por meio de projetos representativos.
Estudos de casos
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. Todos projetos devem ter conceito >= 6 para aprovação na disciplina.
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
3.ITU-T. ASN.1 Project; ed. Geneva:ITU, 2015. p. ISBN . "Disponível em: http://www.itu.int/en/ITU-T/asn1/Pages/asn1_project.aspx
4.LARMOUTH, John. ASN.1 Complete. Morgan-Kaufman, 1999. 387 p. ISBN 0-12233-435-3. Disponível em: http://www.oss.com/asn1/resources/books-whitepapers-pubs/asn1-books.html#dubuisson
5. MENEZES, Paulo Blauth Linguagens formais e autômatos; 5a ed. Porto Alegre:Bookman, 2008. 215p. ISBN 9788577802661

ANEXOS

Cronograma de atividades
Horário de Aula e Atendimento Paralelo


Curso de Engenharia de Telecomunicações