The Community for Technology Leaders
2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications (2006)
Sydney, Australia
Aug. 16, 2006 to Aug. 18, 2006
ISSN: 1533-2306
ISBN: 0-7695-2676-4
TABLE OF CONTENTS
Introduction

Foreward (PDF)

pp. x

Reviewers (PDF)

pp. xiv
Introduction

Reviewers (PDF)

pp. xiv
Schedulability and Timing Analysis

Rate Monotonic Schedulability Conditions Using Relative Period Ratios (Abstract)

Wan-Chen Lu , National Tsing Hua University, Taiwan
Kwei-Jay Lin , University of California, Irvine, USA
Hsin-Wen Wei , National Tsing Hua University, Taiwan
pp. 3-9

Characterization and Analysis of Tasks with Offsets: Monotonic Transactions (Abstract)

Emmanuel Grolleau , LISI/ENSMA, France
Francis Cottet , LISI/ENSMA, France
Karim Traore , LISI/ENSMA, France
pp. 10-16

Probabilistic Timing Join over Uncertain Event Streams (Abstract)

Chan-Gun Lee , Intel Corporation
Aloysius K. Mok , The University of Texas at Austin, USA
Honguk Woo , The University of Texas at Austin, USA
pp. 17-26
Ubiquitous Computing

A Software Infrastructure for Wearable Sensor Networks (Abstract)

Tatsuo Nakajima , Waseda University, Japan
Kensuke Hanaoka , Waseda University, Japan
Ayako Takagi , Waseda University, Japan
pp. 27-35

objSampler: A Ubiquitous Logging Tool for Recording Encounters with Real World Objects (Abstract)

Jin Nakazawa , Keio University, Japan
Hideyuki Tokuda , Keio University, Japan
Taizo Zushi , Keio University, Japan
Jun?ichi Yura , Keio University, Japan
Hideaki Ogawa , Keio University, Japan
pp. 36-41

Algorithm Selectors for Providing Location Estimation Services within a Cellular Radio Network (Abstract)

Joseph Kee-Yin Ng , Hong Kong Baptist University, Hong Kong
Junyang Zhou , Hong Kong Baptist University, Hong Kong
pp. 42-50
Timing Analysis 1

Instruction Scheduling with Release Times and Deadlines on ILP Processors (Abstract)

Hui Wu , The University of New South Wales, Australia
Jingling Xue , The University of New South Wales, Australia
Joxan Jaffar , National University of Singapore, Singapore
pp. 51-60

Modeling Instruction-Level Parallelism for WCET Evaluation (Abstract)

C?dric Landet , Institut de Recherche en Informatique de Toulouse, France
Christine Rochange , Institut de Recherche en Informatique de Toulouse, France
Pascal Sainrat , Institut de Recherche en Informatique de Toulouse, France
Jonathan Barre , Institut de Recherche en Informatique de Toulouse, France
pp. 61-67

Optimization of Real-Time Systems Timing Specifications (Abstract)

Albert Mo Kim Cheng , University of Houston, USA
Stefan Andrei , National University of Singapore, Singapore
pp. 68-76
Resource Management 1

Dynamic Adaptation of Stability Periods for Service Level Agreements (Abstract)

Lu??s Miguel Pinho , Polythecnic Institute of Porto, Portugal
Luis Nogueira , Polythecnic Institute of Porto, Portugal
pp. 77-81

Relaxed Correctness for Firm Real-Time Databases (Abstract)

Jan Lindstrom , University of Helskinki, Finland
pp. 82-86

Mapping Task-Graphs on Distributed ECU Networks: Efficient Algorithms for Feasibility and Optimality (Abstract)

Alexander Metzner , Carl von Ossietzky Universitat Oldenburg, Germany
Werner Damm , Carl von Ossietzky Universitat Oldenburg, Germany
Friedrich Eisenbrand , Universitat Dortmund, Germany
Reinhard Wilhelm , Universitat des Saarlandes, Germany
Sebastian Winkel , Universitat des Saarlandes, Germany
Gennady Shmonin , Universitat Dortmund, Germany
pp. 87-90

A Framework for Compositional and Hierarchical Real-Time Scheduling (Abstract)

Samarjit Chakraborty Chakraborty , National University of Singapore, Singapore
Shanmuga Priya Marimuthu , National University of Singapore, Singapore
pp. 91-96
Embedded Software 1

