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.

Lecture Slides
Table of Contents
Teaching Suggestions
Wiley's Stand
Errata and Clarifications
Solutions manual available now from Wiley (krohsted@wiley.com) for instructors who have adopted the textbook for their courses

If you have questions or comments, please send email to Albert Cheng (cheng@cs.uh.edu).

Last updated: January 15, 2020