The Community for Technology Leaders
2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS) (2005)
San Francisco, CA
Mar. 7, 2005 to Mar. 10, 2005
ISSN: 1080-1812
ISBN: 0-7695-2302-1
TABLE OF CONTENTS

list-reviewer (PDF)

pp. xiii-xiv

Committees (PDF)

pp. x-xii
Adaptive Scheduling

Enhancing Feedback Control Scheduling Performance by On-line Quantification and Suppression of Measurement Disturbance (Abstract)

J?rgen Hansson , Link?ping University, Sweden
Sang H. Son , University of Virginia, Charlottesville, USA
Svante Gunnarsson , Link?ping University, Sweden
Mehdi Amirijoo , Link?ping University, Sweden
pp. 2-11

Hybrid Supervisory Utilization Control of Real-Time Systems (Abstract)

C. Lu , Washington University in St. Louis
R. Tekumalla , Vanderbilt University, Nashville, TN
X. Koutsoukos , Vanderbilt University, Nashville, TN
B. Natarajan , Vanderbilt University, Nashville, TN
pp. 12-21

Optimal Time-Variant Resource Allocation for Internet Servers with Delay Constraints (Abstract)

Xiliang Zhong , Wayne State University, Detroit, Michigan
Minghua Xu , Wayne State University, Detroit, Michigan
Cheng-Zhong Xu , Wayne State University, Detroit, Michigan
Jianbin Wei , Wayne State University, Detroit, Michigan
pp. 22-31

Design and Performance of Configurable Endsystem Scheduling Mechanisms (Abstract)

Tejasvi Aswathanarayana , University of Kansas, Lawrence
Venkita Subramonian , Washington University, St. Louis, MO
Douglas Niehaus , University of Kansas, Lawrence
Christopher Gill , Washington University, St. Louis, MO
pp. 32-43
Analysis

Characterizing Workload Correlations in Multi Processor Hard Real-Time Systems (Abstract)

Lothar Thiele , Swiss Federal Institute of Technology (ETH) Zurich, Switzerland
Ernesto Wandeler , Swiss Federal Institute of Technology (ETH) Zurich, Switzerland
pp. 46-55

A Model and Methodology for Composition QoS Analysis of Embedded Systems (Abstract)

Farokh Bastani , The University of Texas at Dallas
I-Ling Yen , The University of Texas at Dallas
Hui Ma , The University of Texas at Dallas
Kendra Cooper , The University of Texas at Dallas
Dongfeng Wang , The University of Texas at Dallas
pp. 56-65

Improved Schedulability Analysis of Real-Time Transactions with Earliest Deadline Scheduling (Abstract)

Rodolfo Pellizzoni , Scuola Superiore S. Anna, Pisa, Italy
Giuseppe Lipari , Scuola Superiore S. Anna, Pisa, Italy
pp. 66-75

Exact Admission-Control for Integrated Aperiodic and Periodic Tasks (Abstract)

Bj? Andersson , Chalmers University of Technology, Sweden
Cecilia Ekelin , Chalmers University of Technology, Sweden
pp. 76-85
Applications

A Distributed Real-Time Embedded Application for Surveillance, Detection, and Tracking of Time Critical Targets (Abstract)

Richard Schantz , BBN Technologies, Cambridge, MA
David Corman , The Boeing Company, St. Louis, MO
Joseph Loyall , BBN Technologies, Cambridge, MA
James Paunicka , The Boeing Company, St. Louis, MO
Sylvester Fernandez , Lockheed Martin, Eagan, MN
pp. 88-97

Convoy Driving through Ad-Hoc Coalition Formation (Abstract)

Majid Ali Khan , University of Central Florida, Orlando, Florida
Ladislau B?l? , University of Central Florida, Orlando, Florida
pp. 98-105

An Approach for Designing Reusable, Embedded Software Components for Spacecraft Flight Instruments (Abstract)

J. Goldstein , Lockheed Martin Space Systems Company
J. Pine , Lockheed Martin Space Systems Company
H. Nguyen , Lockheed Martin Space Systems Company
B. A. Plante , Lockheed Martin Space Systems Company
C. Hoover , Carnegie Mellon University
B. W. Edwards , Lockheed Martin Space Systems Company
D. Mathur , Lockheed Martin Space Systems Company
J. C. Thacker , Lockheed Martin Space Systems Company
pp. 106-115
Design

