13. RTCSA 2007: Daegu, Korea
13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 21-24 August 2007, Daegu, Korea. IEEE Computer Society 2007
Invited Paper Session
Sangyeun Cho, Lei Jin, Kiyeon Lee: Achieving Predictable Performance with On-Chip Shared L2 Caches for Manycore-Based Real-Time Systems. 3-11
Meng Wang, Zili Shao, Chun Xue, Edwin Hsing-Mean Sha: Real-Time Loop Scheduling with Leakage Energy Minimization for Embedded VLIW DSP Processors. 12-19
Dong-In Kang, Stephen P. Crago, Jinwoo Suh, Janice O. McMahon: A Voltage and Resource Synthesis Technique for Energy-Aware Real-time Systems. 20-27
Jian-Jia Chen, Chin-Fu Kuo: Energy-Efficient Scheduling for Real-Time Systems on Dynamic Voltage Scaling (DVS) Platforms. 28-38
Session 1: Resource Sharing
Johan Fredriksson, Thomas Nolte, Mikael Nolin, Heinz Schmidt: Contract-Based ReusableWorst-Case Execution Time Estimate. 39-46
Aaron Block, Hennadiy Leontyev, Björn B. Brandenburg, James H. Anderson: A Flexible Real-Time Locking Protocol for Multiprocessors. 47-56
Paul S. Usher, Neil C. Audsley: Efficiently Accessing Remote Resources in Distributed Real-Time Systems. 57-62
Session 2: Memory Management for Embedded Applications
Guillaume Salagnac, Christophe Rippert, Sergio Yovine: Semi-Automatic Region-Based Memory Management for Real-Time Java Embedded Systems. 73-80
Ameet Patil, Neil C. Audsley: An Efficient Page Lock/Release OS Mechanism for Out-of-Core Embedded Applications. 81-88
Kyung Ho Chung, Myung Sil Choi, Kwang Seon Ahn: A Study on the Packaging for Fast Boot-up Time in the Embedded Linux. 89-94
Jian-Hong Lin, Yuan-Hao Chang, Jen-Wei Hsieh, Tei-Wei Kuo, Cheng-Chih Yang: A NOR Emulation Strategy over NAND Flash Memory. 95-102
Session 3: Multiprocessor Scheduling
Hennadiy Leontyev, James H. Anderson: Tardiness Bounds for EDF Scheduling on Multi-Speed Multicore Platforms. 103-110
Björn Andersson, Eduardo Tovar: Competitive Analysis of Static-Priority Partitioned Scheduling on Uniform Multiprocessors. 111-119
Hsin-Wen Wei, Yi-Hsiung Chao, Shun-Shii Lin, Kwei-Jay Lin, Wei-Kuan Shih: Current Results on EDZL Scheduling for Multiprocessor Real-Time Systems. 120-130
Session 4: Ubiquitous Wireless Networks
Wilson M. Yeung, Joseph K. Ng: Wireless LAN Positioning based on Received Signal Strength from Mobile device and Access Points. 131-137
Jaekwan Park, Bonghee Hong, ChaeHoon Ban: A Continuous Query Index for Processing Queries on RFID Data Stream. 138-145
Session 5: Analysis and Design (I)
Marco Panunzio, Tullio Vardanega: An Approach to the Timing Analysis of Hierarchical Systems. 157-164
Dang Van Hung, Miaomiao Zhang: On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties. 165-172
Session 6: Advanced Embedded System Design Frameworks
Youngchul Cho, Nacer-Eddine Zergainoh, Ahmed Amine Jerraya, Kiyoung Choi: Buffer Size Reduction through Control-Flow Decomposition. 183-190
Tasuku Ishigooka, Takanori Yokoyama: A Time-Triggered Distributed Object Computing Environment for Embedded Control Systems. 191-198
Xu Ke, Krzysztof Sierszecki, Christo Angelov: COMDES-II: A Component-Based Framework for Generative Development of Distributed Real-Time Control Systems. 199-208
Session 7: Analysis and Design (II)
Trevor Harmon, Raymond Klefstad: Interactive Back-annotation of Worst-case Execution Time Analysis for Java Microprocessors. 209-216
Elisangela Rodrigues Vieira, Ana R. Cavalli: Towards an Automated Test Generation with Delayed Transitions for Timed Systems. 226-231
Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati: Multiform Time in UML for Real-time Embedded Applications. 232-240
Session 8: Middleware for Ubiquitous Computing
David J. Lillethun, David Hilley, Seth Horrigan, Umakishore Ramachandran: MB++: An Integrated Architecture for Pervasive Computing and High-Performance Computing. 241-248
Tatsuo Nakajima, Vili Lehdonvirta, Eiji Tokunaga, Masaaki Ayabe, Hiroaki Kimura, Yohei Okuda: Lifestyle Ubiquitous Gaming: Making Daily Lives More Plesurable. 257-266
Session 9: Networking and Distributed Systems
Guy Juanole, Gerard Mouney: Networked Control Systems: Definition and Analysis of a Hybrid Priority Scheme for the Message Scheduling. 267-274
Wei Luo, Fumin Yang, Gang Tu, Liping Pang, Xiao Qin: TERCOS: A Novel Technique for Exploiting Redundancies in Fault-Tolerant and Real-Time Distributed Systems. 275-282
Shrirang Gadgil, Balakrishnan Dasarathy, Frederick Porter, Kirthika Parmeswaran, Ravichander Vaidyanathan: Fast Recovery and QoS Assurance in the Presence of Network Faults for Mission-Critical Applications in Hostile Environments. 283-292
Session 10: Power-Aware Design Methodologies
Chuan-Yue Yang, Jian-Jia Chen, Tei-Wei Kuo: Preemption Control for Energy-Efficient Task Scheduling in Systems with a DVS Processor and Non-DVS Devices. 293-300
Yanhong Liu, Bharadwaj Veeravalli, Sivakumar Viswanathan: Critical-Path based Low-Energy Scheduling Algorithms for Body Area Network Systems. 301-308
Young-Geun Lee, Joo-Yul Park, Ki-Seok Chung: Design of Low Power MAC Operator with Dual Precision Mode. 309-318
Session 11: Databases
Kyoung-Don Kang, Phillip H. Sin, Jisu Oh: A Real-Time Database Testbed and Performance Evaluation. 319-326
Gunnar Mathiason, Sten F. Andler, Sang Hyuk Son: Virtual Full Replication by Adaptive Segmentation. 327-336
Thomas Gustafsson, Jörgen Hansson: Performance Evaluations and Estimations ofWorkload of On-Demand Updates in Soft Real-Time Systems. 337-346
Session 12: Wireless Sensor Networks
Jun Wu, Han-Chi Lin, Yung-Feng Lu: Lightweight Distributed Topology Control Algorithms for Heterogeneous Wireless Sensor Networks. 347-354
Laxmisha Rai, Soon Ju Kang: Remote Controlled Group Behavior for Widely Spreaded and Cooperative Mobile Robots in Wireless Sensor Network Environment. 363-368
Zhi Li, Guanglie Zhang: A Physical Activities Healthcare System Based onWireless Sensing Technology. 369-376
Session 13: Uniprocessor Scheduling
Nathan Fisher, Thi Huyen Chau Nguyen, Joël Goossens, Pascal Richard: Parametric Polynomial-Time Algorithms for Computing Response-Time Bounds for Static-Priority Tasks with Release Jitters. 377-385
Shan Ding, Hiroyuki Tomiyama, Hiroaki Takada: Scheduling Algorithms for I/O Blockings with a Multi-frame Task Model. 386-393
Gang Tu, Junlin Li, Fumin Yang, Wei Luo: Relationships between Window-based Real-time Constraints. 394-399
Jimin Feng, Samarjit Chakraborty, Bertil Schmidt, Weiguo Liu, Unmesh D. Bordoloi: Fast Schedulability Analysis Using Commodity Graphics Hardware. 400-408
Session 14: Compiler Techniques for Embedded Systems
Sai Pinnepalli, Jinpyo Hong, J. Ramanujam, Doris L. Carver: Code Size Optimization for Embedded Processors using Commutative Transformations. 409-416
Je-Hyung Lee, Jinpyo Park, Soo-Mook Moon: Securing More Registers with Reduced Instruction Encoding Architectures. 417-425
Benjamin Carrión Schäfer, Yongho Lee, Taewhan Kim: Temperature-Aware Compilation for VLIWProcessors. 426-431
Michael Ward, Neil C. Audsley: A Deterministic Implementation Process for Accurate and Traceable System Timing and Space Analysis. 432-440
Session 15: Scheduling and Analysis
Shinpei Kato, Nobuyuki Yamasaki: Real-Time Scheduling with Task Splitting on Multiprocessors. 441-450
Ya-Shu Chen, Chuan-Yue Yang, Tei-Wei Kuo: FL-PCP: Frequency Locking for Energy-Efficient Real-Time Task Synchronization. 451-458
Jaewoo Lee, Kern Koh, Chang-Gun Lee: Multi-Speed DVS Algorithms for Periodic Tasks with Non-Preemptible Sections. 459-468
Session 16: Context Awareness and Privacy
Donghai Guan, Weiwei Yuan, Young-Koo Lee, Andrey Gavrilov, Sungyoung Lee: Activity Recognition Based on Semi-supervised Learning. 469-475
Hyun Jun Yeo, Yong Hwan Kim, Hwa Young Lim, Yong Soo Park, Kwang Seon Ahn: ID Prediction Algorithm for Tag Collision Arbitration in RFID System. 476-481
Nguyen Ngoc Diep, Sungyoung Lee, Young-Koo Lee, Heejo Lee: A Privacy Preserving Access Control Scheme using Anonymous Identification for Ubiquitous Environments. 482-487
Le Xuan Hung, Sungyoung Lee, Young-Koo Lee, Heejo Lee: Activity-based Access Control Model to Hospital Information. 488-496
Session 17: Miscellaneous
Nadia Bel Hadj Aissa, Gilles Grimaud, Vincent Bénony: Bringing Worst Case Execution Time Awareness to an Open Smart Card OS. 497-503
Marion Blount, John S. Davis II, Maria Ebling, Ji Hyun Kim, Kyu Hyun Kim, KangYoon Lee, Archan Misra, SeHun Park, Daby M. Sow, Young Ju Tak, Min Wang, Karen Witting: Century: Automated Aspects of Patient Care. 504-509
Moris Behnam, Damir Isovic: Real-Time Control and Scheduling Co-Design for Efficient Jitter Handling. 516-524
Session 18: System-on-Chip and Distributed Embedded Systems
Rabie Ben Atitallah, Smaïl Niar, Samy Meftali, Jean-Luc Dekeyser: An MPSoC Performance Estimation Framework Using Transaction Level Modeling. 525-533
Ju-Hyun Kim, Gyoung-Hwan Hyun, Hyuk-Jae Lee: Cache Organizations for H.264/AVC Motion Compensation. 534-541
Li Chia, Chi-Sheng Shih: Template-based Runtime Reconfiguration Scheduling for Partial Reconfigurable SoC. 542-549
Jiyong Park, Seongsoo Hong: Preventing network performance interference with ACK-separation queuing mechanism in a home network gateway using an asymmetric link. 550-555



