In real-time systems, many events have specific timing constraints. If these constraints are violated, a system failure occurs. These types of systems are used in many applications incuding airplane autopilot systems and powerplant controllers. Because these systems are often used in safety critical applications, it is essential that we can guarantee the timing requirements will be met before the system is used. To this end, we analytically develop tests to guarantee all jobs will meet their deadlines.