Robust Control/Scheduling Co-Design: Application to Robot Control (Abstract)

David Robert , Laboratoire d'Automatique de Grenoble, France
Daniel Simon , INRIA Rh?ne-Alpes, France
Olivier Sename , Laboratoire d'Automatique de Grenoble, France
pp. 118-127

Application-Driven Optimization of VLIW Architectures: A Hardware-Software Approach (Abstract)

Alberto Ferrante , University of Milan, Italy
Giuseppe Piscopo , University of Lugano, Switzerland
Stefano Scaldaferri , University of Lugano, Switzerland
pp. 128-137

Improving WCET by Optimizing Worst-Case Paths (Abstract)

Christopher Healy , Furman University, Greenville, SC
William Kreahling , Florida State University, Tallahassee, FL
David Whalley , Florida State University, Tallahassee, FL
Frank Mueller , North Carolina State University, Raleigh, NC
Wankang Zhao , Florida State University, Tallahassee, FL
pp. 138-147

Bounding Worst-Case Data Cache Behavior by Analytically Deriving Cache Reference Patterns (Abstract)

Harini Ramaprasad , North Carolina State University
Frank Mueller , North Carolina State University
pp. 148-157
Modeling

Applying Sensitivity Analysis in Real-Time Distributed Systems (Abstract)

Rolf Ernst , Technical University of Braunschweig, Germany
Razvan Racu , Technical University of Braunschweig, Germany
Marek Jersak , Technical University of Braunschweig, Germany
pp. 160-169

Real-Time Sampled Signal Flows through Asynchronous Distributed Systems (Abstract)

Steve Vestal , Honeywell Laboratories, Minneapolis, MN
pp. 170-179

Model-Driven Techniques for Evaluating the QoS of Middleware Configurations for DRE Systems (Abstract)

Emre Turkay , Vanderbilt University, Nashville, TN
Douglas C. Schmidt , Vanderbilt University, Nashville, TN
Arvind S. Krishna , Vanderbilt University, Nashville, TN
Aniruddha Gokhale , Vanderbilt University, Nashville, TN
pp. 180-189

A Platform-Independent Component Modeling Language for Distributed Real-Time and Embedded Systems (Abstract)

Krishnakumar Balasubramanian , Vanderbilt University, Nashville
Douglas C. Schmidt , Vanderbilt University, Nashville
Jeff Parsons , Vanderbilt University, Nashville
Jaiganesh Balasubramanian , Vanderbilt University, Nashville
Aniruddha Gokhale , Vanderbilt University, Nashville
pp. 190-199
Power-Aware Systems

Power-Aware Processor Scheduling under Average Delay Constraints (Abstract)

Fan Zhang , Hong Kong University of Science and Technology
Samuel T. Chanson , Hong Kong University of Science and Technology
pp. 202-212

Energy-Aware Task Allocation for Rate Monotonic Scheduling (Abstract)

Tarek A. AlEnawy , George Mason University, Fairfax, VA
Hakan Aydin , George Mason University, Fairfax, VA
pp. 213-223

Practical On-line DVS Scheduling for Fixed-Priority Real-Time Systems (Abstract)

Xiaobo Sharon Hu , University of Notre Dame, IN
Gang Quan , University of South Carolina, Columbia
Bren Mochocki , University of Notre Dame, IN
pp. 224-233

Feedback-Based Dynamic Voltage and Frequency Scaling for Memory-Bound Real-Time Applications (Abstract)

Leo Singleton , Georgia Institute of Technology, Atlanta, GA
Christian Poellabauer , University of Notre Dame, IN
Karsten Schwan , Georgia Institute of Technology, Atlanta, GA
pp. 234-243
Quality of Service

Network QoS Assurance in a Multi-Layer Adaptive Resource Management Scheme for Mission-Critical Applications using the CORBA Middleware Framework (Abstract)

