The Community for Technology Leaders
RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003 (2003)
Cancun, Mexico
Dec. 3, 2003 to Dec. 5, 2003
ISBN: 0-7695-2044-8
TABLE OF CONTENTS

List of Reviewers (PDF)

pp. xiii
Session R-1: Resource Management and Scheduling

Periodic Resource Model for Compositional Real-Time Guarantees (Abstract)

Insik Shin , University of Pennsylvania, Philadelphia
Insup Lee , University of Pennsylvania, Philadelphia
pp. 2

Radar Dwell Scheduling Considering Physical Characteristics of Phased Array Antenna (Abstract)

Chang-Gun Lee , The Ohio State University, Columbus
Phil-Su Kang , The Ohio State University, Columbus
Chi-Sheng Shih , University of Illinois, Urbana
Lui Sha , University of Illinois, Urbana
pp. 14

Evolving real-time systems using hierarchical scheduling and concurrency analysis (Abstract)

John Regehr , University of Utah
Alastair Reid , University of Utah
Kirk Webb , University of Utah
Michael Parker , University of Utah
Jay Lepreau , University of Utah
pp. 25
Keynote Session

null (PDF)

pp. null
Session R-2: Energy Management

FAST: Frequency-Aware Static Timing Analysis (Abstract)

Kiran Seth , North Carolina State University, Raleigh
Aravindh Anantaraman , North Carolina State University, Raleigh
Frank Mueller , North Carolina State University, Raleigh
Eric Rotenberg , North Carolina State University, Raleigh
pp. 40

A Dynamic Voltage Scaling Algorithm for Sporadic Tasks (Abstract)

Ala' Qadi , University of Nebraska - Lincoln
Steve Goddard , University of Nebraska - Lincoln
Shane Farritor , University of Nebraska - Lincoln
pp. 52

Power-aware QoS Management in Web Servers (Abstract)

Vivek Sharma , University of Virginia
Arun Thomas , University of Virginia
Tarek Abdelzaher , University of Virginia
Kevin Skadron , University of Virginia
Zhijian Lu , University of Virginia
pp. 63
Demo Session

DOpE - a Window Server for Real-Time and Embedded Systems (Abstract)

Norman Feske , Technische Universit?t Dresden
Hermann H?rtig , Technische Universit?t Dresden
pp. 74

An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software (Abstract)

Zonghua Gu , University of Michigan, Ann Arbor
Shige Wang , University of Michigan, Ann Arbor
Sharath Kodase , University of Michigan, Ann Arbor
Kang G. Shin , University of Michigan, Ann Arbor
pp. 78
Work-In-Progress Session

null (PDF)

pp. null
Session R-3: QoS Control and Databases

QoS Management in Replicated Real Time Databases (Abstract)

Yuan Wei , University of Virginia, Charlottesville
Sang H. Son , University of Virginia, Charlottesville
John A. Stankovic , University of Virginia, Charlottesville
K. D. Kang , University of Virginia, Charlottesville
pp. 86

Adaptive Coherency Maintenance Techniques for Time-Varying Data (Abstract)

Ratul kr. Majumdar , Indian Institute of Technology Bombay
Kannan M. Moudgalya , Indian Institute of Technology Bombay
Krithi Ramamritham , Indian Institute of Technology Bombay
pp. 98

Addressing Timeliness/Accuracy/Cost Tradeoffs in Information Collection for Dynamic Environments (Abstract)

Qi Han , University of California-Irvine
Nalini Venkatasubramanian , University of California-Irvine
pp. 108
Session R-4: Scheduling Theory

Multiprocessor EDF and Deadline Monotonic Schedulability Analysis (Abstract)

Theodore P. Baker , Florida State University, Tallahassee
pp. 120

Quick-release Fair Scheduling (Abstract)

James H. Anderson , University of North Carolina at Chapel Hill
Aaron Block , University of North Carolina at Chapel Hill
Anand Srinivasan , University of North Carolina at Chapel Hill
pp. 130

Multiple-Resource Periodic Scheduling Problem: how much fairness is necessary? (Abstract)

