The Community for Technology Leaders
2013 IEEE 34th Real-Time Systems Symposium (2002)
Austin, Texas
Dec. 3, 2002 to Dec. 5, 2002
ISSN: 1052-8725
ISBN: 0-7695-1851-6
TABLE OF CONTENTS
Introduction
Session 1

Invited Address (PDF)

pp. null
Session 2

State-Dependent Deadline Scheduling (Abstract)

Chi-Sheng Shih , University of Illinois at Urbana-Champaign
Jane W. S. Liu , Microsoft Corporation
pp. 3

Scheduling Aperiodic Requests under the Rate-Based Execution Model (Abstract)

Steve Goddard , University of Nebraska-Lincoln
Xin Liu , University of Nebraska-Lincoln
pp. 15

A Model of Hierarchical Real-Time Virtual Resources (Abstract)

Xiang (Alex) Feng , University of Texas at Austin
Aloysius K. Mok , University of Texas at Austin
pp. 26
Session 3

An Implicit Prioritized Access Protocol for Wireless Sensor Networks (Abstract)

Marco Caccamo , University of Illinois at Urbana-Champaign
Giorgio Buttazzo , University of Pavia
Lui Sha , University of Illinois at Urbana-Champaign
Lynn Y. Zhang , University of Illinois at Urbana-Champaign
pp. 39

End-to-end Fairness Analysis of Fair Queuing Networks (Abstract)

Jasleen Kaur , University of Texas at Austin
Harrick M. Vin , University of Texas at Austin
pp. 49
Session 4

Analysis of a Reservation-Based Feedback Scheduler (Abstract)

Luca Abeni , Scuola Superiore Sant?Anna - Pisa
Jonathan Walpole , Oregon Graduate Institute
Giuseppe Lipari , Scuola Superiore Sant?Anna - Pisa
Luigi Palopoli , Scuola Superiore Sant?Anna - Pisa
pp. 71

Queueing Model Based Network Server Performance Control (Abstract)

Xue Liu , University of Illinois at Urbana-Champaign
Tarek Abdelzaher , University of Virginia
Lui Sha , University of Illinois at Urbana-Champaign
Ying Lu , University of Virginia
pp. 81

Improving Quality-of-Control Using Flexible Timing Constraints: Metric and Scheduling Issues (Abstract)

Josep M. Fuertes , Università Politècnica de Catalunya
Krithi Ramamritham , Indian Institute of Technology at Mumbai
Gerhard Fohler , M?lardalen University
Pau Martí , Università Politècnica de Catalunya
pp. 91
Session 5

Cost and Benefit of Separate Address Spaces in Real-Time Operating Systems (Abstract)

Michael Hohmuth , Dresden University of Technology
Hermann Härtig , Dresden University of Technology
Frank Mehnert , Dresden University of Technology
pp. 124

Soft Real- Time Scheduling on Simultaneous Multithreaded Processors (Abstract)

Rohit Jain , University of Illinois at Urbana-Champaign
Christopher J. Hughes , University of Illinois at Urbana-Champaign
Sarita V. Adve , University of Illinois at Urbana-Champaign
pp. 134
Session 6

Locking in Pfair-Scheduled Multiprocessor Systems (Abstract)

Philip Holman , University of North Carolina at Chapel Hill
James H. Anderson , University of North Carolina at Chapel Hill
pp. 149

Approximate Schedulability Analysis (Abstract)

Simon Künzli , Swiss Federal Institute of Technology
Samarjit Chakraborty , Swiss Federal Institute of Technology
Lothar Thiele , Swiss Federal Institute of Technology
pp. 159

The Space of Rate Monotonic Schedulability (Abstract)

Enrico Bini , Scuola Superiore S. Anna
Giorgio C. Buttazzo , University of Pavia
pp. 169
Session 7

Formal Verification of Overhead Accounting in an Avionics RTOS (Abstract)

Murali Rangarajan , Honeywell Laboratories
Darren Cofer , Honeywell Laboratories
pp. 181

The Monitoring of Timing Constraints on Time Intervals (Abstract)

Honguk Woo , University of Texas at Austin
Aloysius K. Mok , University of Texas at Austin
Chan-Gun Lee , University of Texas at Austin
Prabhudev Konana , University of Texas at Austin
pp. 191

Embedded System Design Framework for Minimizing Code Size and Guaranteeing Real-Time Requirements (Abstract)

Sang Lyul Min , Seoul National University
Insik Shin , University of Pennsylvania
Insup Lee , University of Pennsylvania
pp. 201

Optimal Partitioning for Quantized EDF Scheduling (Abstract)

Jeffery P. Hansen , Carnegie Mellon University
John P. Lehoczky , Carnegie Mellon University
Ragunathan Rajkumar , Carnegie Mellon University
HaiFeng Zhu , Carnegie Mellon University
pp. 212
Session 8

Work-in-Progress (PDF)

pp. null
Session 9

A Fast Resource Synthesis Technique for Energy-Efficient Real-Time Systems (Abstract)

Stephen P. Crago , University of Southern California
Dong- In Kang , University of Southern California
Jinwoo Suh , University of Southern California
pp. 225

Processor Voltage Scheduling for Real-Time Tasks with Non-Preemptible Sections (Abstract)

Fan Zhang , Hong Kong University of Science and Technology
Samuel T. Chanson , Hong Kong University of Science and Technology
pp. 235

Maximizing the System Value while Satisfying Time and Energy Constraints (Abstract)

Daniel Mossé , University of Pittsburgh
Cosmin Rusu , University of Pittsburgh
Rami Melhem , University of Pittsburgh
pp. 246

Energy-Efficient Duplex and TMR Real-Time Systems (Abstract)

Rami Melhem , University of Pittsburgh
Elmootazbellah (Mootaz) Elnozahy , IBM Austin Research Laboratory
Daniel Mossé , University of Pittsburgh
pp. 256
Session 10

Probabilistic Analysis of CAN with Faults (Abstract)

Alan Burns , University of York
Ian Broster , University of York
Guillermo Rodríguez-Navas , Universitat de les Illes Balears
pp. 269

WCET Analysis of Probabilistic Hard Real-Time Systems (Abstract)

Guillem Bernat , University of York
Antoine Colin , University of York
Stefan M. Petters , University of York
pp. 279

Stochastic Analysis of Periodic Real-Time Systems (Abstract)

José Luis Díaz , Universidad de Oviedo
Lucia Lo Bello , Università di Catania
Sang Lyul Min , Seoul National University
José María López , Universidad de Oviedo
Orazio Mirabella , Università di Catania
Daniel F. García , Universidad de Oviedo
Chang-Gun Lee , Ohio State University
Kanghee Kim , Seoul National University
pp. 289
Session 11

Invited Address (PDF)

pp. null
Session 12

STAR: Secure Real-Time Transaction Processing with Timeliness Guarantees (Abstract)

John A. Stankovic , University of Virginia
Sang H. Son , University of Virginia
Kyoung-Don Kang , University of Virginia
pp. 303

Dynamic Scan Scheduling (Abstract)

Bruno Dutertre , SRI International
pp. 327
Author Index

Author Index (PDF)

pp. 337
90 ms
(Ver )