GBC224 - Faculdade de Computação

UNIVERSIDADE FEDERAL DE UBERLANDIA
FACULDADE DE COMPUTA(:AO
COLEGIADO DO CURSO DE CIENCIA DA COMPUTA<;AO
DISCIPLINA: Sistemas de Tempo Real
UNIDADE ACADEMICA:
CODIGO: GBC224
FACOM- FACULDADE DE COMPUTA<;AO
PERIODO/SERIE:
OBRIGATORIA: ( )
OPTATIV A: ( X)
CHTOTAL
TEO RICA:
CHTOTAL
PRATICA:
CHTOTAL:
60
00
60
OBS:
PRE-REQUISITOS: NAO HA
c6-REQUISITOS: NAO uA
A disciplina apresenta conceitos, princtptos e metodos fundamentais de especifica9ao, projeto e
implementa9ao dos sistemas de tempo real. Inclui arquiteturas de software, metodos de especifica9ao
formal e informal, escalonamento determinista, analise de tempo de execu9ao, relogios de
computadores e servidores de tempo, linguagens de programa9ao de tempo real e sistemas
operacionais.
'
lntrodu9ao aos sistemas de tempo real. Principais aplica96es. Conceitos de programa9ao concorrente:
exclusao mutua; semaforos e monitores. Aspectos Matematicos dos Algoritmos de Escalonamento.
Algoritmos para escalonamento estatico. Algoritmos para escalonamento dinamico. Calculo de
consistencias especial e temporal. Analise de Requisitos de Sistemas Tempo Real. Sistemas
Operacionais de Tempo Real. Projeto de Sistemas Tempo Real Hard e Soft. Constru9ao de
Pro ramas/Protocolos ara Sistemas Distribufdos Tern o Real.
I
I
I
I
Capitulo 1
lntroduc;ao: o mundo dos sistemas de tempo real.
Capitulo 2
Arquiteturas de software.
Capitulo 3
Especificac;oes de requisites e de projeto. Tecnicas de alocac;ao de tarefas e escalonamento. Sistemas de maquinas de estados.
Capitulo 4
Questoes de energia e potencia em sistemas de tempo real. Metricas de desempenho
para sistemas de tempo real. Avaliac;ao de tolerancia e confiabilidade a falta. Sincronizac;ao de clock para tolerar faltas. Estimativas de tempo de execuc;ao do pior caso.
Capitulo 5
Especificac;oes declarativas. Linguagens de programac;ao.
Capitulo 6
Escalonamento determinista. Predic;ao de tempo de execuc;ao. Administrac;ao do tempo
em computadores.
Capitulo 7
Algoritmos de comunicac;ao.
Capitulo 8
Sistemas operacionais.
Basica
Alan Shaw. Sistemas e Software de Tempo-Real. Bookman, 2003.
Mall, Rajib. Real-Time Systems: Theory And Practice, Pearson Education, 2007.
Hallinan, Christopher. Embedded Linux Primer: A Practical Real-World Approach, Prentice
Hall, 2006.
J. Liu. Real-time Systems. Prentice-Hall, 2000.
Q. Lie C. Yao. Real-Time Concepts for Embedded Systems, CMP Books, 2003.
A. Cheng. Real-time Systems: Schedulina=. Analysis, and Verification. John Wiley & Sons,
2002.
Complementar
A. Bums e A. W ellings. Real-Time Systems and Proa=rammina= Lana=uaa:es. Addison-Wesley,
1997.
H. Kopetz. Real-Time Systems, Desi~n Principles for Distributed Embedded Applications.
Kluwer Academic Publishers, Massachusetts, 1997.
W. Douglass. Real-Time UML: Developin~ Efficient Objects for Embedded Systems . Addison,........,.....
Wesley, 1997.
Carimbo e assin
Coordenador do curso
Universidade Federal de Uberlfmdia
Prof. lime rio R~is da Silva