Deadline Floor Protocol (AI12-0230-1)
updates the EDF (Earliest Deadline First) policy (see RM
D.2.6)
in line with the latest thinking from the IRTAW Workshops. It now uses
the Deadline Floor Protocol (DFP) in preference to the Stack Resource
Protocol (SRP). This should not result in any backward compatibility
problems as it is believed that currently no Ada implementations support
EDF.