Real-Time and Embedded Computing Systems and Applications: 9th International Conference, RTCSA 2003, Tainan City, Taiwan, February 18-20, 2003. Revised Papers

Taehyoun Kim, Heonshik Shin (auth.), Jing Chen, Seongsoo Hong (eds.)3540219749, 9783540219743, 9783540246862

This volume contains the 37 papers presented at the 9th International Con- rence on Real-Time and Embedded Computing Systems and Applications (RT- CSA 2003). RTCSA is an international conference organized for scientists and researchers from both academia and industry to hold intensive discussions on advancing technologies topics on real-time systems, embedded systems, ubiq- tous/pervasive computing, and related topics. RTCSA 2003 was held at the Department of Electrical Engineering of National Cheng Kung University in Taiwan. Paper submissions were well distributed over the various aspects of real-time computing and embedded system technologies. There were more than 100 participants from all over the world. The papers, including 28 regular papers and 9 short papers are grouped into thecategoriesofscheduling,networkingandcommunication,embeddedsystems, pervasive/ubiquitous computing, systems and architectures, resource mana- ment, ?le systems and databases, performance analysis, and tools and de- lopment. The grouping is basically in accordance with the conference program. Earlier versions of these papers were published in the conference proceedings. However, some papers in this volume have been modi?ed or improved by the authors, in various aspects, based on comments and feedback received at the conference. It is our sincere hope that researchers and developers will bene?t from these papers. We would like to thank all the authors of the papers for their contribution. We thank the members of the program committee and the reviewers for their excellent work in evaluating the submissions. We are also very grateful to all the members of the organizing committees for their help, guidance and support.

---

Table of contents :
Front Matter….Pages –
Scheduling-Aware Real-Time Garbage Collection Using Dual Aperiodic Servers….Pages 1-17
On the Composition of Real-Time Schedulers….Pages 18-37
An Approximation Algorithm for Broadcast Scheduling in Heterogeneous Clusters….Pages 38-52
Scheduling Jobs with Multiple Feasible Intervals….Pages 53-71
Deterministic and Statistical Deadline Guarantees for a Mixed Set of Periodic and Aperiodic Tasks….Pages 72-87
Real-Time Disk Scheduling with On-Disk Cache Conscious….Pages 88-102
Probabilistic Analysis of Multi-processor Scheduling of Tasks with Uncertain Parameters….Pages 103-122
Real-Time Virtual Machines for Avionics Software Porting and Development….Pages 123-135
Algorithms for Managing QoS for Real-Time Data Services Using Imprecise Computation….Pages 136-157
On Soft Real-Time Guarantees on Ethernet….Pages 158-175
BondingPlus: Real-Time Message Channel in Linux Ethernet Environment Using Regular Switching Hub….Pages 176-193
An Efficient Switch Design for Scheduling Real-Time Multicast Traffic….Pages 194-207
XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment….Pages 208-228
Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software with Local and Global Deadlines….Pages 229-243
Framework-Based Development of Embedded Real-Time Systems….Pages 244-253
OVL Assertion-Checking of Embedded Software with Dense-Time Semantics….Pages 254-278
System Support for Distributed Augmented Reality in Ubiquitous Computing Environments….Pages 279-295
Zero-Stop Authentication: Sensor-Based Real-Time Authentication System….Pages 296-311
An Interface-Based Naming System for Ubiquitous Internet Applications….Pages 312-327
Schedulability Analysis in EDF Scheduler with Cache Memories….Pages 328-341
Impact of Operating System on Real-Time Main-Memory Database System’s Performance….Pages 342-350
The Design of a QoS-Aware MPEG-4 Video System….Pages 351-370
Constrained Energy Allocation for Mixed Hard and Soft Real-Time Tasks….Pages 371-388
An Energy-Efficient Route Maintenance Scheme for Ad Hoc Networking Systems….Pages 389-397
Resource Reservation and Enforcement for Framebuffer-Based Devices….Pages 398-408
An Efficient B-Tree Layer for Flash-Memory Storage Systems….Pages 409-430
Multi-disk Scheduling for High-Performance RAID-0 Devices….Pages 431-453
Database Pointers: A Predictable Way of Manipulating Hot Data in Hard Real-Time Systems….Pages 454-465
Extracting Temporal Properties from Real-Time Systems by Automatic Tracing Analysis….Pages 466-485
Rigorous Modeling of Disk Performance for Real-Time Applications….Pages 486-498
Bounding the Execution Times of DMA I/O Tasks on Hard-Real-Time Embedded Systems….Pages 499-512
Introducing Temporal Analyzability Late in the Lifecycle of Complex Real-Time Systems….Pages 513-528
RESS: Real-Time Embedded Software Synthesis and Prototyping Methodology….Pages 529-544
Software Platform for Embedded Software Development….Pages 545-557
Towards Aspectual Component-Based Development of Real-Time Systems….Pages 558-577
Testing of Multi-Tasking Real-Time Systems with Critical Sections….Pages 578-594
Symbolic Simulation of Real-Time Concurrent Systems….Pages 595-617
Back Matter….Pages –