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 pre-emption is employed for the DA model, which provides better schedulability and dominates the non-pre-emptive model. In this paper, we also provide a final non-pre-emptive 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.