2008 14th IEEE International Conference on Embedded and Real-Time..: ERCSA2008.part1.rar

Proceedings
RTCSA 2008
Table of Contents
Preface..................................................................................................................................................................x
Conference Organization .....................................................................................................................xi
Sponsors...........................................................................................................................................................xiv
Real-Time Scheduling (1)
Real-Time Scheduling Using Credit-Controlled Static-Priority Arbitration .................................................................3
Benny Akesson, Liesbeth Steffens, Eelke Strooisma, and Kees Goossens
Scheduling Divisible Real-Time Loads on Clusters with Varying Processor
Start Times..................................................................................................................................................................15
Suriayati Chuprat and Sanjoy Baruah
Schedulability Analysis for Non-preemptive Tasks under Strict Periodicity
Constraints..................................................................................................................................................................25
Omar Kermia and Yves Sorel
Run-Time Environment for Embedded Systems
Power-Aware Data Buffer Cache Management in Real-Time Embedded Databases .................................................35
Woochul Kang, Sang H. Son, and John A. Stankovic
A Distributed Computing Environment for Embedded Control Systems
with Time-Triggered and Event-Triggered Processing ...............................................................................................45
Yuichi Itami, Tasuku Ishigooka, and Takanori Yokoyama
A Lightweight Kernel Objects Monitoring Infrastructure for Embedded Systems .....................................................55
Lei Sun and Tatsuo Nakajima
Control Applications...................................................................................................................................................61
Krzysztof Sierszecki, Christo Angelov, and Xu Ke
Pervasive Computings
Efficient Query Processing for Tracing RFID Tags by Reordering
Location Identifiers.....................................................................................................................................................71
Sungwoo Ahn and Bonghee Hong
An Efficient Anti-collision Protocol Using Bit Change Sensing Unit
in RFID System ..........................................................................................................................................................81
Young Tae Kim, Seong Joon Lee, and Kwang Seon Ahn
Spinning Sensors: A Middleware for Robotic Sensor Nodes with Spatiotemporal
Models ........................................................................................................................................................................89
Soko Aoki, Jin Nakazawa, and Hideyuki Tokuda
Embedded System Architecture and Design Optimization
Impact of Cache Partitioning on Multi-Tasking Real Time Embedded Systems ......................................................101
Bach D. Bui, Marco Caccamo, Lui Sha, and Joseph Martinez
Scheduler-Assisted Prefetching: Efficient Demand Paging for Embedded Systems.................................................111
Stanislav A. Belogolov, Jiyong Park, Jungkeun Park, and Seongsoo Hong
Concepts of Switching in the Time-Triggered Network-on-Chip .............................................................................120
Christian Paukovits and Hermann Kopetz
Embedded System Architecture and Practice
Control-Based Real-Time Metadata Matching for Information Dissemination ........................................................133
Ming Chen, Xiaorui Wang, Raghul Gunasekaran, Hairong Qi,
and Mallikarjun Shankar
New Tracing and Performance Analysis Techniques for Embedded Applications ...................................................143
Shih-Hao Hung, Shu-Jheng Huang, and Chia-Heng Tu
Verification of COMDES-II Systems Using UPPAAL with Model Transformation................................................153
Xu Ke, Paul Pettersson, Krzysztof Sierszecki, and Christo Angelov
Static Loop Bound Analysis of C Programs Based on Flow Analysis and
Abstract Interpretation..............................................................................................................................................161
Marianne de Michiel, Armelle Bonenfant, Hugues Cassé, and Pascal Sainrat
Real-Time Operating Systems
Swapping Strategy to Improve I/O Performance of Mobile Embedded Systems
Using Compressed File Systems ...............................................................................................................................169
Ohhoon Kwon, Yunjung Yoo, and Kern Koh
Vectored Read: Exploiting the Read Performance of Hybrid NAND Flash..............................................................177
Seunghwan Hyun, Sehwan Lee, Sungyong Ahn, Hyokyung Bahn, and Kern Koh
An Implementation of the PCP, SRP, D-PCP, M-PCP, and FMLP Real-Time
Synchronization Protocols in LITMUSRT..................................................................................................................185
Björn B. Brandenburg and James H. Anderson
Real-Time Scheduling (2)
Global EDF-Based Scheduling with Efficient Priority Promotion ............................................................................197
Shinpei Kato and Nobuyuki Yamasaki
Scheduling Real-Time Multi-item Requests in On-Demand Broadcast ....................................................................207
Jun Chen, Victor C. S. Lee, and Joseph Kee-Yin Ng
Integrating Communication Cost into the Utility Accrual Model
for the Resource Allocation in Distributed Real-Time Systems................................................................................217
Xinfa Hu and Joseph Y.-T. Leung
Power/Energy-Aware Design (1)
Memory-Aware Dynamic Voltage and Frequency Prediction for Portable Devices.................................................229
Wen-Yew Liang, Shih-Chang Chen, Yang-Lang Chang, and Jyh-Perng Fang
Energy Efficient Operating Mode Assignment for Real-Time Tasks in Wireless
Embedded Systems...................................................................................................................................................237
Chun Jason Xue, Zhaohui Yuan, Guoliang Xing, Zili Shao, and Edwin Sha
Reward Maximization for Embedded Systems with Renewable Energies................................................................247
Clemens Moser, Jian-Jia Chen, and Lothar Thiele
Power/Energy-Aware Design (2)
Energy Management for Periodic Real-Time Tasks with Variable
Assurance Requirements ..........................................................................................................................................259
Dakai Zhu, Xuan Qi, and Hakan Aydin
Discrete Frequency Selection of Frame-Based Stochastic Real-Time Tasks ............................................................269
Vandy Berten, Chi-Ju Chang, and Tei-Wei Kuo
Real-Time Task Assignment in Rechargeable Multiprocessor Systems ...................................................................279
Jian Lin and Albert M. K. Cheng
Utilising Application Flexibility in Energy Aware Computing.................................................................................285
Iain Bate
System Integration
Topology Aware Task Allocation and Scheduling for Real-Time Data Fusion
Applications in Networked Embedded Sensor Systems ............................................................................................293
Baokang Zhao, Meng Wang, Zili Shao, Jiannong Cao, Keith C. C. Chan,
and Jinshu Su
A Framework for Designing Embedded Real-Time Controllers ...............................................................................303
Yifan Wu, Enrico Bini, and Giorgio Buttazzo
Providing Memory QoS Guarantees for Real-Time Applications.............................................................................312
A. Marchand, P. Balbastre, I. Ripoll, and A. Crespo
CREAM: A Generic Build-Time Component Framework for Distributed
Embedded Systems...................................................................................................................................................318
Chetan Raj, Jiyong Park, Jungkeun Park, and Seongsoo Hong
Real-Time Scheduling (3)
Testing Interval Trees for Real-Time Scheduling Systems .......................................................................................327
Xinfa Hu and Joseph Y.-T. Leung
Maximizing the Fault Tolerance Capability of Fixed Priority Schedules..................................................................337
Radu Dobrin, Hüseyin Aysan, and Sasikumar Punnekkat
Run Time Detection of Blocking Time Violations in Real-Time Systems................................................................347
Osmar M. dos Santos and Andy Wellings
New Abstraction for Optimal Real-Time Scheduling on Multiprocessors ................................................................357
Kenji Funaoka, Shinpei Kato, and Nobuyuki Yamasaki
Timing Analysis
Parametric Timing Analysis for Complex Architectures...........................................................................................367
Sebastian Altmeyer, Christian Hümbert, Björn Lisper, and Reinhard Wilhelm
Forming Virtual Traces for WCET Analysis and Reduction.....................................................................................377
Jack Whitham and Neil Audsley
Modeling Fixed Priority Non-preemptive Scheduling with Real-Time Calculus......................................................387
Devesh B. Chokshi and Purandar Bhaduri
Avoiding the WCET Overestimation on LRU Instruction Cache .............................................................................393
L. C. Aparicio, J. Segarra, C. Rodríguez, J. L. Villarroel, and V. Viñals
Wireless Sensor Networks
Real-Time Communications over Cluster-Tree Sensor Networks with Mobile
Sink Behaviour .........................................................................................................................................................401
Petr Jurčík, Ricardo Severino, Anis Koubâa, Mário Alves, and Eduardo Tovar
OD-MAC: An On-Demand MAC Protocol for Body Sensor Networks
Based on IEEE 802.15.4...........................................................................................................................................413
Dongheui Yun, Seong-eun Yoo, Daeyoung Kim, and Dohyeun Kim
A Secure Routing Protocol for Wireless Embedded Networks .................................................................................421
Cheng-Fu Liao, Yung-Feng Lu, Ai-Chun Pang, and Tei-Wei Kuo
EcoDAQ: A Case Study of a Densely Distributed Real-Time System
for High Data Rate Wireless Data Acquisition..........................................................................................................427
Chong-Jing Chen and Pai H. Chou
Author Index ................................................................................................................................................433

RTCSA2008.part1-5

[ 本帖最后由 drjiachen 于 2008-12-26 15:29 编辑 ]

[g:01] [g:01] [g:01] [g:01]

感谢楼主分享
:11bb :11bb :11bb :11bb

thank you for the job

:11bb :11bb :11bb