The Community for Technology Leaders
2013 IEEE 34th Real-Time Systems Symposium (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)

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

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

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

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

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

null (PDF)

pp. null
Session R-2: Energy Management

FAST: Frequency-Aware Static Timing Analysis (Abstract)

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

A Dynamic Voltage Scaling Algorithm for Sporadic Tasks (Abstract)

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

Power-aware QoS Management in Web Servers (Abstract)

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

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

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

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

Sharath Kodase , University of Michigan, Ann Arbor
Zonghua Gu , University of Michigan, Ann Arbor
Kang G. Shin , University of Michigan, Ann Arbor
Shige Wang , 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)

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

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

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

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

Nalini Venkatasubramanian , University of California-Irvine
Qi Han , 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)

Aaron Block , University of North Carolina at Chapel Hill
Anand Srinivasan , University of North Carolina at Chapel Hill
James H. Anderson , 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)

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

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

Roberto Segala , Universit? di Verona
Frits Vaandrager , University of Nijmegen
Dilsun K. Kaynar , MIT Computer Science and Artificial Intelligence Laboratory
Nancy Lynch , MIT Computer Science and Artificial Intelligence Laboratory
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)

Stefan M. Petters , University of York, United Kingdom
Antoine Colin , 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)

Marco Caccamo , University of Illinois, Urbana
Phanindra Ganti , University of Illinois, Urbana
Lui Sha , University of Illinois, Urbana
Sathish Gopalakrishnan , University of Illinois, Urbana
Chi-Sheng Shih , 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)

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

Scheduling Analysis Integration for Heterogeneous Multiprocessor SoC (Abstract)

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

Hardware Support for Priority Inheritance (Abstract)

Henrik Thane , Malardalen University, Vasteras, Sweden
Vincent J. Mooney III , Georgia Institute of Technology, Atlanta
Pramote Kuacharoen , Georgia Institute of Technology, Atlanta
Bilge E. S. Akgul , 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)

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

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

Nikil Dutt , University of California, Irvine
Tony Givargis , University of California, Irvine
Marcio Buss , 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)

Sang H. Son , University of Virginia
Anthony D. Wood , University of Virginia
John A. Stankovic , 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
David B. Stewart , Embedded Research Solutions
Rajeev Barua , University of Maryland
Moussa A. Ba , 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
Lui Sha , Univ. of Illinois at Urbana-Champaign
Qixin Wang , 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)

Samuel T. Chanson , Hong Kong University of Science and Technology
Fan Zhang , 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
Meng Chang Chen , Academia Sinica
Yeali Sun , National Taiwan University
pp. 335

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

Harish Sethu , Drexel University, Philadelphia, PA
Hongyuan Shi , 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)

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

A Hybrid Control Design for QoS Management (Abstract)

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

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

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

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

Donglin Liu , Univ. of Notre Dame
Michael D. Lemmon , Univ. of Notre Dame
Xiaobo Sharon Hu , 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)

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

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

A. Burns , University of York, UK
I. Broster , 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
91 ms
(Ver )