Overhead-Aware Compositional Analysis of Real-Time Systems

Simple item page
dc.bibliographic.citation@INPROCEEDINGS{6531096, author={Phan, L.T.X. and Meng Xu and Jaewoo Lee and Insup Lee and Sokolsky, O.}, booktitle={Real-Time and Embedded Technology and Applications Symposium (RTAS), 2013 IEEE 19th}, title={Overhead-aware compositional analysis of real-time systems}, year={2013}, pages={237-246}, keywords={multiprocessing systems;processor scheduling;cache effect;context switches;interface-based compositional schedulability analysis;overhead accounting method;overhead-aware compositional analysis;real-time system;task release delay;worst-case execution times;Bandwidth;Context;Delays;Interference;Real-time systems;Schedules}, doi={10.1109/RTAS.2013.6531096}, ISSN={1080-1812}, month={April},}
dc.contributor.authorPhan, Linh T.X.
dc.contributor.authorXu, Meng
dc.contributor.authorLee, Jaewoo
dc.contributor.authorLee, Insup
dc.contributor.authorSokolsky, Oleg
dc.date2023-05-17T12:19:50.000
dc.date.accessioned2023-05-22T12:51:10Z
dc.date.available2023-05-22T12:51:10Z
dc.date.issued2013-04-01
dc.date.submitted2015-09-28T11:27:03-07:00
dc.description.abstractOver the past decade, interface-based compositional schedulability analysis has emerged as an effective method for guaranteeing real-time properties in complex systems. Several interfaces and interface computation methods have been developed, and they offer a range of tradeoffs between the complexity and the accuracy of the analysis. However, none of the existing methods consider platform overheads in the component interfaces. As a result, although the analysis results are sound in theory, the systems may violate their timing constraints when running on realistic platforms. This is due to various overheads, such as task release delays, interrupts, cache effects, and context switches. Simple solutions, such as increasing the interface budget or the tasks’ worst-case execution times by a fixed amount, are either unsafe (because of the overhead accumulation problem) or they waste a lot of resources. In this paper, we present an overhead-aware compositional analysis technique that can account for platform overheads in the representation and computation of component interfaces. Our technique extends previous overhead accounting methods, but it additionally addresses the new challenges that are specific to the compositional scheduling setting. To demonstrate that our technique is practical, we report results from an extensive evaluation on a realistic platform.
dc.description.comments19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS' 13)(http://www.date-conference.com/date15/) (as part of the Cyber-Physical Systems Week (CPSWeek)(http://www.cpsweek.org/)), Philadelphia, PA, April 9-11, 2013.
dc.identifier.urihttps://repository.upenn.edu/handle/20.500.14332/6862
dc.legacy.articleid1842
dc.legacy.fieldstrue
dc.legacy.fields10.1109/RTAS.2013.6531096
dc.legacy.fulltexturlhttps://repository.upenn.edu/cgi/viewcontent.cgi?article=1842&context=cis_papers&unstamped=1
dc.relation.urlhttp://www.cis.upenn.edu/~mengxu/rtas13/rtas13.pdf
dc.rights© 2013 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
dc.source.beginpage237
dc.source.endpage246
dc.source.issue789
dc.source.journalDepartmental Papers (CIS)
dc.source.journaltitle2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS)
dc.source.peerreviewedtrue
dc.source.statuspublished
dc.subject.otherCPS Real-Time
dc.subject.othermultiprocessing systems
dc.subject.otherprocessor scheduling
dc.subject.othercache effect
dc.subject.othercontext switches
dc.subject.otherinterface-based compositional schedulability analysis
dc.subject.otheroverhead accounting method
dc.subject.otheroverhead-aware compositional analysis
dc.subject.otherreal-time system
dc.subject.othertask release delay
dc.subject.otherworst-case execution times
dc.subject.otherbandwidth
dc.subject.othercontext
dc.subject.otherdelays
dc.subject.otherinterference
dc.subject.otherreal-time systems
dc.subject.otherschedules
dc.subject.otherComputer Engineering
dc.subject.otherComputer Sciences
dc.titleOverhead-Aware Compositional Analysis of Real-Time Systems
dc.typePresentation
digcom.contributor.authorisAuthorOfPublication|email:linhphan@cis.upenn.edu|institution:University of Pennsylvania|Phan, Linh T.X.
digcom.contributor.authorisAuthorOfPublication|email:mengxu@cis.upenn.edu|institution:University of Pennsylvania|Xu, Meng
digcom.contributor.authorisAuthorOfPublication|email:jaewoo@cis.upenn.edu|institution:University of Pennsylvania|Lee, Jaewoo
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.identifiercis_papers/789
digcom.identifier.contextkey7649740
digcom.identifier.submissionpathcis_papers/789
digcom.typeconference
dspace.entity.typePublication
relation.isAuthorOfPublicationa98b0c04-c9b9-42bc-8835-96cd30324015
relation.isAuthorOfPublication78f9738c-fe93-4a86-9384-8255804171fe
relation.isAuthorOfPublicationa099254e-b523-422c-bc78-402b2eeaad86
relation.isAuthorOfPublication45a9eed5-3211-4c36-b40d-6394302dfdce
relation.isAuthorOfPublication35e1b18e-15fe-4438-be3b-84593f70a40a
relation.isAuthorOfPublication.latestForDiscoverya98b0c04-c9b9-42bc-8835-96cd30324015
upenn.schoolDepartmentCenterDepartmental Papers (CIS)
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
rtas13.pdf
Size:
361.09 KB
Format:
Adobe Portable Document Format
Download
Collection
Presentations