Análise e Modelização de Sistemas e Redes

Conteúdo da página

1. Docentes
2. Funcionamento de AMSR
3. Datas importantes
4. Plano de aulas
5. Exames de AMSR
6. Livros e revistas
7. Apontamentos
8. Artigos
9. Software
10. Notas

1. Docentes

• Prof. Manuel Pereira Ricardo, [email protected]
• Prof. Eurico Manuel Carrapatoso, [email protected]

2. Funcionamento de AMSR

• Ficha de disciplina

3. Datas importantes

• 22.Mai - Início das aulas
• 5.Jul - Fim das aulas
• 19.Jul - Exame Época Normal, 10:00
• 25.Jul - Entrega dos relatórios dos trabalhos práticos
• 15.Set - Exame Época de Recurso

4. Plano de aulas

• 22.Mai. 10:40-12:00. Introdução a AMSR. Especificação de protocolos. (MPR)
• 23.Mai. 08:10-10:00. Especificação de protocolos. (MPR)
• 24.Mai. 08:10-10:00. Verificação de protocolos. (MPR)

• 29.Mai. 10:40-12:00. "Quality aspects of real time voice communications", invited presentation by Ian Marsh, SICS/KTH. (MPR)
• 30.Mai. 10:10-12:00. Verificação de protocolos. (MPR)
• 31.Mai. 10:10-12:00. Apresentação do trabalho de especificação e verificação. (MPR)

• 05.Jun. 10:40-12:00. Implementação do TCP/IP. (MPR)
• 06.Jun. 10:10-12:00. Implementação do TCP/IP. (MPR)
• 07.Jun. 11:00-12:00. TCP - Funcionamento básico e controlo de fluxo. (MPR)

• 12.Jun. 10:40-12:00. TCP - Controlo de congestionamento. (MPR)
• 13.Jun. 10:10-12:00. Routers IP. (MPR)
• 14.Jun. 10:10-12:00. Routers IP. (MPR)

• 19.Jun. 10:40-12:00. Simulação. (EMC)
• 20.Jun. 10:10-12:00. Simulação. (EMC)
• 21.Jun. 10:10-12:00. Simulação. (EMC)

• 26.Jun. 10:40-12:00. Simulação. (EMC)
• 27.Jun. 10:10-12:00. Simulação. (EMC)
• 28.Jun. 10:10-12:00. Simulação. (EMC)

• 03.Jul. 10:40-12:00. Testes e medidas em redes IP. (MPR).
• 04.Jul. 10:10-12:00. Medidas de tráfego na UP. IRIC. (Mário Serrão, Gil Coutinho)
• 05.Jul. 10:10-12:00. Testes e medidas em redes IP. (MPR).

5. Exames de AMSR

• Exame anterior - AMRS19.02.2003.DOC
• Epoca normal -

6. Livros e revistas

Revistas

• IEEE/ACM Transactions on Networking
• IEEE Network

Livros

