| Abstract
|
<p>Functional*Reactive Programming ( … <p>Functional*Reactive Programming (FRP) is a declarative approach to modeling and building reactive systems. Priority-based FRP (P-FRP) is a formalism of FRP that guarantees real-time response. Unlike the classical preemptive model1 of real-time systems, preempted tasks in PFRP are aborted and have to restart when higher priority tasks have completed. Due to this abort-restart of nature of preemption, there is no single critical instant of release that leads to Worst-Case Response Time (WCRT) of lower priority P-FRP tasks. At this time, the only method for determining the WCRT is through an exhaustive enumeration of all release offsets of higher priority tasks between the release and deadline of the lower priority task. This makes the computational cost of WCRT dependent on the deadline of a task, and when such deadlines are large the computational costs of this technique make it infeasible even for small task sets. In this paper, we show that the release offsets of higher priority tasks have a lower and upper bound and present techniques to derive these bounds. By enumerating only those release offsets while lie within our derived bounds the number of release scenarios that have to be enumerated is significantly reduced. This leads to lower computational costs and makes determination of the WCRT in P-FRP a practically feasible proposition. © 2011 IEEE.</p>asible proposition. © 2011 IEEE.</p>
|
| Author
|
Chaitanya Belwal +
, Albert M.K. Cheng +
, Walid Taha +
|
| Conference
|
ICESS'11 International Conference on Embed … ICESS'11 International Conference on Embedded Software and Systems 10th IEEE Int. Conf. on Trust, Security and Privacy in Computing and Communications, TrustCom 2011, 8th IEEE Int. Conf. on Embedded Software and Systems, ICESS 2011, 6th Int. Conf. on Frontier of Computer Science and Technology, FCST 2011, Changsha, China, 16-18 NovemberFCST 2011, Changsha, China, 16-18 November
|
| DOI
|
http://dx.doi.org/10.1109/TrustCom.2011.131 +
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588236
|
| EndPage
|
957 +
|
| HostPublication
|
2011 IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) +
|
| PublicationType
|
Conference Paper +
|
| Publisher
|
IEEE Press +
|
| StartPage
|
950 +
|
| Title
|
Release Offset Bounds for Response Time Analysis of P-FRP using Exhaustive Enumeration +
|
| Year
|
2011 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:Release Offset Bounds for Response Time Analysis of P-FRP using Exhaustive Enumeration +
, Publications:Release Offset Bounds for Response Time Analysis of P-FRP using Exhaustive Enumeration +
, Publications:Release Offset Bounds for Response Time Analysis of P-FRP using Exhaustive Enumeration +
, Publications:Release Offset Bounds for Response Time Analysis of P-FRP using Exhaustive Enumeration +
, Publications:Release Offset Bounds for Response Time Analysis of P-FRP using Exhaustive Enumeration +
, Publications:Release Offset Bounds for Response Time Analysis of P-FRP using Exhaustive Enumeration +
, Publications:Release Offset Bounds for Response Time Analysis of P-FRP using Exhaustive Enumeration +
, Publications:Release Offset Bounds for Response Time Analysis of P-FRP using Exhaustive Enumeration +
, Publications:Release Offset Bounds for Response Time Analysis of P-FRP using Exhaustive Enumeration +
, Publications:Release Offset Bounds for Response Time Analysis of P-FRP using Exhaustive Enumeration +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:44:43 +
|
