Priority-based Functional Reactive Programming (P-FRP) using Deferred Abort

This paper extends the Abort-and-Restart (AR) model by defining the Deferred Abort (DA) model, Both models support Priority-based Functional Reactive Programming (P-FRP). Higher priority tasks sometimes do not need an immediate abort to meet their deadlines. The technique of deferred preemption is employed for the DA model, which provides better schedulability and dominates the non-preemptive model. In this paper, we also provide a final non-preemptive region assignment, and a heuristic priority assignment scheme. In the experimental evaluation, the schedulability of the DA model demonstrated a clear improvement compared to the AR model.