1: \begin{abstract}

2:   Fixed-point iteration algorithms like RTA (response time analysis) and QPA

3:   (quick processor-demand analysis) are arguably the most popular ways of

4:   solving schedulability problems for preemptive uniprocessor FP

5:   (fixed-priority) and EDF (earliest-deadline-first) systems. Several IP

6:   (integer program) formulations have also been proposed for these problems, but

7:   it is unclear whether the algorithms for solving these formulations are

8:   related to RTA and QPA\@. By discovering connections between the problems and

9:   the algorithms, we show that RTA and QPA are, in fact, suboptimal

10:   cutting-plane algorithms for specific IP formulations of FP and EDF

11:   schedulability, where optimality is defined with respect to convergence rate.

12:   We propose optimal cutting-plane algorithms for these IP formulations. We

13:   compare the new algorithms with RTA and QPA on large collections of synthetic

14:   systems to gauge the improvement in convergence rates and running times.\\

15:   \smallskip%

16: 

17:   \noindent{}\keywordsname: hard real-time scheduling, fixed priority, earliest deadline

18:   first, cutting planes, linear programming duality, fixed-point iteration

19: \end{abstract}

20: