View source for Publications:Release Offset Bounds for Response Time Analysis of P-FRP using Exhaustive Enumeration

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Chaitanya Belwal, Albert M.K. Cheng, Walid Taha
|PID=588236
|Name=Belwal, Chaitanya (Dept. of Computer Science, University of Houston, Houston, USA);Cheng, Albert M.K. (Dept. of Computer Science, University of Houston, Houston, USA);Taha, Walid [waltah] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Centrum för forskning om inbyggda system (CERES) [6702])
|Title=Release Offset Bounds for Response Time Analysis of P-FRP using Exhaustive Enumeration
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=2011 IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)
|Conference=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 November
|StartPage=950
|EndPage=957
|Year=2011
|Edition=
|Pages=
|City=Piscataway, N.J.
|Publisher=IEEE Press
|Series=
|SeriesISSN=
|ISBN=978-1-4577-2135-9
|Urls=
|ISRN=
|DOI=http://dx.doi.org/10.1109/TrustCom.2011.131
|ISI=
|PMID=
|ScopusId=2-s2.0-84856140909
|NBN=urn:nbn:se:hh:diva-20921
|LocalId=
|ArchiveNumber=
|Keywords=Functional programming;real-time system;schedulability analysis;response time;exhaustive enumeration
|Categories=Datorsystem (20206)
|ResearchSubjects=
|Projects=
|Notes=<p>Article number: 6120924</p>
|Abstract=<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>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2013-01-14
|PublicationDate=2013-01-15
|LastUpdated=2013-02-25
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588236}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}