Real
Time Systems |
## References## BooksMost 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
- Materials for the book Real-Time Systems and Programming Languages
- Timed Automata: Semantics, Algorithms and Tools
- Uppaal tutorial
- Interesting material:
## Tools, documentation |