CSDL - Proceedings R

RTSS 2003 Organizing Committee (PDF)

pp. xi

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

PDF

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

PDF

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

PDF

Keynote Session

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

Work-In-Progress Session

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

PDF

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

PDF

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

PDF

Session R-4: Scheduling Theory

Multiprocessor EDF and Deadline Monotonic Schedulability Analysis (Abstract)

Theodore P. Baker, Florida State University, Tallahassee

pp. 120

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

Special Track on Hardware-Software Co-Design

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

Special Track on Sensor Networks

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

Sebastian Sch?nberg, University of Technology Dresden, Germany

pp. 430

PDF

Author Index (PDF)

pp. 441