Most of the course material is based on the following text books:

  • Jane W. S. Liu: Real-time systems.
  • Giorgio Buttazzo, "Hard Real-time Computing Systems: Predictable Scheduling Algorithms and Applications", Second Edition, Springer, 2005.
  • Albert M. K. Cheng. Real-Time Systems: Scheduling, Analysis, and Verification. Wiley, 2002.
  • Alan Burns and Andy Wellings. Real-Time Systems and Programming Languages. Addison Wesley, 1996.
  • Phillip A. Laplante. Real-Time Systems Design and Analysis: An Engineer's Handbook. IEEE Press, 1992.
  • Luca Aceto, Anna Ingolfsdottir, Kim G. Larsen, Jiri Srba. Reactive Systems: Modeling, Specification and Verification. Cambridge Press, 2007.

On-line material

Tools, documentation