11. RTCSA 2005: Hong Kong, China

Introduction

• Foreword.
  
• Conference Organization.
  
• Reviewers.
  

Session 1A: Scheduling I

• Shi-Wu Lo, Kam-yiu Lam, Tei-Wei Kuo:
  Real-Time Task Scheduling for SMT Systems. 5-10
  
• Jian-Jia Chen, Jun Wu, Chi-Sheng Shih, Tei-Wei Kuo:
  Approximation Algorithms for Scheduling Multiple Feasible Interval Jobs. 11-16
  
• Xiao Wu, Victor C. S. Lee, Joseph Kee-Yin Ng:
  A Preemptive Scheduling Algorithm for Wireless Real-Time On-Demand Data Broadcast. 17-22
  
• Hui Xue Zhao, Serge Midonnet, Laurent George:
  Worst Case Response Time Analysis of Sporadic Graph Tasks with Fixed Priority Scheduling on a Uniprocessor. 23-29
  

Session 1B: Operating Systems

• Claire Burguière, Christine Rochange, Pascal Sainrat:
  A Case for Static Branch Prediction in Real-Time Systems. 33-38
  
• Iain Bate, Ralf Reutemann:
  Efficient Integration of Bimodal Branch Prediction and Pipeline Analysis. 39-44
  
• Hiroshi Miyamoto, Shinichi Iiyama, Hiroyuki Tomiyama, Hiroaki Takada, Hiroshi Nakashima:
  An Efficient Search Algorithm of Worst-Case Cache Flush Timings. 45-52
  
• Sheng-Jie Syu, Jing Chen:
  An Active Space Recycling Mechanism for Flash Storage Systems in Real-Time Application Environment. 53-59
  

Session 1C: Embedded Systems I

• Iain Bate:
  Dealing with Emergent Properties in Embedded Systems. 63-66
  
• Traian Pop, Paul Pop, Petru Eles, Zebo Peng:
  Optimization of Hierarchically Scheduled Heterogeneous Embedded Systems. 67-71
  
• Jakob Axelsson:
  A Method for Evaluating Uncertainties in the Early Development Phases of Embedded Real-Time Systems. 72-75
  
• Dang Van Hung, Bui Vu Anh:
  Model Checking Real-Time Component Based Systems with Blackbox Testing. 76-79
  
• Dong Yu, Hu Lin, Ruifeng Guo, Jiangang Yang, Pengfei Xiao:
  The Research on Real-Time Middleware for Open Architecture Controller. 80-83
  
• Min-Sik Jin, Min-Soo Jung:
  A Study on Fast JCVM by Moving Object from EEPROM to RAM. 84-88
  
• Ricardo Moraes, Francisco Vasques:
  Real-Time Traffic Separation in Shared Ethernet Networks: Simulation Analysis of the h-BEB Collision Resolution Algorithm. 89-92
  

Invited Session I

• Krishna Chintalapudi, Jeongyeup Paek, Nupur Kothari, Sumit Rangwala, Ramesh Govindan, Erik Johnson:
  Embedded Sensing of Structures: A Reality Check. 95-101
  
• Anish Arora, Rajiv Ramnath, Emre Ertin, Prasun Sinha, Sandip Bapat, Vinayak Naik, Vinod Kulathumani, Hongwei Zhang, Hui Cao, Mukundan Sridharan, Santosh Kumar, Nick Seddon, Chris Anderson, Ted Herman, Nishank Trivedi, Chen Zhang, Mikhail Nesterenko, Romil Shah, Sandeep S. Kulkarni, Mahesh Aramugam, Limin Wang, Mohamed G. Gouda, Young-ri Choi, David E. Culler, Prabal Dutta, Cory Sharp, Gilman Tolle, Mike Grimmer, Bill Ferriera, Ken Parker:
  ExScal: Elements of an Extreme Scale Wireless Sensor Network. 102-108
  
• Tian He, Liqian Luo, Ting Yan, Lin Gu, Qing Cao, Gang Zhou, Radu Stoleru, Pascal Vicaire, Qiuhua Cao, John A. Stankovic, Sang Hyuk Son, Tarek F. Abdelzaher:
  An Overview of the VigilNet Architecture. 109-114
  

Session 2A: Communications

• Jaesoo Lee, Jiyong Park, Seunghyun Han, Seongsoo Hong:
  Extending Software Communications Architecture for QoS Support in SDR Signal Processing. 117-122
  
• Yun-Chen Li, Mei-Ling Chiang:
  LyraNET: A Zero-Copy TCP/IP Protocol Stack for Embedded Operating Systems. 123-128
  
• Albert Mo Kim Cheng, Feng Shang:
  Priority-Driven Coding of Progressive JPEG Images for Transmission in Real-Time Applications. 129-134
  