Dakai Zhu , University of Pittsburgh, PA
Daniel Moss? , University of Pittsburgh, PA
Rami Melhem , University of Pittsburgh, PA
pp. 142
Session R-5: System Modeling and Integration

Data Caches in Multitasking Hard Real-Time Systems (Abstract)

Xavier Vera , M?alardalens H?gskola
Bj? Lisper , M?alardalens H?gskola
Jingling Xue , University of New South Wales
pp. 154

Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems (Abstract)

Dilsun K. Kaynar , MIT Computer Science and Artificial Intelligence Laboratory
Nancy Lynch , MIT Computer Science and Artificial Intelligence Laboratory
Roberto Segala , Universit? di Verona
Frits Vaandrager , University of Nijmegen
pp. 166

Monitoring of Timing Constraints with Confidence Threshold Requirements (Abstract)

Chan-Gun Lee , The University of Texas at Austin
Aloysius K. Mok , The University of Texas at Austin
Prabhudev Konana , The University of Texas at Austin
pp. 178
Session R-6: Timing Analysis

Experimental Evaluation of Code Properties for WCET Analysis (Abstract)

Antoine Colin , University of York, United Kingdom
Stefan M. Petters , University of York, United Kingdom
pp. 190

Response Time Analysis for Tasks Scheduled under EDF within Fixed Priorities (Abstract)

M. Gonz?lez Harbour , Universidad de Cantabria, Spain
J. C. Palencia , Universidad de Cantabria, Spain
pp. 200

Scheduling Real-Time Dwells Using Tasks with Synthetic Periods (Abstract)

Chi-Sheng Shih , University of Illinois, Urbana
Sathish Gopalakrishnan , University of Illinois, Urbana
Phanindra Ganti , University of Illinois, Urbana
Marco Caccamo , University of Illinois, Urbana
Lui Sha , University of Illinois, Urbana
pp. 210
Special Track on Hardware-Software Co-Design

null (PDF)

pp. null
Session H-1: Scheduling Considerations in Co-Design

Online Scheduling and Placement of Real-time Tasks to Partially Reconfigurable Devices (Abstract)

Christoph Steiger , Swiss Federal Institute of Technology (ETH) Zurich, Switzerland
Herbert Walder , Swiss Federal Institute of Technology (ETH) Zurich, Switzerland
Marco Platzner , Swiss Federal Institute of Technology (ETH) Zurich, Switzerland
Lothar Thiele , Swiss Federal Institute of Technology (ETH) Zurich, Switzerland
pp. 224

Scheduling Analysis Integration for Heterogeneous Multiprocessor SoC (Abstract)

Kai Richter , Technical University of Braunschweig, Germany
Razvan Racu , Technical University of Braunschweig, Germany
Rolf Ernst , Technical University of Braunschweig, Germany
pp. 236

Hardware Support for Priority Inheritance (Abstract)

Bilge E. S. Akgul , Georgia Institute of Technology, Atlanta
Vincent J. Mooney III , Georgia Institute of Technology, Atlanta
Henrik Thane , Malardalen University, Vasteras, Sweden
Pramote Kuacharoen , Georgia Institute of Technology, Atlanta
pp. 246
Session H-2: Modeling and Energy Management

Generating Formal Models for Real-Time Verification by Exact Low-Level Runtime Analysis of Synchronous Programs (Abstract)

G. Logothetis , University of Karlsruhe, Germany
K. Schneider , University of Kaiserslautern, Germany
C. Metzler , University of Karlsruhe, Germany
pp. 256

Network-on-Chip Modeling for System-Level Multiprocessor Simulation (Abstract)

Jan Madsen , Technical University of Denmark
Shankar Mahadevan , Technical University of Denmark
Kashif Virk , Technical University of Denmark
Mercury Gonzalez , Technical University of Denmark
pp. 265

Exploring Efficient Operating Points for Voltage Scaled Embedded Processor Cores (Abstract)

Marcio Buss , University of California, Irvine
Tony Givargis , University of California, Irvine
Nikil Dutt , University of California, Irvine
pp. 275
Special Track on Sensor Networks

null (PDF)

