IEEE Technical Committee on Real-Time Systems

Books on Real-Time Systems

Real-Time Systems (ISBN: 0130996513) by Jane W. S. Liu.
Published by Prentice Hall, 2000
Real-Time Systems and Software (ISBN: 978-0-471-35490-1) by Alan C. Shaw. Published by John Wiley & Sons, 2001
Real-Time Systems: Scheduling, Analysis, and Verification (ISBN: 978-0-471-18406-5) by Albert M. K. Cheng. Published by John Wiley & Sons; 2002

Journals and Transactions

Journal on Real-Time Systems (JRTS), Kluwer Academic Publishers

Tools and Benchmarks

UPPAAL: modeling, verification and validation of real-time systmes

Search