DAS9007 - SISTEMAS DE TEMPO REAL – 2009

Prof. Rômulo Silva de Oliveira      www.romulosilvadeoliveira.eng.br         romulo@das.ufsc.br

Prof. Carlos Montez                             www.das.ufsc.br/~montez        montez@das.ufsc.br

Terças as 16:00, Quintas as 14:00

Ementa da disciplina:

Definição, caracterização, exemplos de aplicações. Escalonamento dirigido por tempo. Escalonamento por prioridades. Escalonamento de tarefas aperiódicas e esporádicas. Controle de acesso a recursos. Escalonamento adaptativo. Protocolos de comunicação, sistemas operacionais e middleware de tempo real. Desenvolvimento de sistemas de tempo real. Métodos formais para tempo real: modelagem; linguagens e Verificação.

Bibliografia da disciplina:

J.-M. Farines, J. da S. Fraga, R. S. de Oliveira. Sistemas de Tempo Real. Escola de Computação 2000, IME-USP, São Paulo-SP, julho/2000.

J. Liu. Real-Time Systems. Prentice-Hall, 2000.

A. Burns, A. Wellings. Real-Time Systems and Programming Languages. 2nd edition. Addison-Wesley, 1997.

G. Buttazzo, Hard Real-Time Computing Systems - Predictable Scheduling Algorithms and Applications. Kluwer Academic Publishers, 1997.

Artigos selecionados.

Avaliação:

Média parte Rômulo = ( P1 + P2 + T ) / 3

Programa do Curso:

22/09-Ter:        Apresentação da disciplina

24/09-Qui:       Divisão dos grupos

29/09-Ter:        Introdução

01/10-Qui:       Escalonamento em monoprocessadores

06/10-Ter:        Escalonamento em monoprocessadores

08/10-Qui:       Escalonamento em monoprocessadores

13/10-Ter:        Escalonamento em monoprocessadores

15/10-Qui:       Escalonamento em monoprocessadores

20/10-Ter:        Prova P1

22/10-Qui:       Apresentação das ferramentas

27/10-Ter:        Escalonamento em multiprocessadores

29/10-Qui:       Apresentação das ferramentas

03/11-Ter:        Escalonamento em multiprocessadores

05/11-Qui:       Discussão dos projetos

10/11-Ter:        Escalonamento em multiprocessadores

12/11-Qui:       Discussão dos projetos

17/11-Ter:        Escalonamento em multiprocessadores

19/11-Qui:       Apresentação dos resultados

24/11-Ter:        Prova P2

26/11-Qui:       Apresentação dos resultados

01/12-Ter:        Montez

03/12-Qui:       Montez

08/12-Ter:        Montez

10/12-Qui:       Montez