Compositional analysis framework using EDP resource models

Arvind Easwaran; Madhukar Anand; Insup Lee

doi:10.1109/RTSS.2007.36

Compositional analysis framework using EDP resource models

Arvind Easwaran^*, Madhukar Anand, Insup Lee

^*Corresponding author for this work

University of Pennsylvania

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

135 Citations (Scopus)

Abstract

Compositional schedulability analysis of hierarchical scheduling frameworks is a well studied problem, as it has wide-ranging applications in the embedded systems domain. Several techniques, such as periodic resource model based abstraction and composition, have been proposed for this problem. However these frameworks are sub-optimal because they incur bandwidth overhead. In this work, we introduce the Explicit Deadline Periodic (EDP) resource model, and present compositional analysis techniques under EDF and DM. We show that these techniques are bandwidth optimal, in that they do not incur any bandwidth overhead in abstraction or composition. Hence, this framework is more efficient when compared to existing approaches.

Original language	English
Title of host publication	Proceedings - 28th IEEE International Real-Time Systems Symposium, RTSS 2007
Pages	129-138
Number of pages	10
DOIs	https://doi.org/10.1109/RTSS.2007.36
Publication status	Published - 2007
Externally published	Yes
Event	28th IEEE International Real-Time Systems Symposium, RTSS 2007 - Tucson, AZ, United States Duration: Dec 3 2007 → Dec 6 2007

Publication series

Name	Proceedings - Real-Time Systems Symposium
ISSN (Print)	1052-8725

Conference

Conference	28th IEEE International Real-Time Systems Symposium, RTSS 2007
Country/Territory	United States
City	Tucson, AZ
Period	12/3/07 → 12/6/07

ASJC Scopus Subject Areas

Software
Hardware and Architecture
Computer Networks and Communications

Access to Document

10.1109/RTSS.2007.36

Cite this

@inproceedings{f9ee4dc724cf4e9599b2048925e83569,

title = "Compositional analysis framework using EDP resource models",

abstract = "Compositional schedulability analysis of hierarchical scheduling frameworks is a well studied problem, as it has wide-ranging applications in the embedded systems domain. Several techniques, such as periodic resource model based abstraction and composition, have been proposed for this problem. However these frameworks are sub-optimal because they incur bandwidth overhead. In this work, we introduce the Explicit Deadline Periodic (EDP) resource model, and present compositional analysis techniques under EDF and DM. We show that these techniques are bandwidth optimal, in that they do not incur any bandwidth overhead in abstraction or composition. Hence, this framework is more efficient when compared to existing approaches.",

author = "Arvind Easwaran and Madhukar Anand and Insup Lee",

year = "2007",

doi = "10.1109/RTSS.2007.36",

language = "English",

isbn = "0769530621",

series = "Proceedings - Real-Time Systems Symposium",

pages = "129--138",

booktitle = "Proceedings - 28th IEEE International Real-Time Systems Symposium, RTSS 2007",

note = "28th IEEE International Real-Time Systems Symposium, RTSS 2007 ; Conference date: 03-12-2007 Through 06-12-2007",

}

Easwaran, A, Anand, M & Lee, I 2007, Compositional analysis framework using EDP resource models. in Proceedings - 28th IEEE International Real-Time Systems Symposium, RTSS 2007., 4408298, Proceedings - Real-Time Systems Symposium, pp. 129-138, 28th IEEE International Real-Time Systems Symposium, RTSS 2007, Tucson, AZ, United States, 12/3/07. https://doi.org/10.1109/RTSS.2007.36

TY - GEN

T1 - Compositional analysis framework using EDP resource models

AU - Easwaran, Arvind

AU - Anand, Madhukar

AU - Lee, Insup

PY - 2007

Y1 - 2007

N2 - Compositional schedulability analysis of hierarchical scheduling frameworks is a well studied problem, as it has wide-ranging applications in the embedded systems domain. Several techniques, such as periodic resource model based abstraction and composition, have been proposed for this problem. However these frameworks are sub-optimal because they incur bandwidth overhead. In this work, we introduce the Explicit Deadline Periodic (EDP) resource model, and present compositional analysis techniques under EDF and DM. We show that these techniques are bandwidth optimal, in that they do not incur any bandwidth overhead in abstraction or composition. Hence, this framework is more efficient when compared to existing approaches.

AB - Compositional schedulability analysis of hierarchical scheduling frameworks is a well studied problem, as it has wide-ranging applications in the embedded systems domain. Several techniques, such as periodic resource model based abstraction and composition, have been proposed for this problem. However these frameworks are sub-optimal because they incur bandwidth overhead. In this work, we introduce the Explicit Deadline Periodic (EDP) resource model, and present compositional analysis techniques under EDF and DM. We show that these techniques are bandwidth optimal, in that they do not incur any bandwidth overhead in abstraction or composition. Hence, this framework is more efficient when compared to existing approaches.

UR - http://www.scopus.com/inward/record.url?scp=48649083101&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=48649083101&partnerID=8YFLogxK

U2 - 10.1109/RTSS.2007.36

DO - 10.1109/RTSS.2007.36

M3 - Conference contribution

AN - SCOPUS:48649083101

SN - 0769530621

SN - 9780769530628

T3 - Proceedings - Real-Time Systems Symposium

SP - 129

EP - 138

BT - Proceedings - 28th IEEE International Real-Time Systems Symposium, RTSS 2007

T2 - 28th IEEE International Real-Time Systems Symposium, RTSS 2007

Y2 - 3 December 2007 through 6 December 2007

ER -

Compositional analysis framework using EDP resource models

Abstract

Publication series

Conference

ASJC Scopus Subject Areas

Access to Document

Other files and links

Fingerprint

Cite this