References

Books

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

• Research papers
  • Real Time Systems by Fixed Priority Scheduling
  • Programming Languages for Real-Time Systems
• Materials for the book Real-Time Systems and Programming Languages
• Timed Automata: Semantics, Algorithms and Tools
• Uppaal tutorial
• Interesting material:
  • Collection of Software Bugs
  • What Happened on Mars?

Tools, documentation

• Uppaal tool
• Lego Mindstorms