A Process Algebraic Framework for Modeling Resource Demand and Supply

Simple item page
dc.contributor.authorLee, Insup
dc.contributor.authorSokolsky, Oleg
dc.contributor.authorLee, Insup
dc.contributor.authorSokolsky, Oleg
dc.contributor.authorChoi, Jin-Young
dc.date2023-05-17T05:43:10.000
dc.date.accessioned2023-05-22T12:48:34Z
dc.date.available2023-05-22T12:48:34Z
dc.date.issued2010-09-08
dc.date.submitted2010-11-23T08:08:08-08:00
dc.description.abstractAs real-time embedded systems become more complex, resource partitioning is increasingly used to guarantee real-time performance. Recently, several compositional frameworks of resource partitioning have been proposed using real-time scheduling theory with various notions of real-time tasks running under restricted resource supply environments. However, these approaches are limited in their expressiveness in that they are capable of describing resource-demand tasks, but not resource supplies. This paper describes a process algebraic framework for reasoning about resource demand and supply inspired by the timed process algebra ACSR. In ACSR, realtime tasks are specified by enunciating their consumption needs for resources. To also accommodate resource-supply processes we define PADS where, in addition to ACSR-like resource requests, we can specify availability of a resource in a given time step. Using PADS, we define a supply-demand relation where a pair (S; T) belongs to the relation if the demand process T can be scheduled under supply S. We develop a theory of compositional schedulability analysis as well as a technique for synthesizing an optimal supply process for a set of tasks. We illustrate our technique via a number of examples.
dc.description.commentsThe 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), IST Austria, Klosterneuburg, Austria , 8-10 September, 2010.
dc.identifier.urihttps://repository.upenn.edu/handle/20.500.14332/6501
dc.legacy.articleid1486
dc.legacy.fields10.1007/978-3-642-15297-9_15
dc.legacy.fulltexturlhttps://repository.upenn.edu/cgi/viewcontent.cgi?article=1486&context=cis_papers&unstamped=1
dc.rightsThe final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-15297-9_15
dc.source.beginpage183
dc.source.endpage197
dc.source.issue449
dc.source.journalDepartmental Papers (CIS)
dc.source.journaltitleLecture Notes in Computer Science: Formal Modeling and Analysis of Timed Systems
dc.source.peerreviewedtrue
dc.source.statuspublished
dc.source.volume6246
dc.subject.otherCPS Real-Time
dc.subject.otherCPS Formal Methods
dc.titleA Process Algebraic Framework for Modeling Resource Demand and Supply
dc.typePresentation
digcom.contributor.authorPhilippou, Anna
digcom.contributor.authorisAuthorOfPublication|email:lee@cis.upenn.edu|institution:University of Pennsylvania|Lee, Insup
digcom.contributor.authorisAuthorOfPublication|email:sokolsky@cis.upenn.edu|institution:University of Pennsylvania|Sokolsky, Oleg
digcom.contributor.authorChoi, Jin-Young
digcom.identifiercis_papers/449
digcom.identifier.contextkey1659091
digcom.identifier.submissionpathcis_papers/449
digcom.typeconference
dspace.entity.typePublication
relation.isAuthorOfPublication45a9eed5-3211-4c36-b40d-6394302dfdce
relation.isAuthorOfPublication35e1b18e-15fe-4438-be3b-84593f70a40a
relation.isAuthorOfPublication.latestForDiscovery45a9eed5-3211-4c36-b40d-6394302dfdce
upenn.schoolDepartmentCenterDepartmental Papers (CIS)
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
root.pdf
Size:
214.21 KB
Format:
Adobe Portable Document Format
Download
Collection
Presentations