V. Bhanot , PrismTech
R. Vaidyanathan , Telcordia Technologies
K. Parmeswaran , Telcordia Technologies
B. Dasarathy , Telcordia Technologies
M. Conarty , PrismTech
S. Gadgil , Telcordia Technologies
B. Coan , Telcordia Technologies
pp. 246-255

Scalable QoS-Based Resource Allocation in Hierarchical Networked Environment (Abstract)

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

Diff-EDF: A Simple Mechanism for Differentiated EDF Service (Abstract)

Ragunathan Rajkumar , Carnegie Mellon University, Pittsburgh, PA
Jeffery P. Hansen , Carnegie Mellon University, Pittsburgh, PA
HaiFeng Zhu , Carnegie Mellon University, Pittsburgh, PA
John P. Lehoczky , Carnegie Mellon University, Pittsburgh, PA
pp. 268-277
Reliability and Fault Management

Out-of-Norm Assertions (Abstract)

Philipp Peti , Vienna University of Technology, Austria
Roman Obermaisser , Vienna University of Technology, Austria
Hermann Kopetz , Vienna University of Technology, Austria
pp. 280-291

Process Resurrection: A Fast Recovery Mechanism for Real-Time Embedded Systems (Abstract)

Kihwal Lee , University of Illinois at Urbana-Champaign
Lui Sha , University of Illinois at Urbana-Champaign
pp. 292-301
Resource Allocation

Heuristic Resource Allocation Strategies for Embedded Systems with Continuous mode Changes (Abstract)

Klaus Ecker , Technical University of Clausthal, Germany
Dennis Stankovic , Technical University of Clausthal, Germany
Silke Schomann , Technical University of Clausthal, Germany
pp. 314-321

Multiprocessor Resource Allocation for Hard-Real-Time Streaming with a Dynamic Job-Mix (Abstract)

Orlando Moreira , Philips Research Eindhoven
Marco Bekooij , Philips Research Eindhoven
Jef van Meerbergen , Philips Research Eindhoven; Eindhoven University of Technology, The Netherlands
Jan-David Mol , Delft University of Technology
pp. 332-341

Towards Efficient Use of Shared Communication Media in the Timed Model (Abstract)

Guido Menkhaus , University of Salzburg, Austria
Claudiu Farcas , University of Salzburg, Austria
Sebastian Fischmeister , University of Salzburg, Austria
Michael Holzmann , University of Salzburg, Austria
pp. 342-351
Scheduling

An Adaptive Locality-Conscious Process Scheduler for Embedded Systems (Abstract)

Guilin Chen , The Pennsylvania State Univeristy, University Park, PA
Guangyu Chen , The Pennsylvania State Univeristy, University Park, PA
Mahmut Kandemir , The Pennsylvania State Univeristy, University Park, PA
Ozcan Ozturk , The Pennsylvania State Univeristy, University Park, PA
pp. 354-364

Priority Refinement for Dependent Tasks in Large Embedded Real-Time Software (Abstract)

Shige Wang , The University of Michigan, Ann Arbor
Jing Song , Ford Motor Company
Jeffrey R. Merrick , The University of Michigan, Ann Arbor
William Milam , Ford Motor Company
Kang G. Shin , The University of Michigan, Ann Arbor
pp. 365-374

Integrated CORBA Scheduling and Resource Management for Distributed Real-Time Embedded Systems (Abstract)

Matthew Murphy , University of Rhode Island, Kingston
Jiangyin Zhang , University of Rhode Island, Kingston
Christopher D. Gill , Washington University, St. Louis, Missouri
Lonnie R. Welch , Ohio University, Athens
Victor Fay-Wolfe , University of Rhode Island, Kingston
Lisa C. DiPippo , University of Rhode Island, Kingston
Chang Liu , Ohio University, Athens
Douglas Niehaus , University of Kansas, Lawrence
David T. Fleeman , Ohio University, Athens
David W. Juedes , Ohio University, Athens
Kevin Bryan , University of Rhode Island, Kingston
pp. 375-384

Solution Space for Fixed-Priority with Preemption Threshold (Abstract)