Garbage Collector Scheduling in Dynamic, Multiprocessor Real-Time Systems (PDF)

Hyeonjoong Cho , Virginia Tech, USA
Chewoo Na , Virginia Tech, USA
Binoy Ravindran , Virginia Tech, USA
E. Douglas Jensen , The MITRE Corporation, USA
pp. 101-105

Strengthening Property Preservation in Concurrent Real-Time Systems (Abstract)

Jinfeng Huang , Eindhoven University of Technology, The Netherlands
Jeroen Voeten , Eindhoven University of Technology, The Netherlands
Oana Florescu , Eindhoven University of Technology, The Netherlands
Henk Corporaal , Eindhoven University of Technology, The Netherlands
pp. 106-109

Security for Ubiquitous Computing: Problems and Proposed Solutionl (Abstract)

Tran Van Phuong , Kyung Hee University, Korea
Le Xuan Hung , Kyung Hee University, Korea
Sungyoung Lee , Kyung Hee University, Korea
Pho Duc Giang , Kyung Hee University, Korea
Young-Koo Lee , Kyung Hee University, Korea
Yonil Zhung , Kyung Hee University, Korea
pp. 110-116
Scheduling

Deferrable Scheduling for Temporal Consistency: Schedulability Analysis and Overhead Reduction (Abstract)

Song Han , City University of Hong Kong
Deji Chen , Emerson Process Management
Ming Xiong , Lucent Bell Labs
pp. 117-124

Computing the Minimum EDF Feasible Deadline in Periodic Systems (Abstract)

Magnus Jonsson , Halmstad University, Sweden
Hoai Hoang , Halmstad University, Sweden
Giorgio Buttazzo , Scuola Superiore S. Anna, Italy
pp. 125-134

Algorithms for Determining the Demand-Based Load of a Sporadic Task System (Abstract)

Nathan Fisher , The University of North Carolina at Chapel Hill, USA
Sanjoy Baruah , The University of North Carolina at Chapel Hill, USA
Theodore P. Baker , Florida State University, USA
pp. 135-146
RT-Communications

A Fast Elliptic Curve Based Key Agreement Protocol-on-Chip (PoC) for Securing Networked Embedded Systems (Abstract)

Claudia Feregrino-Uribe , National Institute for Astrophysics, Optics and Electronics, Mexico
Zoran Salcic , University of Auckland, New Zealand
Miguel Morales-Sandoval , National Institute for Astrophysics, Optics and Electronics, Mexico
Roshan Duraisamy , University of Auckland, New Zealand
pp. 154-161

Implementation of a Dominance Protocol for Wireless Medium Access (Abstract)

Nuno Pereira , Polytechnic Institute of Porto, Portugal
Bj?rn Andersson , Polytechnic Institute of Porto, Portugal
Eduardo Tovar , Polytechnic Institute of Porto, Portugal
pp. 162-172
Embedded Software 2

Data Freshness and Overload Handling in Embedded Systems (Abstract)

Jorgen Hansson , Carnegie Mellon University, USA
Thomas Gustafsson , Linkoping University, Sweden
pp. 173-182

Systematic Security and Timeliness Tradeoffs in Real-Time Embedded Systems (Abstract)

Sang H. Son , University of Virginia, USA
Kyoung-Don Kang , State University of New York at Binghamton, USA
pp. 183-189

Implementation Synthesis of Embedded Software under the Group-Based Scheduling Model (Abstract)

Zhaohui Wu , Zhejiang University, China
Zhigang Gao , Zhejiang University, China
pp. 190-198
Invited Papers

Application-Driven Low-Power Techniques Using Dynamic Voltage Scaling (Abstract)

Taewhan Kim , Seoul National University, Korea
pp. 199-206

Hardware-Software Codesign of Multimedia Embedded Systems: the PeaCE (Abstract)

Young-Pyo Joo , Seoul National University, Korea
Soonhoi Ha , Seoul National University, Korea
Choonseung Lee , Seoul National University, Korea
Seongnam Kwon , Seoul National University, Korea
Youngmin Yi , Seoul National University, Korea
pp. 207-214

Integrating Compiler and System Toolkit Flow for Embedded VLIW DSP Processors (Abstract)

