Resource-sharing servers for open environments

Marko Bertogna; Nathan Fisher; Sanjoy Baruah

doi:10.1109/TII.2009.2026051

Resource-sharing servers for open environments

Marko Bertogna
, Nathan Fisher
, Sanjoy Baruah

Department of Computer Science & Engineering

Research output: Contribution to journal › Article › peer-review

33 Scopus citations

Abstract

We study the problem of executing a collection of independently designed and validated task systems upon a common platform composed 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.

Original language	English
Article number	5169980
Pages (from-to)	202-219
Number of pages	18
Journal	IEEE Transactions on Industrial Informatics
Volume	5
Issue number	3
DOIs	https://doi.org/10.1109/TII.2009.2026051
State	Published - Aug 2009

Keywords

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

Access to Document

10.1109/TII.2009.2026051

Cite this

@article{cb01bbe3401b4c6a948b2f10668ac24f,

title = "Resource-sharing servers for open environments",

abstract = "We study the problem of executing a collection of independently designed and validated task systems upon a common platform composed 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.",

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

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

year = "2009",

month = aug,

doi = "10.1109/TII.2009.2026051",

language = "English",

volume = "5",

pages = "202--219",

journal = "IEEE Transactions on Industrial Informatics",

issn = "1551-3203",

number = "3",

}

TY - JOUR

T1 - Resource-sharing servers for open environments

AU - Bertogna, Marko

AU - Fisher, Nathan

AU - Baruah, Sanjoy

PY - 2009/8

Y1 - 2009/8

N2 - We study the problem of executing a collection of independently designed and validated task systems upon a common platform composed 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.

AB - We study the problem of executing a collection of independently designed and validated task systems upon a common platform composed 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.

KW - Critical sections

KW - Earliest deadline first

KW - Hierarchical systems

KW - Open environments

KW - Resource-sharing systems

KW - Stack resource policy

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

U2 - 10.1109/TII.2009.2026051

DO - 10.1109/TII.2009.2026051

M3 - Article

AN - SCOPUS:69249216344

SN - 1551-3203

VL - 5

SP - 202

EP - 219

JO - IEEE Transactions on Industrial Informatics

JF - IEEE Transactions on Industrial Informatics

IS - 3

M1 - 5169980

ER -

Resource-sharing servers for open environments

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this