Abstract | ||
---|---|---|
Functional Reactive Programming (FRP) is a resource aware declarative approach for modeling and building safety-critical embedded systems. Recently, Priority-based FRP (P-FRP) was introduced as a formalism that guarantees real-time response. Due to the state-less nature of execution of functional programs, P-FRP implements a transactional nature of execution where preempted lower-priority tasks are aborted. This makes the response time of a lower-priority task completely dependent on the execution pattern of higher priority tasks. The feasibility interval in the classical preemptive model of real-time systems is known and is dependent on the least common multiple (LCM) of task periods. However, since the abort nature of preemption can induce side-effects on the execution of lower-priority tasks, it has been unknown to date if the feasibility in P-FRP is also dependent on the LCM. In this paper, we rigorously prove that these side-effects of preemption are bounded within the LCM and formally derive a value of the feasibility interval in P-FRP. This value of feasibility interval is vital for more robust schedulability analysis of the P-FRP execution model. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1016/j.jcss.2012.11.006 | IEEE International Conference on Trust, Security and Privacy in Computing and Communications |
Keywords | Field | DocType |
state-less nature,feasibility interval,preempted lower-priority task,p-frp execution model,priority-based frp,transactional nature,transactional event handler,lower-priority task,classical preemptive model,abort nature,execution pattern,embedded system,side effect,functional programming,real time,real time systems | Functional reactive programming,Asynchronous communication,Preemption,Functional programming,Computer science,Least common multiple,Event (computing),Execution model,Bounded function,Distributed computing | Journal |
Volume | Issue | ISSN |
79 | 5 | 0022-0000 |
Citations | PageRank | References |
7 | 0.51 | 18 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Chaitanya Belwal | 1 | 54 | 8.07 |
Albert M. K. Cheng | 2 | 307 | 39.69 |
Bo Liu | 3 | 521 | 84.67 |