Topic outline

  • Programa

    • Uma introdução a sistemas operacionais.
    • Processos, threads, escalonamento.
    • Concorrência: modelagem, exclusão mútua, monitores e sincronização, deadlock, segurança e vivacidade.
    • Uma introdução a sistemas de tempo real: definições, análise de requisitos, projeto,segurança e tolerância a falhas.
    • Especificações de tempo e escalonamento em sistemas de tempo real.
    • Estudos de caso: sistemas de controle em tempo real

  • Bibliografia

    1. Silberschatz, Galvin and Gagne, Operating System Concepts, Sixth Edition, Addison-Wesley, 2001 (Livro Texto).
    2. Jeff Kramer and Jeff Magee, Concurrency: State Models and java Programs, John Wiley & Sons,
    3. Alan Burns and Andy Wellings, Real-time and Programming Languages, third edition, Addison-Wesley, 2001.
    4. Jean-Marie Farines, Joni da Silva Fraga, Romulo Silva de Oliveira, Sistemas de Tempo Real, Escola de Computação, 2000.
    5. Anton Cervin: Integrated Control and Real-Time Scheduling. PhD? thesis ISRN LUTFD2/TFRT-1065-SE, April 2003. Department of Automatic Control, Lund Institute of Technology, Sweden.
    6. Anton Cervin: Towards the Integration of Control and Real-Time Scheduling Design. Licentiate thesis ISRN LUTFD2/TFRT-3226-SE, May 2000. Department of Automatic Control, Lund Institute of Technology, Sweden.
    7. Andrew S. Tanenbaum, Modern Operating System, Prentice-Hall, 2002. (Também em Português).
    8. William Stallings, Operating Systems, Fourth edition, Prentice-Hall, 2001.
    9. Andrew S. Tanenbaum. Structured Computer Organization, Fourth Edition, Prentice-Hall, 1999.
    10. William Stallings, Computer Organization & Architecture: Designing for Performance. Sixth edition, Prentice-Hall, 2002 (Também em Português).

  • Horário das Aulas

    Quartas-Feiras 9:00h-12:00h

  • Critério de Avaliação

    Média = (P1+2*P2)/3

  • Programa Detalhado

    • Aula 1: (13 de Setembro) Apresentação do Curso. Disponibilização da Primeira Lista de Exercícios
      • Slides Aula 1
      • Slides adicionais Parte 1 (Aula 1 - PMR2440)
      • Slides adicionais Parte 2 (Aula 2 - PMR2440)
      • Lista 1

    • Aula 2: (20 de Setembro) Introdução aos Sistemas Operacionais (parte 1)
      • Slides Aula 2
    • Aula 3: (27 de Setembro) Introdução aos Sistemas Operacionais  (parte 2)
      • Slides Aula 3
    • Aula 4: (04 de Outubro) Concorrência (parte 1), disponibilização da Segunda Lista de Exercícios
      • Slides Aula 4
      • Material Original do Livro, Concurrency: State models & JAVA programs, Jeff Magee and Jeff Kramer, John Wiley & Sons, 2nd Edition.
      • Lista 2
    • Aula 5: (11 de Outubro) Concorrência (parte 2), Entrega da Primeira Lista de Exercícios, Prova 1
      • Slides Aula 5
    • Aula 6: (18 de Outubro) Concorrência (parte 3), Ferramenta Gráfica de analise: LTSA. Exemplos.
    • Aula 7: (25 de Outubro) Concorrência - Exemplos.
    • Aula 8: (01 de Novembro) Introdução aos Sistemas de Tempo Real, Especificação de Tempo e Escalonamento. Estudo de casos. Disponibilizaçao da Segunda Lista de Exercícios.
      • Slides - Livro Real Time Systems and Programming Languages
      • Lista 3
    • Aula 9: (08  de Novembro) Inversão de Prioridades. Sistemas de Controle e Escalonamento em Sistemas de Tempo Real.
      • Slides
    • Aula 10: (22 de Novembro) Sistemas de Controle e Escalonamento em Sistemas de Tempo Real (Parte 1)
    • Aula 11: (29 de Novembro) Sistemas de Controle e Escalonamento em Sistemas de Tempo Real (Parte 2)
    • Aula 12: (06 de Dezembro) Entrega da Segunda e Terceira Listas de Exercícios, Prova 2

  • Topic 6

  • Topic 7

  • Topic 8

  • Topic 9

  • Topic 10