Education
Books on Real-Time Systems
- Real-Time Systems (ISBN: 0130996513), Jane W. S. Liu (Prentice Hall, 2000.)
- Real-Time Systems (ISBN: 978-0-471-35490-1), Alan C. Shaw (John Wiley & Sons, 2001.)
- Real-Time Systems: Scheduling, Analysis, and Verification (ISBN: 978-0-471-18406-5), Albert M. K. Cheng (John Wiley & Sons, 2002.)
- Hard Real-Time Computing Systems (ISBN: 978-0-387-23137-2), Giorgio C. Buttazzo (Springer, 2005 — 2nd edition.)
- Soft Real-Time Systems: Predictability vs. Efficiency (ISBN: 978-0-387-23701-5), Giorgio C. Buttazzo, Giuseppe Lipari, Luca Abeni and Marco Caccamo (Springer, 2005.)
- Real-Time Systems and Programming Languages (ISBN: 0201729881), Alan Burns and Andy Wellings (Addison Wesley Longman, 2001 — 3rd edition.)
Journals and Transactions
Tools and Benchmarks
- UPPAAL: Modeling, verification and validation of real-time systems.
|
|
