The Community for Technology Leaders
2013 IEEE 34th Real-Time Systems Symposium (2006)
Rio de Janeiro, Brazil
Dec. 5, 2006 to Dec. 8, 2006
ISSN: 1052-8725
ISBN: 0-7695-2761-2
TABLE OF CONTENTS

Reviewers (PDF)

pp. xvii

Sensornet 2.0: The New Frontier (Abstract)

Feng Zhao , Microsoft Research
pp. xviii
Introduction

Preface (PDF)

pp. xi

Reviewers (PDF)

pp. xvii
Keynote Talk

Sensornet 2.0: The New Frontier (PDF)

Feng Zhao , Microsoft Research
pp. xviii
Embedded Systems

Run-Time Services for Hybrid CPU/FPGA Systems on Chip (Abstract)

Ron Sass , University of Kansas, USA
Fabrice Baijot , University of Kansas, USA
Jason Agron , University of Kansas, USA
Jim Stevens , University of Kansas, USA
Wesley Peck , University of Kansas, USA
Ed Komp , University of Kansas, USA
Erik Anderson , University of Kansas, USA
David Andrews , University of Kansas, USA
pp. 3-12

MCGREP--A Predictable Architecture for Embedded Real-Time Systems (Abstract)

Neil Audsley , University of York, UK
Jack Whitham , University of York, UK
pp. 13-24

Interface-Based Rate Analysis of Embedded Systems (Abstract)

Yanhong Liu , National University of Singapore, Singapore
Lothar Thiele , ETH Zurich, Switzerland
Ernesto Wandeler , ETH Zurich, Switzerland
Nikolay Stoimenov , ETH Zurich, Switzerland
Samarjit Chakraborty , National University of Singapore, Singapore
pp. 25-34
Languages

Programming Execution-Time Servers in Ada 2005 (Abstract)

A. Burns , University of York, UK
A.J. Wellings , University of York, UK
pp. 47-56

Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution (Abstract)

Andreas Ermedahl , Malardalen University, Sweden
Christer Sandberg , Malardalen University, Sweden
Bjorn Lisper , Malardalen University, Sweden
Jan Gustafsson , Malardalen University, Sweden
pp. 57-66

Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension (Abstract)

Albert Mo Kim Cheng , University of Houston, USA
Stefan Andrei , National University of Singapore, Singapore
pp. 67-76

Hard Real-Time Hybrid Garbage Collection with Low Memory Requirements (Abstract)

Andy Wellings , University of York, UK
Yang Chang , University of York, UK
pp. 77-88
Multicore and Multiprocessor Platforms

Parallel Real-Time Task Scheduling on Multicore Platforms (Abstract)

James H. Anderson , The University of North Carolina at Chapel Hill, USA
John M. Calandrino , The University of North Carolina at Chapel Hill, USA
pp. 89-100

An Optimal Real-Time Scheduling Algorithm for Multiprocessors (PDF)

Hyeonjoong Cho , ETRI, Korea
E. Douglas Jensen , The MITRE Corporation, USA
Binoy Ravindran , Virginia Tech., USA
pp. 101-110

LITMUS^RT : A Testbed for Empirically Comparing Real-Time Multiprocessor Schedulers (Abstract)

John M. Calandrino , The University of North Carolina at Chapel Hill, USA
UmaMaheswari C. Devi , The University of North Carolina at Chapel Hill, USA
Aaron Block , The University of North Carolina at Chapel Hill, USA
James H. Anderson , The University of North Carolina at Chapel Hill, USA
Hennadiy Leontyev , The University of North Carolina at Chapel Hill, USA
pp. 111-126
Distributed Real-Time Systems

A Pattern for Adaptive Behavior in Safety-Critical, Real-Time Middleware (Abstract)

Tanya L. Crenshaw , University of Illinois at Urbana-Champaign, USA
Hui Ding , University of Illinois at Urbana-Champaign, USA
P.R. Kumar , University of Illinois at Urbana-Champaign, USA
C.L. Robinson , University of Illinois at Urbana-Champaign, USA
Lui Sha , University of Illinois at Urbana-Champaign, USA
pp. 127-136

Distributed Utilization Control for Real-Time Clusters with Load Balancing (Abstract)

