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.

1. Componentes de um sistema de tempo real
2. Especificação de sistemas de tempo real
3. Escalonamento em sistemas de tempo real
4. Sistemas operacionais para tempo real
5. Linguagens para programação de sistemas de tempo real

Bibliografia Básica:

• BEN-ARI, M. Principles of concurrent and distributed programming. New York: Prentice-Hall, 1990. 225 p. (Prentice Hall Internacional Series in Computer Science / C. A. R. Hoare, series editor)
• HALANG, Wolfgang A. Constructing predictable real time systems. Boston: Kluwer Academic, c1991. 311 p. (The Kluwer international series in engineering and computer science.Real-Time systems / consulting editor Jonh A. Stankovic)
• BURNS, Alan. Real-time systems and programming languages. 2. ed. Harlow: Addison-Wesley, 1997. 611 p. (International computer science series / consulting editor A. D. McGettrick)

Bibliografia Complementar:

• CHENG, Albert M.K. Real-time systems: scheduling, analysis and verification. New Jersey: Wiley-Interscience, 2002. 524 p.
• LIU, Jane W. S. Real-Time Systems. Prentice Hall; 1 edition, April 23, 2000.
• TANENBAUM, Andrew S. Modern operating systems. Englewood Cliffs: Prentice-Hall, 1992. 728 p.
• LAPLANTE, Phillip A.; OVASKA, Seppo J. Real-Time Systems Design and Analysis: Tools for the Practitioner. Wiley-IEEE Press; 4 edition, November 22, 2011.
• STROUSTRUP, B. The C++ Programming Language. Addison-Wesley, 1991.