• Roozbeh Jafari, Foad Dabiri, Majid Sarrafzadeh:
  An Efficient Placement and Routing Technique for Fault-Tolerant Distributed Embedded Computing. 135-143
  

Session 2B: Embedded Systems II

• Usa Sammapun, Insup Lee, Oleg Sokolsky:
  RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties. 147-153
  
• Yongxin Zhu, Zhenxin Sun, Alexander Maxiaguine, Weng-Fai Wong:
  Using UML 2.0 for System Level Design of Real Time SoC Platforms for Stream Processing. 154-159
  
• Kihwal Lee, Lui Sha:
  A Dependable Online Testing and Upgrade Architecture for Real-Time Embedded Systems. 160-165
  

Session 2C: Scheduling II

• Tao Wang, Da-Xin Liu:
  Scheduling AND/OR Precedence Constraints Jobs to Minimize the Makespan by Mapping from CPM to AND/OR Network. 169-172
  
• Tolga Ayav, Yves Sorel:
  Feedback Control Static Scheduling for Real-Time Distributed Embedded Systems. 173-176
  
• Young-Jin Kim, Jihong Kim:
  Exploration of Memory-Aware Dynamic Voltage Scheduling for Soft Real-Time Applications. 177-180
  
• Stefan M. Petters:
  Deadline Spanning: A Graph Based Approach. 181-184
  
• Yang Chang, Andy J. Wellings:
  Integrating Hybrid Garbage Collection with Dual Priority Scheduling. 185-188
  
• Okehee Goh, Yann-Hang Lee, Ziad Kaakani, Elliott Rachlin:
  A Schedulable Garbage Collection for Embedded Applications in CLI. 189-192
  
• Shinpei Kato, Hidenori Kobayashi, Nobuyuki Yamasaki:
  U-Link Scheduling: Bounding Execution Time of Real-Time Tasks with Multi-Case Execution Time on SMT Processors. 193-197
  

Invited Session II

• Won Hyun Oh, Jung Hee Lee, Hyoung Geun Kwon, Hyoung Jin Yoon:
  Model-Based Development of Automotive Embedded Systems: A Case of Continuously Variable Transmission (CVT). 201-204
  
• Toshihiro Matsui, Hirohisa Hirukawa, Yutaka Ishikawa, Nobuyuki Yamasaki, Satoshi Kagami, Fumio Kanehiro, Hajime Saito, Tetsuya Inamura:
  Distributed Real-Time Processing for Humanoid Robots. 205-210
  

Session 3A: Scheduling III

• Haisang Wu, Umut Balli, Binoy Ravindran, E. Douglas Jensen:
  Utility Accrual Real-Time Scheduling under Variable Cost Functions. 213-219
  
• Lei Wang, Zhaohui Wu, Mingde Zhao, Guoqing Yang:
  Fault Tolerant Scheduling for Fixed-Priority Tasks with Preemption Threshold. 220-225
  
• Gang Tu, Wan-hua Cao, Fumin Yang:
  Scheduling Algorithms for Meet Row Constraint. 226-231
  
• Sanjoy K. Baruah, Nathan Fisher:
  Real-Time Scheduling of Sporadic Task Systems When the Number of Distinct Task Types Is Small. 232-237
  

Session 3B: QoS Support

• Audrey Marchand, Maryline Silly-Chetto:
  RLP: Enhanced QoS Support for Real-Time Applications. 241-246
  
• Krishna Raman, Yue Zhang, Mark Panahi, Juan A. Colmenares, Raymond Klefstad:
  Patterns and Tools for Achieving Predictability and Performance with Real-Time Java. 247-253
  
• Ryan Boder, Chang-Gun Lee:
  Real-Time Guarantee of Aperiodic Packets in Single-Hop Ad Hoc Wireless Networks. 254-259
  
• Pei-Chi Huang, Wan-Chen Lu, Chun-Nan Chou, Wei Kuan Shih:
  The NP-Hardness and the Algorithm for Real-Time Disk-Scheduling in a Multimedia System. 260-265
  

Session 3C: Sensor Networks and Information Systems

• Seungki Hong, Daeyoung Kim, Jaeeon Kim:
  Battery-Aware Real-Time Task Scheduling in Wireless Sensor Networks. 269-272
  
• Sung-Min Lee, Hojung Cha:
  A Locating Mechanism for Multiple Mobile Nodes in Wireless Sensor Networks. 273-276
  
• Zongkai Yang, Linfeng Yuan, Xu Du, Qifei Zhang:
  Multipath Load-Balancing Delivery Based on Decisive Energy Ratio in Wireless Sensor Networks. 277-280
  
