The Community for Technology Leaders
2013 IEEE 34th Real-Time Systems Symposium (2004)
Lisbon, Portugal
Dec. 5, 2004 to Dec. 8, 2004
ISSN: 1052-8725
ISBN: 0-7695-2247-5
TABLE OF CONTENTS
Introduction

Program Committees (PDF)

pp. xii-xiii
Keynote Talks

The Road Ahead: It Doesn't Get Any Easier (PDF)

Andr? M. van Tilborg , Office of the Deputy Under Secretary of Defense
pp. 4
Panel

Fixed or Dynamic Priority? That is the Question (PDF)

Alan Burns , University of York
Lui Sha , University of Illinois
Daniel Moss? , University of Pittsburgh
Giorgio Buttazzo , University of Pavia
Sanjoy Baruah , University of North Carolina at Chapel Hill
Jack Stankovic , University of Virginia
Ted Baker , Florida State University
pp. 9
Session 1: Award Papers

Integrated Resource Management and Scheduling with Multi-Resource Constraints (Abstract)

Sourav Ghosh , Carnegie Mellon University
Jeffery Hansen , Carnegie Mellon University
Ragunathan (Raj) Rajkumar , Carnegie Mellon University
John Lehoczky , Carnegie Mellon University
pp. 12-22

Finite-Horizon Scheduling of Radar Dwells with Online Template Construction (Abstract)

Chang-Gun Lee , Ohio State University
Lui Sha , University of Illinois at Urbana-Champaign
Chi-Sheng Shih , National Taiwan University
Sathish Gopalakrishnan , University of Illinois at Urbana-Champaign
Marco Caccamo , University of Illinois at Urbana-Champaign
pp. 23-33
Session 2: Scheduling

Compositional Real-Time Scheduling Framework (Abstract)

Insik Shin , University of Pennsylvania
Insup Lee , University of Pennsylvania
pp. 57-67

Pre-Scheduling on the Domain of Integers (Abstract)

Weirong Wang , University of Texas at Austin
Gerhard Fohler , Malardalen University
Aloysius K. Mok , University of Texas at Austin
pp. 68-77
Session 3: Compiler and Architectural Support

WCET Code Positioning (Abstract)

Frank Mueller , North Carolina State University
David Whalley , Florida State University
Christopher Healy , Furman University
Wankang Zhao , Florida State University
pp. 81-91

Modeling Out-of-Order Processors for Software Timing Analysis (Abstract)

Xianfeng Li , National University of Singapore
Abhik Roychoudhury , National University of Singapore
Tulika Mitra , National University of Singapore
pp. 92-103

Design Style Case Study for Embedded Multi Media Compute Nodes (Abstract)

Andy Lambrechts , IMEC vzw and Katholieke Universiteit Leuven
Adelina Shickova , IMEC vzw and Katholieke Universiteit Leuven
Diederik Verkest , IMEC vzw, Katholieke Universiteit Leuven and Vrije Universiteit Brussel
Bingfeng Mei , IMEC vzw and Katholieke Universiteit Leuven
Francky Catthoor , IMEC vzw and Katholieke Universiteit Leuven
Tom Vander Aa , Katholieke Universiteit Leuven
Henk Corporaal , TU/e Eindhoven
Murali Jayapala , Katholieke Universiteit Leuven
Geert Deconinck , Katholieke Universiteit Leuven
Francisco Barat , Katholieke Universiteit Leuven
Frédéric Robert , Université Libre de Bruxelles
Anthony Leroy , IMEC vzw and Université Libre de Bruxelles
pp. 104-113

Enforcing Safety of Real-Time Schedules on Contemporary Processors Using a Virtual Simple Architecture (VISA) (Abstract)

Eric Rotenberg , North Carolina State University
Aravindh Anantaraman , North Carolina State University
Frank Mueller , North Carolina State University
Kiran Seth , Qualcomm, Inc.
pp. 114-125
Session 4: QoS Issues and Multimedia Computing

Integrating Best-Effort Scheduling into a Real-Time System (Abstract)

Scott Banachowski , University of California at Santa Cruz
Scott A. Brandt , University of California at Santa Cruz
Timothy Bisson , University of California at Santa Cruz
pp. 139-150

