DAS9007 - SISTEMAS DE TEMPO REAL – 2012

Prof. Rômulo Silva de Oliveira

www.romulosilvadeoliveira.eng.br

romulo@das.ufsc.br


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. Addison-Wesley, 4th edition, 2009.

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

Artigos selecionados.


Avaliação:

Média = ( P1 + P2 + T ) / 3

P1 e P2 provas individuais sem consulta

T trabalho em dupla, relacionado com sistemas operacionais de tempo real (avaliação e escrita de artigo sobre um SOTR comercial)


Programa do Curso:


20/09-Qui: Livre

21/09-Sex: Livre


27/09-Qui: Livre

28/09-Sex: Livre


04/10-Qui: Caracterização

05/10-Sex: Executivo Cíclico


11/10-Qui: Escalonamento baseado em prioridades

12/10-Sex: FERIADO


18/10-Qui: Recursos

19/10-Sex: Servidores de aperiódicas


25/10-Qui: Revisão de arquitetura

26/10-Sex: Worst-case execution time


01/11-Qui: Prova P1

02/11-Sex: FERIADO


08/11-Qui: Escalonamento de multiprocessadores

09/11-Sex: Escalonamento de multiprocessadores


15/11-Qui: FERIADO

16/11-Sex: FERIADO


22/11-Qui: Escalonamento de multiprocessadores

23/11-Sex: Recursos em multiprocessadores


29/11-Qui: Estudos de caso

30/11-Sex: Prova P2


06/12-Qui: Apresentação dos trabalhos

07/12-Sex: Apresentação dos trabalhos