The 20th IEEE Real-Time Systems Symposium. proceedings : 1-3 December 1999, Phoenix, AZ / sponsored by IEEE Computer Society Technical Committee on Real-Time Systems ; in cooperation with Microsoft Corporation, Office of Naval Research.

Format:

Book

Conference/Event

Contributor:

IEEE Xplore (Online service)

IEEE Computer Society. Technical Committee on Real-Time Systems.

Microsoft Corporation.

United States. Office of Naval Research.

Conference Name:

Real-Time Systems Symposium (20th : 1999 : Phoenix, Ariz.)

Language:

English

Subjects (All):

Real-time data processing--Congresses.

Real-time data processing.

Genre:

Conference papers and proceedings.

Physical Description:

xiii, 372 pages : illustrations

Other Title:

1999 IEEE Real-Time Systems Symposium

Also known as: RTSS '99

Real-Time Systems Symposium, 1999, proceedings, the 20th IEEE.

Place of Publication:

Los Alamitos, Calif. : IEEE Computer Society, [1999]

System Details:

Mode of access: World Wide Web.

text file

Contents:

It's Time to Get Physical / David Tennenhouse 3

Scalable Network Support for Multimedia, Real-Time Communication / Jim Kurose 4

From Time Sharing to Real Time-Sharing of a Really Good Time in the Last 40 Years / C. L. Liu 5

Challenges of Real-Time Computation and Communication 7

Session I Timing Issues

Timing Anomalies in Dynamically Scheduled Microprocessors / T. Lundquist, P. Stenstrom 12

Analysis of the Impacts of Overestimation Sources on the Accuracy of Worst Case Timing Analysis / S-K. Kim, R. Ha, S.L. Min 22

Deriving Deadlines and Periods for Real-Time Update Transactions / M. Xiong, K. Ramamritham 32

QoS Provisioning with qContracts in Web and Multimedia Servers / T.F. Abdelzaher, K.G. Shin 44

Session II Scheduling Algorithms

Design and Evaluation of a Feedback Control EDF Scheduling Algorithm / C. Lu, J.A. Stankovic, G. Tao, S.H. Son 56

New Results on Fixed Priority Aperiodic Servers / G. Bernat, A. Burns 68

Optimal Reward-Based Scheduling of Periodic Real-Time Tasks / H. Aydin, R. Melhem, D. Mosse, P. Mejia-Alvarez 79

Cooperative Scheduling of Multiple Resources / S. Saewong, R. Rajkumar 90

Session III Specification and Verification

Specification and Analysis of Soft Real-Time Systems: Quantity and Quality / P.R. D'Argenio, J-P. Katoen, E. Brinksma 104

High-Level Modeling and Analysis of TCAS / C. Livadas, J. Lygeros, N.A. Lynch 115

On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols / P. Sinha, N. Suri 126

SRDE

Application of Data Similarity to Process Control / D. Chen, A.K. Mok 136

Session IV Task Coordinations

On the Efficient Scheduling of Non-Periodic Tasks in Hard Real-Time Systems / M.E. Thomadakis, J-C. Liu 148

Enabling Deadline Scheduling for Java Real-Time Computing / C. Lizzi 152

A Framework for Scheduler Synthesis / K. Altisen, G. Go[beta]ler, A. Pnueli, J. Sifakis, S. Tripakis, S. Youine 154

On Scheduling Tasks in Reliable Real-Time Control Systems / R. Chandra, L. Sha 164

Session V Real-Time Communication

A Framework for Provisioning of Temporal QoS in Core-Based Multicast Routing / H-Y. Tyan, C-J. Hou, B. Wang 168

Transport of MPEG Video with Statistical Loss and Delay Guarantees in ATM Networks Using a Histogram-Based Source Model / S-K. Kweon, K.G. Shin 179

Efficient Delay Computation Methods for an ATM Network with Real-Time Video Traffic / S. Song, J.K-Y. Ng, B. Tang 190

Parallel Switching in Connection-Oriented Networks / J. Anderson, S. Baruah, K. Jeffay 200

Session VI New Applications (Poster)

Remote Controlled Mobile Imaging in a High Temperature Tunnel Environment / G.F. Mauer, C. Fernando 212

HoneyWEB: Embedded Web-based Control Applications / C. Iaccarino, M.A. Sigel, R.E. Taylor Jr., D. Perozzi, A. Staikos, P.A. Morreale 214

IP Security Impact on System Performance in a Distributed Real-Time Environment / B.L. Chappell, D.T. Marlow, P.M. Irey IV, K. O'Donoghue 218

Time Based Linux for Real-Time NOWs and MPI/RT / M. Apte, S. Chakravarthi, A. Pillai, A. Skjellum, X.Y. Zan 220

Session VII System Development

FARACost: An Adaptation Cost Model Aware of Pending Constraints / D. Rosu, K. Schwan 224

System-Level Issues for Software Thread Integration: Guest Triggering and Host Selection / A.G. Dean, J.P. Shen 234

Implementing a General Real-Time Scheduling Framework in the RED-Linux Real-Time Kernel / Y-C. Wang, K-J. Lin 246

A Fixed-Priority-Driven Open Environment for Real-Time Applications / T-W. Kuo, C-H. Li 256

Session VIII Design and Implementations

Testing the Temporal Behavior of Real-Time Tasks Using Extended Evolutionary Algorithms / J. Wegener, H. Sthamer, H. Pohlheim 270

Design and Implementation of Statistical Rate Monotonic Scheduling in KURT Linux / A. Atlas, A. Bestavros 272

Real-Time Garbage Collection in Multi-Threaded Systems on a Single Processor / F. Siebert 277

Proportional Time Simulation of ATM Networks / S.B. House, S. Murthy, D. Niehaus 279

Session IX Resource Management / Jim Huang

Sharing Resources among Periodic and Aperiodic Tasks with Dynamic Deadlines / M. Caccamo, G. Lipari, G. Buttazzo 284

Pfair Scheduling of Fixed and Migrating Periodic Tasks on Multiple Resources / M. Moir, S. Ramamurthy 294

A Theory of Rate-Based Execution / K. Jeffay, S. Goddard 304

A Scalable Solution to the Multi-Resource QoS Problem / C. Lee, J. Lehoczky, D. Siewiorek, R. Rajkumar, J. Hansen 315

Session X Distributed Systems

Exploiting Precedence Relations in the Schedulability Analysis of Distributed Real-Time Systems / J.C. Palencia, M. Gonzalez Harbour 328

Priority Inheritance and Ceilings for Distributed Mutual Exclusion / F. Mueller 340

Hierarchical Scheduling of Periodic Messages in Open System / L.Y. Zhang, J.W.S. Liu, Z. Deng, I. Philp 350

Towards Systematic Testing of Distributed Real-Time Systems / H. Thane, H. Hansson 360.

Notes:

"[IEEE Computer Society Order Number] PR0475"--T.p. verso.

"IEEE Catalog Number 99CB37054"--T.p. verso.

Includes bibliographical references and author index.

ISBN:

0769504752

9780769504759

0780359860

9780780359864

0769504779

9780769504773

OCLC:

43356043

Access Restriction:

Restricted for use by site license.