Yong Fu , Chinese Academy of Sciences, China
Chenyang Lu , Washington University in St. Louis, USA
Hongan Wang , Chinese Academy of Sciences, China
Ramu Sharat Chandra , GE Global Research Center
pp. 137-146
Feasibility and Schedulability Analysis

Sustainable Scheduling Analysis (Abstract)

Alan Burns , University of York, UK
Sanjoy Baruah , The University of North Carolina at Chapel Hill, USA
pp. 159-168

Optimal Dimensioning of a Constant Bandwidth Server (Abstract)

Enrico Bini , Scuola Superiore Sant'Anna, Italy
Giorgio Buttazzo , Scuola Superiore Sant'Anna, Italy
pp. 169-177
Operating Systems

Process-Aware Interrupt Scheduling and Accounting (Abstract)

Richard West , Boston University, USA
Yuting Zhang , Boston University, USA
pp. 191-201

Design of Location Service for a Hybrid Network of Mobile Actors and Static Sensors (Abstract)

Min-gyu Cho , University of Michigan, USA
Zhigang Chen , University of Michigan, USA
Kang G. Shin , University of Michigan, USA
pp. 202-211

Tightening the Bounds on Feasible Preemption Points (Abstract)

Frank Mueller , North Carolina State University, USA
Harini Ramaprasad , North Carolina State University, USA
pp. 212-224
Scheduling I

Processor Scheduler for Multi-Service Routers (Abstract)

Ajay Mahimkar , The University of Texas at Austin, USA
Ravi Kokku , NEC Laboratories America, Inc.
Harrick Vin , The University of Texas at Austin, USA
Upendra Shevade , The University of Texas at Austin, USA
Nishit Shah , The University of Texas at Austin, USA
Taewon Cho , The University of Texas at Austin, USA
pp. 225-235

Generalized Elastic Scheduling (Abstract)

Xiaobo Sharon Hu , University of Notre Dame, USA
Thidapat Chantem , University of Notre Dame, USA
M.D. Lemmon , University of Notre Dame, USA
pp. 236-245

User-Level Fine-Grained Adaptive Real-Time Scheduling via Temporal Reflection (Abstract)

Sergio Ruocco , National ICT Australia; University of New South Wales, Australia
pp. 246-256

Resource Sharing in Hierarchical Fixed Priority Pre-Emptive Systems (Abstract)

A. Burns , University of York, UK
R.I. Davis , University of York, UK
pp. 257-270
Applications

Principles for the Prediction of Video Decoding Times Applied to MPEG-1/2 and MPEG-4 Part 2 Video (Abstract)

Martin Pohlack , Technische Universitat Dresden, Germany
Michael Roitzsch , Technische Universitat Dresden, Germany
pp. 271-280

Combined Scheduling of Sensing and Communication for Real-Time Indoor Tracking in Assisted Living (Abstract)

Chang-Gun Lee , Seoul National University, Korea
Min-Young Nam , University of Illinois, USA
Mhd Zaher Al-Sabbagh , The Ohio State University, USA
pp. 281-290

Voice over Sensor Networks (Abstract)

Raj Rajkumar , Carnegie Mellon University, USA
Anthony Rowe , Carnegie Mellon University, USA
Rahul Mangharam , Carnegie Mellon University, USA
Ryohei Suzuki , Tokyo Denki University, Japan
pp. 291-302
Energy and Thermal Management

Energy-Efficient Real-Time Task Scheduling for a DVS System with a Non-DVS Processing Element (Abstract)

Tei-Wei Kuo , National Taiwan University, Taiwan
Chia-Mei Hung , National Taiwan University, Taiwan
Jian-Jia Chen , National Taiwan University, Taiwan
pp. 303-312

System-Level Energy Management for Periodic Real-Time Tasks (Abstract)

Vinay Devadas , George Mason University, USA
Dakai Zhu , University of Texas at San Antonio, Texas
Hakan Aydin , George Mason University, USA
pp. 313-322

Delay Analysis in Temperature-Constrained Hard Real-Time Systems with General Task Arrivals (Abstract)

Riccardo Bettati , Texas A&M University, USA
Shengquan Wang , The University of Michigan - Dearborn, USA
pp. 323-334
Databases