A Virtual Deadline Scheduler for Window-Constrained Service Guarantees (Abstract)

Yuting Zhang , Boston University
Richard West , Boston University
Xin Qi , Boston University
pp. 151-160

Optimal State Feedback Based Resource Allocation for Resource-Constrained Control Tasks (Abstract)

Caixue Lin , University of California Santa Cruz
Scott A. Brandt , University of California Santa Cruz
Manel Velasco , Technical University of Catalonia
Josep M. Fuertes , Technical University of Catalonia
Pau Martí , University of California Santa Cruz
pp. 161-172
Session 5: Formal Methods and Software Engineering

A CLP Proof Method for Timed Automata (Abstract)

Joxan Jaffar , National University of Singapore
Andrew Santosa , National University of Singapore
Răzvan Voicu , National University of Singapore
pp. 175-186

A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets (Abstract)

Didier Lime , Institut de Recherche en Communication et Cybernétique de Nantes
Olivier (H.) Roux , Institut de Recherche en Communication et Cybernétique de Nantes
pp. 187-196

Pessimism in the Stochastic Analysis of Real-Time Systems: Concept and Applications (Abstract)

José María López , Universidad de Oviedo
José Luis Díaz , Universidad de Oviedo
Lucia Lo Bello , Università di Catania
Antonio Manuel Campos , Universidad de Oviedo
Kanghee Kim , Seoul National University
Manuel García , Universidad de Oviedo
pp. 197-207
Session 6: Middleware and Programming Languages

A Model-Based Approach to Designing QoS Adaptive Applications (Abstract)

Richard Schantz , BBN Technologies
Denise Varner , Southwest Research Institute
Jianming Ye , BBN Technologies
Joseph Loyall , BBN Technologies
Richard Shapiro , BBN Technologies
Nagabhushan Mahadevan , Vanderbilt University
Sherif Abdelwahed , Vanderbilt University
Michael Koets , Southwest Research Institute
Sandeep Neema , Vanderbilt University
pp. 221-230

Automatic Verification of Component-Based Real-Time CORBA Applications (Abstract)

Sherif Abdelwahed , Vanderbilt University
Gabor Karsai , Vanderbilt University
Gabor Madl , Vanderbilt University
pp. 231-240

Scoped Types for Real-Time Java (Abstract)

Tian Zhao , University of Wisconsin - Milwaukee
Jan Vitek , Purdue University
James Noble , Victoria University of Wellington
pp. 241-251

The Design and Performance of Configurable Component Middleware for Distributed Real-Time and Embedded Systems (Abstract)

Liang-Jui Shen , Washington University in St. Louis
Venkita Subramonian , Washington University in St. Louis
Christopher Gill , Washington University in St. Louis
Nanbor Wang , Tech-X Corp
pp. 252-261
Session 7: Real-Time Data Collection and Management

Robust Quality Management for Differentiated Imprecise Data Services (Abstract)

Sang H. Son , University of Virginia
Mehdi Amirijoo , Linköping University
Jörgen Hansson , Linköping University
Svante Gunnarsson , Linköping University
pp. 265-275

Statistical Quality of Service Guarantee for Temporal Consistency of Real-Time Data Objects (Abstract)

Bi Yu Liang , City University of Hong Kong
Yang Guo , The MathWorks, Inc.
Ming Xiong , Bell Laboratories
Kam-Yiu Lam , City University of Hong Kong
pp. 276-285

Construction of a Coherency Preserving Dynamic Data Dissemination Network (Abstract)

Shetal Shah , Indian Institute of Technology-Bombay
Shweta Agrawal , Indian Institute of Technology-Bombay
Krithi Ramamritham , Indian Institute of Technology-Bombay
pp. 286-295

Mobile Element Scheduling for Efficient Data Collection in Wireless Sensor Networks with Dynamic Deadlines (Abstract)

Arun A. Somasundara , University of California at Los Angeles
Aditya Ramamoorthy , University of California at Los Angeles
Mani B. Srivastava , University of California at Los Angeles
pp. 296-305
Session 8: Energy Management and Resource Reclamation