• Averill M. Law, W. David Kelton, "Simulation Modeling and Analysis, 2nd edition", McGraw Hill.
• Gerard J. Holzmann, "Design and Validation of Computer Protocols", Prentice-Hall. (formato electro'nico)
• Gary R. Wright, W. Richard Stevens, "TCP/IP Illustrated, Volume 2: The Implementation", Addison Wesley.
• Larry L. Peterson, Bruce S. Davie, "Computer Networks - a system approach", 3rd (or 2nd) edition, Morgan Kaufmann.
• W. Richard Stevens, "TCP/IP Illustrated, Volume 1: The Protocols", Addison Wesley.
• S. Keshav, "An Engineering Approach to Computer Networking - ATM Networks, the Internet and the Telephone Network", Addison Wesley.
• Joseph D. Sloan, "Networking Troubleshooting Tools", O'Reilly.

7. Apontamentos

• Aulas Teóricas
  • Introdução a AMSR - amsr_v4.pdf
  • Especificação de protocolos - especificacao_v4.pdf
  • Verificação de protocolos - verificacao_v4.pdf
  • "Quality aspects of real time voice communications", invited presentation by Ian Marsh, SICS/KTH - IanMarsh.pdf
  • Trabalho de especificação e verificação - trabalhoVerificacao.pdf
  • Implementação do TCP/IP em BSD4.4 - impTcpIp_v4.pdf
  • TCP - tcp_v4.pdf
  • Controlo de Congestionamento - cong_v4.pdf
  • Routers IP - router_v4.pdf
  • Simulação - livro de simulação: Cap. 1, pag 1 - 62; Cap. 5, pag 298 - 394
  • Tráfego e Medidas em Redes IP - testeIP_v4.pdf,
• Trabalhos
  • Trabalho de especificação e verificação - trabalhoVerificacao.pdf
  • Trabalho de simulação - trabSimulacao.pdf

8. Artigos

• Especificação de protocolos
  • D. Hogrefe, "OSI formal case study: the Inres protocol and service, revised"
  • Capitulos 1 e 2 do livro do Holzmann (formato electronico)
  • "Specification and Description Language (SDL)"
  • F. Babich, and L. Deotto, "Formal Methods for Specification and Analysis of Communications Protocols", IEEE Communications Surveys, 2002.
• Verificação de funcionamento
  • G. Holzmann, "Tutorial - Design and Validation of Protocols", Tech Report n 157, AT&T Bell Laboratories
  • G. Holzmann, "The Model Checker SPIN", IEEE Transactions on Software Engineering, Vol 23, N 5, May 1997
• Implementação da pilha TCP/IP
  • S. Leffler, W. Joy, R. Fabry, M. Karels, "Networking Implementation Notes 4.4 BSD Edition", Technical Report, 1993.
  • Capitulo 1 do Volume 2 do livro do Stevens
  • M. Rio et al., "A Map of the Networking Code in Linux Kernel 2.4.20", Technical Report DataTAG-2004-1, 31 March 2004.
  • Glenn Herrin, "Linux IP Networking - A guide to the implementation and modification of the Linux protocol stack", TR 00-04, 2000, (LinuxIPNetworking.pdf)
• Routers
  • S. Keshav, R. Sharma, "Issues and Trends in router design", IEEE Communications Magazine, May, 1998.
  • Seccoes 8.3, 8.4 e 8.5 do livro do Keshav
  • White Paper Cisco, "The Evolution of High-End Router Architectures", 2001.
  • C. Partridge, ..., "A 50 Gbit/s IP Router", ACM/IEEE Transactions on Networking, Jun 1998.
  • M. Ruiz-Sanchez, E. Biersack, W. Dabbous, "Survey and Taxonomy of IP Addess Lookup Algorithms", IEEE Network, Mar 2001.
  • "Requirements for IP Version 4 IP Routers", RFC 1812, 1995.(175 paginas)
• TCP
  • Seccoes 5.1 e 5.2 do livro do Peterson
• Controlo de congestionamento
  • Seccoes 6.1, 6.2, 6.3 3 6.4 do livro do Peterson.
  • "TCP Congestion Control", RFC 2581, 1999.
  • S. Floyd, K.Fall, "Promoting the Use of End-to-End Congestion Control in the Internet", 1999.
  • Vern Paxon, "End-to-End Internet Packet Dynamics", 1997.
  • V. Jacobson, M. Karels, "Congestion Avoidance and Control".
• Teste e trafego em redes IP
  • Claffy, Miller, Thompson, "The nature of the beast: recent traffic measurements from an Internet backbone", 1998
  • J. Charzinski, "Internet client traffic measurement and characterization results", 2000
  • N. Brownlee and K. C. Claffy, "Understanding internet traffic streams: Dragonflies and tortoises, IEEE Communications Magazine, vol. 40, no. 10, October 2002"
  • Allen Downey, "Using pathchar to estimate Internet link characteristics", 1999.
  • J. Roberts, "Traffic Theory and the Internet", 2001
  • S. Lam, "Back to the Future Part 4: The Internet", SIGCOMM 2004 keynote speech.
  • Caida Metrics Working Group, "Network Measurement FAQ"

9. Software

• SPIN - trabalho de verificação de protocolos (Prémio Software Systems Award, 2001, do ACM)
  • Download e instalação
  • Home page, documentação

• PARSEC - trabalho de simulação
  • Software (parsec-Sep00.tar.gz)
  • Exemplo (rsvp-simul.tar.gz)
  • Documentação (manual.pdf)
  • Home page

10. Notas

• Notas de AMSR, Época Normal - amsr5ed-normal.pdf
• Notas de AMSR, Época de Recurso - amsr5ed-recurso.pdf