Real-time and embedded computing systems and applications : 9th international conference, RTCSA 2003, Tainan City, Taiwan, ROC, February 18-20, 2003 : revised papers

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. 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. Scheduling -- Scheduling-aware Real-time Garbage Collection Using Dual Aperiodic Servers -- On The Composition Of Real-time Schedulers -- An Approximation Algorithm For Broadcast Scheduling In Heterogeneous Clusters -- Scheduling Jobs With Multiple Feasible Intervals -- Deterministic And Statistical Deadline Guarantees For A Mixed Set Of Periodic And Aperiodic Tasks -- Real-time Disk Scheduling With On-disk Cache Conscious -- Probabilistic Analysis Of Multi-processor Scheduling Of Tasks With Uncertain Parameters -- Real-time Virtual Machines For Avionics Software Porting And Development -- Algorithms For Managing Qos For Real-time Data Services Using Imprecise Computation -- Networking And Communication -- On Soft Real-time Guarantees On Ethernet -- Bondingplus: Real-time Message Channel In Linux Ethernet Environment Using Regular Switching Hub -- An Efficient Switch Design For Scheduling Real-time Multicast Traffic -- Embedded Systems/environments --^ Xrtj: An Extensible Distributed High-integrity Real-time Java Environment -- Quasi-dynamic Scheduling For The Synthesis Of Real-time Embedded Software With Local And Global Deadlines -- Framework-based Development Of Embedded Real-time Systems -- Ovl Assertion-checking Of Embedded Software With Dense-time Semantics -- Pervasive/ubiquitous Computing -- System Support For Distributed Augmented Reality In Ubiquitous Computing Environments -- Zero-stop Authentication: Sensor-based Real-time Authentication System -- An Interface-based Naming System For Ubiquitous Internet Applications -- Systems And Architectures -- Schedulability Analysis In Edf Scheduler With Cache Memories -- Impact Of Operating System On Real-time Main-memory Database System’s Performance -- The Design Of A Qos-aware Mpeg-4 Video System -- Resource Management -- Constrained Energy Allocation For Mixed Hard And Soft Real-time Tasks -- An Energy-efficient Route Maintenance Scheme For Ad Hoc Networking Systems --^ Resource Reservation And Enforcement For Framebuffer-based Devices -- File Systems And Databases -- An Efficient B-tree Layer For Flash-memory Storage Systems -- Multi-disk Scheduling For High-performance Raid-0 Devices -- Database Pointers: A Predictable Way Of Manipulating Hot Data In Hard Real-time Systems -- Performance Analysis -- Extracting Temporal Properties From Real-time Systems By Automatic Tracing Analysis -- Rigorous Modeling Of Disk Performance For Real-time Applications -- Bounding The Execution Times Of Dma I/o Tasks On Hard-real-time Embedded Systems -- Tools And Development -- Introducing Temporal Analyzability Late In The Lifecycle Of Complex Real-time Systems -- Ress: Real-time Embedded Software Synthesis And Prototyping Methodology -- Software Platform For Embedded Software Development -- Towards Aspectual Component-based Development Of Real-time Systems -- Testing Of Multi-tasking Real-time Systems With Critical Sections --^ Symbolic Simulation Of Real-time Concurrent Systems. Jing Chen, Seongsoo Hong (eds.). Includes Bibliographical References And Index. Available Also Through Springerlink Via The World Wide Wed. Adobe Acrobat Reader Required. 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 - This book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Real-Time and Embedded Systems and Applications, RTCSA 2003, held in Tainan, Taiwan, in February 2003. The 28 revised full papers and 9 revised short papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on scheduling, networking and communication, embedded systems and environments, pervasive and ubiquitous computing, systems and architectures, resource management, file systems and databases, performance analysis, and tools and development