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

Conteúdo da página

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

1. Docentes

• Manuel Pereira Ricardo (Prof. Auxiliar) - [email protected]
• Eurico Manuel Carrapatoso (Prof. Auxiliar) - [email protected]
• José Ruela (Prof. Associado) - [email protected]

2. Funcionamento de AMSR

• Ficha de disciplina

3. Plano de aulas

Docentes: Prof. Manuel Ricardo (MPR) , Prof. Eurico Carrapatoso (EMC), e Prof. José Ruela (JAR)

• 1a semana
  • 2.Dez, 2a feira, 8:10 - 9:30. Introdução a AMSR. Simulação. (EMC)
  • 3.Dez, 3a feira, 8:10 - 10:00. Simulação. (EMC)
  • 4.Dez, 4a feira, 8:10 - 10:00. Simulação. (EMC)
• 2a semana
  • 9.Dez, 2a feira, 8:10 - 9:30. Simulação. (EMC)
  • 10.Dez, 3a feira, 8:10 - 10:00. Simulação. (EMC)
  • 11.Dez, 4a feira, 8:10 - 10:00. Resolução de problemas. (EMC)
• 3a semana
  • 16.Dez, 2a feira, 8:10 - 9:30. Apresentação do trabalho de simulação. (EMC)
  • 17.Dez, 3a feira, 8:10 - 10:00. Especificação de protocolos. (MPR)
  • 18.Dez, 4a feira, 8:10 - 10:00. Especificação de protocolos. (MPR)
• Férias de Natal
• 4a semana
  • 6.Jan, 2a feira, 8:10 - 9:30. Verificação de protocolos. (MPR)
  • 7.Jan, 3a feira, 8:10 - 10:00. Verificação de protocolos. (MPR)
  • 8.Jan, 4a feira, 8:10 - 10:00. Apresentação do trabalho de verificação de protocolos. (MPR)
• 5a semana
  • 13.Jan, 2a feira, 8:10 - 9:30. Implementação do TCP/IP em UNIX (MPR)
  • 14.Jan, 3a feira, 8:10 - 10:00. Routers IP (MPR)
  • 15.Jan, 4a feira, 8:10 - 10:00. Routers IP. TCP. (MPR)
• 6a semana
  • 20.Jan, 2a feira, 8:10 - 9:30. Controlo de congestionamento em redes IP. (MPR)
  • 21.Jan, 3a feira, 8:10 - 10:00. Controlo de congestionamento em redes IP. Medidas sobre redes IP. (MPR)
  • 22.Jan, 4a feira, 8:10 - 10:00. Medidas sobre redes IP. Apresentação do trabalho de medidas. (MPR)
• 7a semana
  • 27.Jan, 2a feira, 8:10 - 9:30. QoS em redes IP. (JAR)
  • 28.Jan, 3a feira, 8:10 - 10:00. Visita de estudo de Serviços Multimédia.
  • 29.Jan, 4a feira, 8:10 - 10:00. Aula adiada.

Nota - este plano pode sofrer alterações.

4. Exames de AMSR

• Recurso de AMSR, 28 de Maio de 2003, 4a feira, 14:30-16:30, sala B.106.
• Exame de AMSR - sem consulta, 19 de Fevereiro de 2003, 4a feira, 9:00-11:00, sala B.116

5. Livros

• 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.
• W. Richard Stevens, "TCP/IP Illustrated, Volume 1: The Protocols", Addison Wesley.
• David Rusling, "The Linux Kernel, 1998. (formato electronico)
• S. Keshav, "An Engineering Approach to Computer Networking - ATM Networks, the Internet and the Telephone Network", Addison Wesley.
• Larry L. Peterson, Bruce S. Davie, "Computer Networks - a system approach", 2nd edition, Morgan Kaufmann.
• Radia Perlman, "Interconnections - Bridges, Routers, Switchs and Internetworking Protocols", 2nd edition, Addison Wesley.
• Joseph D. Sloan, "Networking Troubleshooting Tools", O'Reilly.
• Averill M. Law, W. David Kelton, "Simulation Modeling and Analysis, 2nd edition", McGraw Hill.

6. Apontamentos

• Introdução a AMSR. amsr_v1.pdf
• Trabalho de simulação. trabSimulacao.pdf
• Trabalho de medidas sobre redes IP trabalho.html
• Apontamentos de simulação ( livro de simulação)
  • Capítulo 1: pag 1 - pag 62
  • Capítulo 5: pag 298 - pag 394
• Especificação de protocolos. especificacao_v1.pdf
• Verificação de protocolos. verificacao_v1.pdf
• Trabalho de verificação de protocolos. trabVerif_v1.pdf
• Implementação do TCP/IP em BSD4.4. impTcpIp_v1.pdf
• Routers IP. router_v1.pdf
• TCP. tcp_v1.pdf
• Controlo de Congestionamento cong_v1.pdf
• QoS em Redes IP
  • IntServ. intServ_v1.pdf
  • DiffServ. diffServ_v1.pdf
  • Escalonamento. (não foi leccionado) escalonamento_v1.pdf
• Tráfego e Medidas em Redes IP. testeIp_v1.pdf

7. Artigos

• D. Hogrefe, "OSI formal case study: the Inres protocol and service, revised"
• "Specification and Description Language (SDL)"
• 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
• S. Leffler, W. Joy, R. Fabry, M. Karels, "Networking Implementation Notes 4.4 BSD Edition", Technical Report, 1993.
• Glenn Herrin, "Linux IP Networking - A guide to the implementation and modification of the Linux protocol stack", TR 00-04, 2000, (linuxIpNetworking.pdf)
• E. Inocencio, M. Ricardo, H. Sato and T. Kashima, "Combined Application of SDL-92, OMT, MSC and TTCN", FORTE/PSTV'96, 1996.
• S. Keshav, R. Sharma, "Issues and Trends in router design", IEEE Communications Magazine, May, 1998.
• 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)
• V. Jacobson, M. Karels, "Congestion Avoidance and Control".
• "TCP Congestion Control", RFC 2581, 1999.
• S. Floyd, K.Fall, "Promoting the Use of End-to-End Congestion Control in the Internet", 1999.
• Hui Zhang, "Service Disciplines For Guaranteed Performance Service in Packet-Switching Networks", 1995.
• Vern Paxon, "End-to-End Internet Packet Dynamics", 1997.
• Anja Feldmann "Characteristics of TCP Connection Arrivals", 1999.
• Allen Downey, "Using pathchar to estimate Internet link characteristics", 1999.
• Mark Allman, "A Web Server View of the Transport layer", 2000.
• K. Claffy, C. Polyzos, H. Braun, "Tracking Long-Term Growth of the NFSNET", 1994
• Apisdorf, Claffy, Thompson, Wilder, "Affordable, high performance statistics collection"
• Claffy, Miller, Thompson, "The nature of the beast: recent traffic measurements from an Internet backbone", 1998
• J. Roberts, "Traffic Theory and the Internet", 2001
• J. Charzinski, "Internet client traffic measurement and characterization results", 2000
• Caida Metrics Working Group, "Network Measurement FAQ"

8. Software

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

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

9. Notas

• Notas de AMSR, exame- amsr2edFinalv2.pdf
• Notas de AMSR, recurso - amsr2edFinalRecursov3.pdf