Mutual Consistency in Real-Time Databases (Abstract)

Abhay Kumar Jha , IIT Bombay, India
Krithi Ramamritham , IIT Bombay, India
Ming Xiong , Lucent Bell Laboratories
pp. 335-343

Prediction-Based QoS Management for Real-Time Data Streams (Abstract)

Yuan Wei , University of Virginia, USA
John A. Stankovic , University of Virginia, USA
Vibha Prasad , University of Virginia, USA
Sang H. Son , University of Virginia, USA
pp. 344-358
Scheduling II

Compliance Enforcement of Temporal and Dosage Constraints (Abstract)

P.H. Tsai , National Tsing Hua University, Taiwan
C.S. Shih , Member, IEEE; National Taiwan University, Taiwan
J.W.S. Liu , Fellow, IEEE; Academia Sinica, Taiwan
P.C. Hsiu , National Taiwan University, Taiwan
C.Y. Yu , National Tsing Hua University, Taiwan
H.C. Yeh , National Taiwan University, Taiwan
pp. 359-368

Diverse Soft Real-Time Processing in an Integrated System (Abstract)

Caixue Lin , University of California, Santa Cruz, USA
Tim Kaldewey , University of California, Santa Cruz, USA
Anna Povzner , University of California, Santa Cruz, USA
Scott A. Brandt , University of California, Santa Cruz, USA
pp. 369-378

Resource Sharing in EDF-Scheduled Systems: A Closer Look (Abstract)

Sanjoy K. Baruah , The University of North Carolina, USA
pp. 379-387

A Cognac-Glass Algorithm for Conditionally Guaranteed Budgets (Abstract)

Reinder J. Bril , Technische Universiteit Eindhoven, The Netherlands
Clemens C. Wust , Philips Research Laboratories, The Netherlands
Wim F.J. Verhaegh , Philips Research Laboratories, The Netherlands
pp. 388-400
Sensor Networks

Distributed Real-Time Detection and Tracking of Homogeneous Regions in Sensor Networks (Abstract)

Sharmila Subramaniam , University of California, Riverside, USA
Themis Palpanas , IBM T.J. Watson Research Center
Vana Kalogeraki , University of California, Riverside, USA
pp. 401-411

Modeling and Worst-Case Dimensioning of Cluster-Tree Wireless Sensor Networks (Abstract)

Mario Alves , Polytechnic Institute of Porto, Portugal
Eduardo Tovar , Polytechnic Institute of Porto, Portugal
Anis Koubaa , Polytechnic Institute of Porto, Portugal
pp. 412-421

Real-Time Traffic Management in Sensor Networks (Abstract)

Vana Kalogeraki , University of California, Riverside, USA
Kyriakos Karenos , University of California, Riverside, USA
pp. 422-434
Timing Constraints Monitoring and Prediction

A Generic Framework for Monitoring Timing Constraints over Uncertain Events (Abstract)

Honguk Woo , The University of Texas at Austin, USA
Chan-Gun Lee , Intel Corporation
Aloysius K. Mok , The University of Texas at Austin, USA
pp. 435-444

Determining Maximum Stack Usage in Preemptive Shared Stack Systems (Abstract)

Markus Bohlin , Malardalen Real-Time Research Centre (MRTC), Sweden; Swedish Institute of Computer Science, Sweden
Jukka Maki-Turja , Malardalen Real-Time Research Centre (MRTC), Sweden
Mikael Nolin , Malardalen Real-Time Research Centre (MRTC), Sweden; CC Systems, Sweden
Jan Carlson , Malardalen Real-Time Research Centre (MRTC), Sweden
Kaj Hanninen , Malardalen Real-Time Research Centre (MRTC), Sweden; Arcticus Systems, Sweden
pp. 445-453

Prediction of Timing Constraint Violation for Real-Time Embedded Systems with Known Transient Hardware Failure Distribution Model (Abstract)

Ophir Frieder , Illinois Institute of Technology, USA
Yue Yu , Illinois Institute of Technology, USA
Shangping Ren , Illinois Institute of Technology, USA
pp. 454-466
Author Index

Author Index (PDF)

pp. 467-468
109 ms
(Ver 3.3 (11022016))