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