pp. null
Session S-1: Sensor Networks

JAM: A Jammed-Area Mapping Service for Sensor Networks (Abstract)

Anthony D. Wood , University of Virginia
John A. Stankovic , University of Virginia
Sang H. Son , University of Virginia
pp. 286

Contention-Free Periodic Message Scheduler Medium Access Control in Wireless Sensor / Actuator Networks (Abstract)

Thomas W. Carley , University of Maryland
Moussa A. Ba , Embedded Research Solutions
Rajeev Barua , University of Maryland
David B. Stewart , Embedded Research Solutions
pp. 298

Optimal QoS Sampling Frequency Assignment for Real-Time Wireless Sensor Networks (Abstract)

Xue Liu , Univ. of Illinois at Urbana-Champaign
Qixin Wang , Univ. of Illinois at Urbana-Champaign
Lui Sha , Univ. of Illinois at Urbana-Champaign
Wenbo He , Univ. of Illinois at Urbana-Champaign
pp. 308
Session R-7: Network QoS

Throughput and Value Maximization in Wireless Packet Scheduling under Energy and Time Constraints (Abstract)

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

On Maximum Rate Control of Weighted Fair Scheduling for Transactional Systems (Abstract)

Jeng Farn Lee , Academia Sinica; National Taiwan University
Yeali Sun , National Taiwan University
Meng Chang Chen , Academia Sinica
pp. 335

Greedy Fair Queueing: A Goal-Oriented Strategy for Fair Real-Time Packet Scheduling (Abstract)

Hongyuan Shi , Drexel University, Philadelphia, PA
Harish Sethu , Drexel University, Philadelphia, PA
pp. 345
Industry Session

Can Fixed Priority Scheduling Work in Practice? (Abstract)

Raimondas Lencevicius , Nokia Research Center, Burlington, MA
Alexander Ran , Nokia Research Center, Burlington, MA
pp. 358

Evaluating Mission Critical Large-Scale Embedded System Performance In Real-Time Java (Abstract)

David C. Sharp , The Boeing Company, Saint Louis, Missouri
Edward Pla , The Boeing Company, Saint Louis, Missouri
Kenn R. Luecke , The Boeing Company, Saint Louis, Missouri
pp. 362

A Hybrid Control Design for QoS Management (Abstract)

Sherif Abdelwahed , Vanderbilt University
Sandeep Neema , Vanderbilt University
Joseph Loyall , BBN Technologies
Richard Shapiro , BBN Technologies
pp. 366
Session R-8: QoS and Scheduling

Rotational-Position-Aware Real-Time Disk Scheduling Using a Dynamic Active Subset (DAS) (Abstract)

Lars Reuther , Dresden University of Technology
Martin Pohlack , Dresden University of Technology
pp. 374

Firm Real-Time System Scheduling Based on a Novel QoS Constraint (Abstract)

Donglin Liu , Univ. of Notre Dame
Xiaobo Sharon Hu , Univ. of Notre Dame
Michael D. Lemmon , Univ. of Notre Dame
Qiang Ling , Univ. of Notre Dame
pp. 386

Dynamic Integrated Scheduling of Hard Real-Time, Soft Real-Time and Non-Real-Time Processes (Abstract)

Scott A. Brandt , University of California, Santa Cruz
Scott Banachowski , University of California, Santa Cruz
Caixue Lin , University of California, Santa Cruz
Timothy Bisson , University of California, Santa Cruz
pp. 396
Session R-9: Dependability and Performance Modeling

An Analysable Bus-Guardian for Event-Triggered Communication (Abstract)

I. Broster , University of York, UK
A. Burns , University of York, UK
pp. 410

A Consensus Protocol for CAN-Based Systems (Abstract)

G. M. A. Lima , Universidade Federal da Bahia, Ondina
A. Burns , University of York, Heslington
pp. 420

Impact of PCI-Bus Load on Applications in a PC Architecture (Abstract)

Sebastian Sch?nberg , University of Technology Dresden, Germany
pp. 430

Author Index (PDF)

pp. 441
96 ms
(Ver 3.3 (11022016))