The design of an EDF-scheduled resource-sharing open environment

Nathan Fisher; Marko Bertogna; Sanjoy Baruah

doi:10.1109/RTSS.2007.23

The design of an EDF-scheduled resource-sharing open environment

Nathan Fisher
, Marko Bertogna
, Sanjoy Baruah

Department of Computer Science & Engineering

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

26 Scopus citations

Abstract

We study the problem of executing a collection of independently designed and validated task systems upon a common platform comprised of a preemptive processor and additional shared resources. We present an abstract formulation of the problem and identify the major issues that must be addressed in order to solve this problem. We present (and prove the correctness of) algorithms that address these issues, and thereby obtain a design for an open real-time environment in the presence of shared global resources.

Original language	English
Title of host publication	Proceedings - 28th IEEE International Real-Time Systems Symposium, RTSS 2007
Pages	83-92
Number of pages	10
DOIs	https://doi.org/10.1109/RTSS.2007.23
State	Published - 2007
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

Keywords

Critical sections
Earliest deadline first
Open environments
Resource-sharing systems
Sporadic tasks
Stack resource policy

Access to Document

10.1109/RTSS.2007.23

Cite this

@inproceedings{063a36131a3a42d09420abda3ff1b635,

title = "The design of an EDF-scheduled resource-sharing open environment",

abstract = "We study the problem of executing a collection of independently designed and validated task systems upon a common platform comprised of a preemptive processor and additional shared resources. We present an abstract formulation of the problem and identify the major issues that must be addressed in order to solve this problem. We present (and prove the correctness of) algorithms that address these issues, and thereby obtain a design for an open real-time environment in the presence of shared global resources.",

keywords = "Critical sections, Earliest deadline first, Open environments, Resource-sharing systems, Sporadic tasks, Stack resource policy",

author = "Nathan Fisher and Marko Bertogna and Sanjoy Baruah",

year = "2007",

doi = "10.1109/RTSS.2007.23",

language = "English",

isbn = "0769530621",

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

pages = "83--92",

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",

}

Fisher, N, Bertogna, M & Baruah, S 2007, The design of an EDF-scheduled resource-sharing open environment. in Proceedings - 28th IEEE International Real-Time Systems Symposium, RTSS 2007., 4408294, Proceedings - Real-Time Systems Symposium, pp. 83-92, 28th IEEE International Real-Time Systems Symposium, RTSS 2007, Tucson, AZ, United States, 12/3/07. https://doi.org/10.1109/RTSS.2007.23

TY - GEN

T1 - The design of an EDF-scheduled resource-sharing open environment

AU - Fisher, Nathan

AU - Bertogna, Marko

AU - Baruah, Sanjoy

PY - 2007

Y1 - 2007

N2 - We study the problem of executing a collection of independently designed and validated task systems upon a common platform comprised of a preemptive processor and additional shared resources. We present an abstract formulation of the problem and identify the major issues that must be addressed in order to solve this problem. We present (and prove the correctness of) algorithms that address these issues, and thereby obtain a design for an open real-time environment in the presence of shared global resources.

AB - We study the problem of executing a collection of independently designed and validated task systems upon a common platform comprised of a preemptive processor and additional shared resources. We present an abstract formulation of the problem and identify the major issues that must be addressed in order to solve this problem. We present (and prove the correctness of) algorithms that address these issues, and thereby obtain a design for an open real-time environment in the presence of shared global resources.

KW - Critical sections

KW - Earliest deadline first

KW - Open environments

KW - Resource-sharing systems

KW - Sporadic tasks

KW - Stack resource policy

UR - https://www.scopus.com/pages/publications/48649092415

U2 - 10.1109/RTSS.2007.23

DO - 10.1109/RTSS.2007.23

M3 - Conference contribution

AN - SCOPUS:48649092415

SN - 0769530621

SN - 9780769530628

T3 - Proceedings - Real-Time Systems Symposium

SP - 83

EP - 92

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 -

The design of an EDF-scheduled resource-sharing open environment

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this