Real-Time Systems: Scheduling, Analysis, and Verification
Albert M. K. Cheng
John Wiley & Sons, Inc.
August 2002, 2nd printing 2005.
Copyright Note
The slides below are copyright by Cheng, 2002 and 2005.
They are authorized for personal use, and
for use in conjunction with a course for which
Real-Time Systems: Scheduling, Analysis, and Verification
is the required text.
Instructors are free
to modify the slides according to their taste,
as long as the modified slides acknowledge the source
and the fact that they have
been modified.
Paper copies of the slides may be sold strictly at the price
of reproduction, to students of courses where
the book is the required text.
Any use that differs from the above,
and any for profit sale of the slides (in any form)
requires the consent of the copyright owner;
please contact Albert M. K. Cheng (cheng@cs.uh.edu)
to obtain the
copyright owner consent.
Slides in Powerpoint
Below are lecture slides for most of the chapters.
Chapter 1: Introduction to Real-Time Systems
Chapter 1: Examples of Real-Time and Embedded Systems
Chapter 2: Analysis and Verification of Non-Real-Time Systems
Chapter 3: Real-Time Scheduling and Schedulability Analysis
Chapter 4: Application Examples
Chapter 4: Model Checking of Finite State Systems (with review of basic concepts)
Chapter 4: Model Checking of Finite State Systems
Chapter 5: Visual Formalism, Statecharts, and STATEMATE
Chapter 6: Real-Time Logic
Chapter 7: Verification using Timed Automata
Chapter 10: Propositional-Logic Rule-Based Systems
Real-Time and Embedded Systems Research
Tutorial on
Formal Analysis and Verification of Embedded/Real-Time Systems
(model checking, real-time logic, rule-base analysis)
Power-Aware Systems
Functional Reactive Systems and Real-Time Virtualization
Last updated: April 1, 2020