Chung-Ju Wu , National Tsing-Hua University, Taiwan
Yung-Chia Lin , National Tsing-Hua University, Taiwan
Jenq Kuen Lee , National Tsing-Hua University, Taiwan
Chi Wu , National Tsing-Hua University, Taiwan
Kun-Yuan Hsieh , National Tsing-Hua University, Taiwan
Chung-Kai Chen , National Tsing-Hua University, Taiwan
Wen-Li Shih , National Tsing-Hua University, Taiwan
Yi-Ping You , National Tsing-Hua University, Taiwan
S. C. Chen , National Tsing-Hua University, Taiwan
Chien-Ching Huang , National Tsing-Hua University, Taiwan
pp. 215-222
Hardward Issues

Finite Horizon QoS Prediction of Reconfigurable Firm Real-Time Sytems (Abstract)

Jorgen Hansson , Carnegie Mellon University, USA
Mehdi Amirijoo , Linkoping University, Sweden
Aleksandra Tesanovic , Linkoping University, Sweden
Torgny Andersson , Linkoping University, Sweden
Sang H. Son , University of Virginia, USA
pp. 233-241

COS: A Configurable OS for Embedded SoC Systems (Abstract)

Hsin-hung Lin , National Chung Cheng University, Taiwan
Chih-Wen Hsueh , National Taiwan University, Taiwan
pp. 242-245

Developing Embedded Kernel for System-On-a-Chip Platform of Heterogeneous Multiprocessor Architecture (Abstract)

Jing Chen , National Cheng Kung University, Taiwan, R.O.C.
Jian-Hong Liu , National Cheng Kung University, Taiwan, R.O.C.
pp. 246-250

Workload-Aware Dual-Speed Dynamic Voltage Scaling (Abstract)

Christian Poellabauer , University of Notre Dame, USA
Russell Zuck , University of Notre Dame, USA
Dinesh Rajan , University of Notre Dame, USA
pp. 251-256
Timing Analysis 2

Jitter Evaluation of Real-Time Control Systems (Abstract)

Alfons Crespo , Technical University of Valencia, Spain
Manuel Lluesma , Technical University of Valencia, Spain
Patricia Balbastre , Technical University of Valencia, Spain
Anton Cervin , Lund University, Sweden
Ismael Ripoll , Technical University of Valencia, Spain
pp. 257-260

An EDF Hierarchical Scheduling Model for Bandwidth Servers (Abstract)

Jos? L. Lorente , Universidad de Cantabria, Spain
J. Carlos Palencia , Universidad de Cantabria, Spain
pp. 261-266

Portable Execution Time Analysis Method (Abstract)

Keiji Yamamoto , The University of Tokyo, Japan
Toshihiro Matsui , National Institute of Advanced Industrial Science and Technology, Japan
Yutaka Ishikawa , The University of Tokyo, Japan
pp. 267-270

Worst Case Response Time Analysis of Sporadic Graph Tasks with EDF Scheduling on a Uniprocessor (Abstract)

Serge Midonnet , IGM - Universit? de Marne la Vall?e, France
Laurent George , LACSC, ECE, France
Hui Xue Zhao , ESIGETEL, France
pp. 271-278
Power Aware Computing

A Quasi-Static Approach to Minimizing Energy Consumption in Real-Time Systems under Reward Constraints (Abstract)

Zebo Peng , Linkoping University, Sweden
Luis Alejandro Cortes , Volvo Truck Corporation, Sweden
Petru Eles , Linkoping University, Sweden
pp. 279-286

Power-Aware Resource Allocation with Fair QoS Guarantee (Abstract)

Fumiko Harada , Osaka University, Japan
Toshimitsu Ushio , Osaka University, Japan
Yukikazu Nakamoto , University of Hyogo, Japan
pp. 287-293

Balancing Energy vs. Performance in Processors with DiscreteVoltage/Frequency Modes (Abstract)

Mauro Marinoni , University of Pavia, Italy
Giorgio Buttazzo , Scuola Superiore S. Anna, Italy
pp. 294-304
Multiprocessor Scheduling

Generalized Rate Analysis for Media-Processing Platforms (Abstract)

Yanhong Liu , National University of Singapore, Singapore
Samararjit Chakraborty , National University of Singapore, Singapore
Radu Marculescu , Carnegie Mellon University, USA
pp. 305-314

Utilization Bounds for RM Scheduling on Uniform Multiprocessors (Abstract)