Fixed Priority Scheduling for Reducing Overall Energy on Variable Voltage Processors (Abstract)

Xiaobo Sharon Hu , University of Notre Dame
Bren Mochocki , University of Notre Dame
Linwei Niu , University of South Carolina
Gang Quan , University of South Carolina
pp. 309-318

On-Line Dynamic Voltage Scaling for Hard Real-Time Systems Using the EDF Algorithm (Abstract)

Cheol-Hoon Lee , Chungnam National University
Kang G. Shin , University of Michigan
pp. 319-327

Rewriting History to Exploit Gain Time (Abstract)

I. Broster , University of York
G. Bernat , University of York
A. Burns , University of York
pp. 328-335

Processor Frequency Selection for SoC Platforms for Multimedia Applications (Abstract)

Samarjit Chakraborty , National University of Singapore
Wei Tsang Ooi , National University of Singapore
Alexander Maxiaguine , ETH Zürich
Yanhong Liu , National University of Singapore
pp. 336-345
Session 9: Sensor Networks

A Scalable Logical Coordinates Framework for Routing in Wireless Sensor Networks (Abstract)

Qing Cao , University of Virginia
Tarek Abdelzaher , University of Virginia
pp. 349-358

On Real-Time Capacity Limits of Multihop Wireless Sensor Networks (Abstract)

Raghu Kiran , University of Virginia
Shashi Prabh , University of Virginia
Tarek F. Abdelzaher , University of Virginia
pp. 359-370

Lightning: A Fast and Lightweight Acoustic Localization Protocol Using Low-End Wireless Micro-Sensors (Abstract)

Xue Liu , University of Illinois at Urbana-Champaign
Qixin Wang , University of Illinois at Urbana-Champaign
Ajay Tirumala , University of Illinois at Urbana-Champaign
Lui Sha , University of Illinois at Urbana-Champaign
Rong Zheng , University of Illinois at Urbana-Champaign
pp. 371-381

Real-Time Resource Reservation Protocol for Wireless Mobile Ad Hoc Networks (Abstract)

Giorgio C. Buttazzo , University of Pavia
Luis Almeida , University of Aveiro
Tullio Facchinetti , University of Pavia
Carlo Marchini , University of Parma
pp. 382-391
Session 10: Real-Time Communication and Fault Tolerance

QoS Support for USB 2.0 Periodic and Sporadic Device Requests (Abstract)

Chih-Yuan Huang , National Taiwan University
Tei-Wei Kuo , National Taiwan University
Ai-Chun Pang , National Taiwan University
pp. 395-404

Hard Real-Time Communication in Bus-Based Networks (Abstract)

Marco Caccamo , University of Illinois at Urbana-Champaign
Sathish Gopalakrishnan , University of Illinois at Urbana-Champaign
Lui Sha , University of Illinois at Urbana-Champaign
pp. 405-414
Session 11: Co-Design Techniques

A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems (Abstract)

Yoshifumi Takamoto , Osaka University
Keiichi Yasumoto , Nara Institute of Science & Technology
Akio Nakata , Osaka University
Tomoya Kitani , Osaka University
Teruo Higashino , Osaka University
pp. 437-446

Automatic Generation of Protocol Converters from Scenario-Based Specifications (Abstract)

Tuan-Anh Tran , National University of Singapore
P. S. Thiagarajan , National University of Singapore
Vera A. Zvereva , State University of St. Petersburg
Abhik Roychoudhury , National University of Singapore
pp. 447-458

Model-Driven SoC Design via Executable UML to SystemC (Abstract)

P. S. Thiagarajan , National University of Singapore
Kathy Dang Nguyen , National University of Singapore
Zhenxin Sun , National University of Singapore
Weng-Fai Wong , National University of Singapore
pp. 459-468

Design Space Exploration and System Optimization with SymTA/S — Symbolic Timing Analysis for Systems (Abstract)

Arne Hamann , Technical University of Braunschweig
Kai Richter , Technical University of Braunschweig
Marek Jersak , Technical University of Braunschweig
Rolf Ernst , Technical University of Braunschweig
pp. 469-478
Author Index

Author Index (PDF)

pp. 479-480
89 ms
(Ver )