Teaching‎ > ‎

mata45

Análise de Escalonamento em Sistemas de Tempo Real

O objetivo deste curso é apresentar conceitos sobre teoria de escalonamento em sistemas de tempo real. É desejável, mas não obrigatório, que o aluno possua conhecimentos prévios sobre sistemas operacionais. As aulas são inteiramente baseadas em discussões de artigos científicos na área. Ao final do curso, o aluno deve ser capaz de entender os principais conceitos das técnicas de escalonamento e saber analisar correção temporal de sistemas de tempo real. O curso é dividido em três fases. Inicialmente, alguns resultados fundamentais na área são apresentados. Diferentes tipos de escalonamento e técnicas de anállise de escalonamento em sistemas com uma única unidade de processamento são discutidas em sala  Nesta fase, os seguintes artigos são usados: 
  • C. L. Liu and J. W. Layland, “Scheduling Algorithms for Multiprogram in a Hard Real-Time Environment,” Journal of ACM, vol. 20, no. 1, pp. 46 – 61, 1973.
  • Raymond Devillers and Joel Goossens. Liu and Layland's schedulability test revisited. Information Processing Letters, pp 157-161, 2000.
  • Sha, L., Rajkumar, R. and Lehoczky, J. P. "Priority Inheritance Protocols: An Approach to Real-Time Synchronization". IEEE Transactions on Computers, vol 39, no. 9, pp. 1175-1185, 1990.
  • Neil Audsley, Alan Burns, Mike Richardson, Ken Tindell, Andy J Wellings. Applying New Scheduling Theory to Static Priority Pre-emptive Scheduling. Software Engineering Journal. vol 8, pp 284--292, 1993.
A segunda fase cobre recentes desenvolvimentos na área e, portanto, os artigos variam, dependendo do semestre. Tópicos como escalonamento hierárquico, tolerância a falhas, economia de energia, sistemas multiprocessados etc podem ser abordados. 
Na terceira fase um trabalho prático para testar alguma hipótese levantada nas fases anteriores é realizado. Isto pode requerer o estudo de outros artigos complementares e a produção de um pequeno relatório descrevendo o trabalho e as principais conclusões obtidas. 
Comments