Lawrence Jenkins , Indian Institute of Science, India
Vivek N Darera , Indian Institute of Science, India
pp. 315-321

Multiprocessor Scheduling with Few Preemptions (Abstract)

Eduardo Tovar , Polytechnic Institute of Porto, Portugal
Bj?rn Andersson , Polytechnic Institute of Porto, Portugal
pp. 322-334
Case Studies and Industrial Papers

Efficient Real-Time Support for Automotive Applications: A Case Study (Abstract)

Sachitanand Malewar , Indian Institute of Technology Bombay, India
Krithi Ramamritham , Indian Institute of Technology Bombay, India
Gurulingesh R. Goud , Indian Institute of Technology Bombay, India
Neera Sharma , Indian Institute of Technology Bombay, India
pp. 335-341

Automatic Generation and Validation of Models of Legacy Software (Abstract)

Hans Hansson , Malardalen University, Sweden
Johan Andersson , Malardalen University, Sweden
Sasikumar Punnekkat , Malardalen University, Sweden
Joel Huselius , Malardalen University, Sweden
pp. 342-349

Applying System Execution Modeling Tools to Evaluate Enterprise Distributed Real-time and Embedded System QoS (Abstract)

James Hill , Vanderbilt University, USA
John M. Slaby , Raytheon, USA
Steve Baker , Raytheon, USA
Douglas C. Schmidt , Vanderbilt University, USA
pp. 350-362
Real-Time Operating Systems

An RTOS API Translator for Model-Driven Embedded Software Development (Abstract)

Ji Chan Maeng , Hanyang University, Korea
Jong-Hyuk Kim , Hanyang University, Korea
Minsoo Ryu , Hanyang University, Korea
pp. 363-367

A Scheduler Support Unit for Reactive Microprocessors (Abstract)

Alif Wahid , University of Auckland, New Zealand
Partha Roop , University of Auckland, New Zealand
Zoran Salcic , University of Auckland, New Zealand
Flavius Gruian , University of Auckland, New Zealand
pp. 368-372

Operating System Support for Procedural Abstraction in Embedded Systems (Abstract)

Keun Soo Yim , Samsung Advanced Institute of Technology, Korea
Jeong-Joon Yoo , Samsung Advanced Institute of Technology, Korea
Jae Don Lee , Samsung Advanced Institute of Technology, Korea
Jihong Kim , Seoul National University, Korea
pp. 378-384
Resource Management 2

Predictable Interrupt Scheduling with Low Overhead for Real-Time Kernels (Abstract)

Luis E. Leyva-del-Foyo , Universidad de Oriente, Cuba
Pedro Mejia-Alvarez , CINVESTAV-IPN, Mexico
Dionisio de Niz , DESI, ITESO, Mexico
pp. 385-394

Dynamic Load Balancing for Multiple Processors (Abstract)

Chin-Fu Kuo , National Taiwan University, Taiwan ROC
Tung-Wei Yang , National Taiwan University, Taiwan ROC
Tei-Wei Kuo , National Taiwan University, Taiwan ROC
pp. 395-401

Maximizing Guaranteed QoS in (m, k)-firm Real-time Systems (Abstract)

Jian (Denny) Lin , University of Houston, USA
Albert M. K. Cheng , University of Houston, USA
pp. 402-410
Wireless Sensor Networks

Trust Management Problem in Distributed Wireless Sensor Networks (Abstract)

Riaz Ahmed Shaikh , Kyung Hee University, Republic of Korea
Saeed Rajput , Florida Atlantic University, USA
Young Jae Song , Kyung Hee University, Republic of Korea
Hassan Jameel , Kyung Hee University, Republic of Korea
Sungyoung Lee , Kyung Hee University, Republic of Korea
pp. 411-414

An Energy-Efficient FEC Scheme for Weakly Hard Real-Time Communications in Wireless Networks (Abstract)

Jong Kim , POSTECH, Korea
Kyong Hoon Kim , The University of Melbourne, Australia
pp. 415-419

Using Real-Time Logic Synthesis Tool to Achieve Process Control over Wireless Sensor Networks (Abstract)

Aloysius K. Mok , University of Texas at Austin, USA
Deji Chen , Emerson Process Management, USA
Jianping Song , University of Texas at Austin, USA
Mark Nixon , Emerson Process Management, USA
pp. 420-426
Author Index

Author Index (PDF)

pp. 427-428
102 ms
(Ver )