Peter Buhr , University of Waterloo, Canada
Ashif Harji , University of Waterloo, Canada
Jiongxiong Chen , University of Waterloo, Canada
pp. 385-394
Sensor Networks

On-Line Timestamping Synchronization in Distributed Sensor Architectures (Abstract)

V?ronique Cherfaoui , Universit? de Technologie de Compi?gne, France
Olivier Bezet , Universit? de Technologie de Compi?gne, France
pp. 396-404

Timing Analysis for Sensor Network Nodes of the Atmega Processor Family (Abstract)

Christopher Healy , Furman University, Greenville, SC
David Whalley , Florida State University, Tallahassee, FL
Frank Mueller , North Carolina State University, Raleigh
Sibin Mohan , North Carolina State University, Raleigh
pp. 405-414

Scheduling Messages with Deadlines in Multi-Hop Real-Time Sensor Networks (Abstract)

Prashant Shenoy , University of Massachusetts, Amherst
Huan Li , University of Massachusetts, Amherst
Krithi Ramamritham , Indian Institute of Technology, India
pp. 415-425
System Composition

Real-Time Component-Based Systems (Abstract)

Sangig Rho , Texas A&M University, College Station, TX
Riccardo Bettati , Texas A&M University, College Station, TX
Wei Zhao , Texas A&M University, College Station, TX
Shengquan Wang , Texas A&M University, College Station, TX
Zhibin Mai , Texas A&M University, College Station, TX
pp. 428-437

Implementing Application Specific RTOS Policies using Reflection (Abstract)

Ameet Patil , University of York, UK
Neil Audsley , University of York, UK
pp. 438-447

Timed RTOS Modeling for Embedded System Design (Abstract)

Aloysius Mok , Univ. of Texas at Austin
Cheng Peng , Texas Instruments, Stafford
Zhengting He , Univ. of Texas at Austin
pp. 448-457

From Functional Blocks to the Synthesis of the Architectural Model in Embedded Real-time Applications (Abstract)

Giuseppe Lipari , Scuola Superiore Sant'Anna, Pisa, Italy
Marco Di Natale , Scuola Superiore Sant'Anna, Pisa, Italy
Cesare Bartolini , Scuola Superiore Sant'Anna, Pisa, Italy
pp. 458-467
System Software and Hardware

VPN Gateways over Network Processors: Implementation and Evaluation (Abstract)

Yi-Neng Lin , National Chiao-Tung University, Hsinchu, Taiwan
Ying-Dar Lin , National Chiao-Tung University, Hsinchu, Taiwan
Chiuan-Hung Lin , National Chiao-Tung University, Hsinchu, Taiwan
Yuan-Chen Lai , National Taiwan University of Science and Technology, Taipei, Taiwan
pp. 480-486

Delayed Locking Technique for Improving Real-Time Performance of Embedded Linux by Prediction of Timer Interrupt (Abstract)

Jupyung Lee , Korea Advanced Institute of Science and Technology
Kyu-Ho Park , Korea Advanced Institute of Science and Technology
pp. 487-496

A Real-Time Performance Comparison of Distributable Threads and Event Channels (Abstract)

Bryan Thrall , Washington University, St. Louis, MO
Yuanfang Zhang , Washington University, St. Louis, MO
Christopher Gill , Washington University, St. Louis, MO
Stephen Torri , Washington University, St. Louis, MO
Chenyang Lu , Washington University, St. Louis, MO
pp. 497-506
Theory

Dispatch Sequences for Embedded Control Models (Abstract)

Arun Chandrashekharapuram , University of Pennsylvania, Philadelphia
Rajeev Alur , University of Pennsylvania, Philadelphia
pp. 508-518

Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting (Abstract)

Miahi Lupu , National University of Singapore
Albert M. K. Cheng , University of Houston
Wei-Ngan Chin , National University of Singapore
Stefan Andrei , National University of Singapore
pp. 519-528

On Schedulability Bounds of Static Priority Schedulers (Abstract)

Jianjia Wu , Texas A&M University
Wei Zhao , Texas A&M University
Jyh-Charn Liu , Texas A&M University
pp. 529-540

Author Index (PDF)

pp. 551-552
99 ms
(Ver 3.1 (10032016))