See this document in CiteSeerX!

Conformance Testing of Priority Inheritance Protocols  (Make Corrections)  
David Polock, Dieter Zöbel



  Home/Search   Context   Related

Links:   ACM

 
View or download:
unikoblenz.de/~polock...conformance.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  unikoblenz.de/~zoebel/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: The priority inversion problem has been detected two decades ago. The decisive ideas to cope with this problem have been published one decade ago. In the meantime the vendors of operating systems and run--time systems have occupied this topic in providing certain protocols in order to avoid priority inversion. However, at a closer look there are considerable differences in the usage and the results of the various protocol interfaces. This is really pitiful in the scope of real--time systems,... (Update)

Active bibliography (related documents):   More   All
0.5:   A Multi-resolution Video Scheme for Multimedia Information.. - Cho, Shin   (Correct)
0.5:   Scout: A Communications-Oriented Operating System - Montz, Mosberger, O'Malley, .. (1994)   (Correct)
0.2:   The Stack Resource Protocol based on Real-Time Transactions - Jansen, Laan   (Correct)

Similar documents based on text:   More   All
0.5:   Backing up a Truck in Real-Time - Zöbel, Polock (2000)   (Correct)
0.3:   A Versatile Real-Time Experiment: Balancing a Ball on a Flat Board - Zöbel   (Correct)
0.2:   Schedulability Analysis for Real-Time Processes with Age Constraints - Zöbel   (Correct)

BibTeX entry:   (Update)

@misc{ polock-conformance,
  author = "David Polock and Dieter Zöbel",
  title = "Conformance Testing of Priority Inheritance Protocols",
  url = "citeseer.ist.psu.edu/473068.html" }
Citations (may not include all citations):
528   Priority inheritance protocols: An approach to real-time syn.. (context) - Sha, Rajkumar et al. - 1990
104   Stack based scheduling of real-time processes (context) - Baker - 1991
88   Experiences with processes and monitors in mesa - Lampson, Redell - 1980
82   Real-time scheduling theory and Ada (context) - Sha, Goodenough - 1990  ACM   DBLP
28   The Benjamin /Cummings Publishing Company (context) - Andrews - 1991
11   Priority inheritance and message passing communication: A fo.. (context) - Burns, Wellings - 1991  DBLP
9   Dealing with the complexity of state space exploration algor.. - Grabowski, Scheurer et al. - 1996
7   Conformance Testing Methodology and Framework -- IS (context) - Standard, Systems - 1991
5   Real-time synchronization protocols with abortable critical .. - Takada, Sakamura - 1994
2   QNX Operating System manuals (context) - Systems, Canada - 1997
2   Real-Time and Systems Programming for PCs (context) - Vickery - 1993  ACM
1   Realtime scheduling under SunOS (context) - Khanna, Zolnowsky
1   Specification and verification of real--time systems using A.. (context) - Lim, Choi - 1997

Documents on the same site (http://www.uni-koblenz.de/~zoebel/):
Schedulability Analysis for Real-Time Processes with Age Constraints - Zöbel   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC