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