• Deji Chen, Aloysius K. Mok, Jianliang Yi, Mark Nixon, Tom Aneweer, Rusty Shepard:
  Data Collection with Battery and Buffer Consideration in a Large Scale Sensor Network. 281-284
  
• Chui Ying Hui, Joseph Kee-Yin Ng, Victor C. S. Lee:
  On-Demand Broadcast Algorithms with Caching on Improving Response Time for Real-Time Information Dispatch Systems. 285-288
  
• Hsin-Wen Wei, Pei-Chi Huang, Hsung-Pin Chang, Wei Kuan Shih:
  Scheduling Real-Time Information in a Broadcast System with Non-Real-Time Information. 289-292
  
• Emna Bouazizi, Claude Duvallet, Bruno Sadeg:
  Multi-Versions Data for Improvement of QoS in RTDBS. 293-296
  

Session 4A: Energy Aware Design

• Hsin-hung Lin, Chih-wen Hsueh:
  Power-Aware Real-Time Scheduling Using Pinwheel Model and Profiling Technique. 299-304
  
• Vincent Shin-Mu Tseng, Eric Hsueh-Chan Lu, Kawuu Weicheng Lin:
  An Energy-Efficient Approach for Real-Time Tracking of Moving Object in Multi-Level Sensor Networks. 305-310
  
• Yehua Du, Ming Cai, Jinxiang Dong:
  Adaptive Energy-Aware Design of a Multi-Bank Flash-Memory Storage System. 311-316
  
• Ching-Wen Chen, Chang-Jung Ku, Chih-Hung Chang:
  Designing a High Performance and Low Energy-Consuming Embedded System with Considering Code Compressed Environments. 317-324
  

Session 4B: Data Services

• Kyoung-Don Kang:
  FeedClean: Feedback-Driven Clean Utilization Management to Improve Real-Time Data Services in Dynamic Environments. 325-330
  
• Song Han, Edward Chan, Reynold Cheng, Kam-yiu Lam:
  A Statistics-Based Sensor Selection Scheme for Continuous Probabilistic Queries in Sensor Networks. 331-336
  
• Christy P. M. Lau, Victor C. S. Lee:
  Real Time Concurrency Control for Data Intensive Applications. 337-342
  
• Dag Nyström, Mikael Nolin, Christer Norström:
  Snapshots in Real-Time Databases Using Database Pointer Transactions. 343-349
  

Session 4C: Case Studies and Industrial Experience

• Yu Hu, Qing Li, C. C. Jay Kuo:
  Run-Time Power Consumption Modeling for Embedded Multimedia Systems. 353-356
  
• Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Yongxin Zhu:
  Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits. 357-360
  
• Basem Almadani:
  RTPS Middleware for Real-Time Distributed Industrial Vision Systems. 361-364
  
• Simon Kågström, Håkan Grahn, Lars Lundberg:
  Experiences from Implementing Multiprocessor Support for an Industrial Operating System Kernel. 365-368
  
• Wei Li, Lei Wang:
  Real-Time Solution in Petroleum Industry's Cyber Data Acquisition Simulation System. 369-372
  
• Lichen Zhang, Ruicheng Liu:
  Aspect-Oriented Real-Time System Modeling Method Based on UML. 373-376
  

Session 5A: Sensor Networks

• Hung Le Xuan, Dae Hong Seo, Sungyoung Lee, Young-Koo Lee:
  Minimum-Energy Data Dissemination in Coordination-Based Sensor Networks. 381-386
  
• Noseong Park, Daeyoung Kim, Yoonmee Doh, Sangsoo Lee, Ji-tae Kim:
  An Optimal and Lightweight Routing for Minimum Energy Consumption in Wireless Sensor Networks. 387-393
  
• Hailing Ju, Li Cui:
  EasiPC: A Packet Compression Mechanism for Embedded WSN. 394-399
  
• Seongeun Yoo, Daeyoung Kim, Minh-Long Pham, Yoonmee Doh, Eunchang Choi, Jae-Doo Huh:
  Scheduling Support for Guaranteed Time Services in IEEE 802.15.4 Low Rate WPAN. 400-406
  

Session 5B: Distributed/Multiprocessor Systems

• Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand:
  Scheduling Distributed Real-Time Systems by Satisfiability Checking. 409-415
  
• Nathan Fisher, James H. Anderson, Sanjoy K. Baruah:
  Task Partitioning upon Memory-Constrained Multiprocessors. 416-421
  
• Luis Alejandro Cortés, Petru Eles, Zebo Peng:
  Quasi-Static Scheduling for Multiprocessor Real-Time Systems with Hard and Soft Tasks. 422-428
  
• Aaron Block, James H. Anderson, Gary Bishop:
  Fine-Grained Task Reweighting on Multiprocessors. 429-435
  

