Welcome! Bienvenido! Bienvenue! Benvenuto! Boa vinda! Willkommen!
Real-Time Systems: Scheduling, Analysis, and Verification
Albert M. K. Cheng
John Wiley & Sons, Inc.
ISBN # 0-471-18406-5
552 pages, August 2002; Second Printing with Updates, 2005.
For senior-level undergraduate/first-year graduate courses in real-time systems, embedded systems (software and hardware) engineering, and formal methods. Serves as a supplement to courses in operating systems and system design, as well as a reference for practitioners and researchers.
Table of Contents
Errata and Clarifications
Solutions manual available now from Wiley (firstname.lastname@example.org)
who have adopted the textbook for their courses
If you have questions or comments, please send email to
Last updated: January 15, 2020