Institutional PortalUFPEL

Objetivo Geral:

Desenvolver nos alunos conhecimentos teóricos e práticos de sistemas computacionais que possuem tratamento diferenciado devido a necessidade de atender a requisitos temporais específicos (sistemas de tempo real).

1. Definição e caracterização de sistemas de tempo real
2. Especificação e implementação de sistemas de tempo real
3. Abordagens de escalonamento: escalonamento com garantia, escalonamento melhor esforço. Executivo cíclico. Testes de escalonabilidade baseados em utilização e baseados em análise do tempo de resposta. Escalonamento de tarefas aperiódicas e esporádicas.
4. Sistemas operacionais de tempo real.
5. Programação para sistemas de tempo real.

Bibliografia Básica:

• HALANG, Wolfgang A. Constructing predictable real time systems. Boston: Kluwer Academic, 1991.
• CHENG, Albert M.K. Real-time systems: scheduling, analysis and verification. New Jersey: Wiley-Interscience, 2002.
• BURNS, Alan. Real-time systems and programming languages. Harlow: Addison-Wesley, 1997.

Bibliografia Complementar:

• BEN-ARI, M. Principles of concurrent and distributed programming. New York: Prentice-Hall, 1990.
• FARINES, J.-M., FRAGA, J. da S., OLIVEIRA, R. S. Sistemas de Tempo Real. Escola de Computação 2000. São Paulo: IME-USP, 2000.
• OLIVEIRA, Rômulo. Fundamentos dos Sistemas de Tempo Real. Florianópolis: Edição do Autor, 2018.
• LIU, Jane W. S. Real-Time Systems. New Jersey: Prentice-Hall. 2000.
• SILBERSCHATZ, Abraham. Fundamentos de sistemas operacionais. Rio de Janeiro: LTC, 2015.