Session 5C: Mobile and Ubiquitous Computing

• Uzair Ahmad, Uzma Nasir, Mahrin Iqbal, Young-Koo Lee, Sungyoung Lee, Inook Hwang:
  On Building a Reflective Middleware Service for Location-Awareness. 439-442
  
• Guohui Li, Bing Yang, Jixiong Chen:
  Efficient Optimistic Concurrency Control for Mobile Real-Time Transactions in a Wireless Data Broadcast Environment. 443-446
  
• Jie Sun, Zhaohui Wu:
  A Comprehensive Context Model for Next Generation Ubiquitous Computing Applications. 447-450
  
• Saad Liaquat Kiani, Maria Riaz, Yonil Zhung, Sungyoung Lee, Young-Koo Lee:
  A Distributed Middleware Solution for Context Awareness in Ubiquitous Systems. 451-454
  
• Maria Riaz, Saad Liaquat Kiani, Sungyoung Lee, Sangman Han, Young-Koo Lee:
  Service Delivery in Context Aware Environments: Lookup and Access Control Issues. 455-458
  
• Hung Quoc Ngo, Anjum Shehzad, Kim Anh Pham Ngoc, Sungyoung Lee, Manwoo Jeon:
  Research Issues in the Development of Context-Aware Middleware Architectures. 459-462
  
• Junyang Zhou, Kenneth Man-Kin Chu, Joseph Kee-Yin Ng:
  An Improved Ellipse Propagation Model for Location Estimation in Facilitating Ubiquitous Computing. 463-466
  

Invited Session III

• Lionel M. Ni, Li Cui, Qiong Luo, Hoilun Ngan, Ze Zhao:
  Status of the CAS/HKUST Joint Project BLOSSOMS. 469-474
  
• Chih-wen Hsueh, Tien-Fu Chen, Rong-Guey Chang, Shi-Wu Lo:
  Development of Architecture and Software Technologies in High-Performance Low-Power SoC Design. 475-480
  
• Chi-Sheng Shih, Chia-Lin Yang, Mong-Kai Ku, Tei-Wei Kuo, Shao-Yi Chien, Yao-Wen Chang, Liang-Gee Chen:
  Reconfigurable Platform for Content Science Research. 481-486
  

Session 6A: Ubiquitous Computing

• Tetsuo Yamabe, Ayako Takagi, Tatsuo Nakajima:
  Citron: A Context Information Acquisition Framework for Personal Devices. 489-495
  
• Jiannong Cao, Na Xing, Alvin T. S. Chan, Yulin Feng, Beihong Jin:
  Service Adaptation Using Fuzzy Theory in Context-Aware Mobile Computing Middleware. 496-501
  
• Hiroyuki Yokoyama, Kenji Toda:
  FPGA-Based Content Protection System for Embedded Consumer Electronics. 502-507
  
• Masayuki Iwai, Hideyuki Tokuda:
  Evaluation of a Robust Middleware for Numerous Distributed Task-Handling. 508-513
  

Session 6B: Hardware/Software Co-Design

• Matthias Meyer:
  An On-Chip Garbage Collection Coprocessor for Embedded Real-Time Systems. 517-524
  
• Konstantinos Bletsas, Neil C. Audsley:
  Extended Analysis with Reduced Pessimism for Systems with Limited Parallelism. 525-531
  
• Yongwoo Cho, Kyungtae Kang, Joonho Lee, Heonshik Shin:
  Proactive Reed-Solomon Bypasss (PRSB): A Technique for Real-Time Multimedia Processing in 3G Cellular Broadcast Networks. 532-538
  
• Pao-Ann Hsiung, Shang-Wei Lin:
  Model Checking Timed Systems with Priorities. 539-544
  

Session 6C: Embedded Systems III

• GuangWei Zou, Xiang Liu:
  An Efficient Approach to Custom Instruction Set Generation. 547-550
  
• Min-Sik Jin, Min-Soo Jung:
  A Study on How to Reduce Time and Space by Redefining New Bytecode for Java Card. 551-554
  
• Won Eui Hong, Jae Shin Lee, Laxmisha Rai, Soon Ju Kang:
  RT-Linux Based Hard Real-Time Software Architecture for Unmanned Autonomous Helicopters. 555-558
  
• Laxmisha Rai, Soon Ju Kang:
  Multi-Thread Based Synchronization of Locomotion Control in Snake Robots. 559-562
  
• Shourong Lu, Wolfgang A. Halang, Lichen Zhang:
  A Component-Based UML Profile to Model Embedded Real-Time Systems Designed by the MDA Approach. 563-566
  
• Julien DeAntoni, Jean-Philippe Babau:
  A MDA Approach for Systems Dedicated to Process Control. 567-570