Real-Time Java™ Platform Programming

Theorems

This section describes three theorems for formal analysis of real-time systems. The seminal Liu and Layland theorem is presented first because it can be called the beginning of formal real-time analysis. The other two theorems are for a graphical approach to scheduling heavier loads than Liu and Layland's theorem permit, and a computational approach to scheduling heavier loads.

Liu and Layland's Theorem

This theorem quantifies what might be called the efficiency of rate monotonic analysis. If everything fit together neatly, rate monotonic analysis could schedule work until every processor cycle was full. But what if the tasks have periods and processor demands that interfere with one another? How bad can it get?

Theorem 7-1. Liu and ...