Table of Contents
L. Yao, F. Gao, X. Cui, G. Yu, C. Shang, Two-Level Priority Real-Time Scheduling Strategy for Node
System in Wireless Sensor Network. 1
Y. Yu, S. Ren, Similarities between Timing Constraint Sets: Towards Interchangeable Constraint Models
for Real-World Software Systems. 5
F. Muhammad, B. M. Khurram, F. Muller, C. Belleudy, M. Auguin, Precognitive DVFS: Minimizing
Switching Points to Further Reduce the Energy Consumption. 9
R. J. Bril, P. J.L. Cuijpers, Towards Exploiting the Preservation Strategy of Deferrable Servers. 13
D. Zhu, A. Ș. Tosun, Adaptive Path Scheduling for Mobile Element to Prolong the Lifetime of
Wireless Sensor Networks. 17
D. Luong, J. S. Deogun, S. Goddard, Feedback Scheduling of Real-Time Divisible Loads in Clusters. 21
J. S. Deogun, S. Goddard, Developing New Models to Reason about Time and Space. 25
D. Zöbel, A Compositional Transformation to Bridge the Gap between the Technical System and the
Computational System. 29
C. Bartolini, E. Bini, G. Lipari, Slack-based Sensitivity Analysis for EDF. 33
A. M. Picu, A. Fraboulet, E. Fleury, On Frequency Optimization for Power Saving in WSNs. 37
R. Staudinger, Towards Automatic Translation to Temporally Predictable Code. 41
L. Qiu, N. Chen, S. Ren, Checkpointing Implementation for Real-time and Fault Tolerant Applications
on RTAI. 45
A. Loos, D. Fey, A 2000 Frames / s Programmable Binary Image Processor Chip for Real Time
Machine Vision Applications. 49
G. Modena, L. Abeni, L. Palopoli, Providing QoS by Scheduling Interrupt Threads. 53
A. Anta, P. Tabuada, On the Benefits of Relaxing the Periodicity Assumption for Control Tasks. 57
J. Shamsi, M. Brockmeyer, Mapping Overlay Networks for Real-Time Applications. 61
J. Sztipanovits, G. Karsai, S. Neema, H. Nine, J. Porter, R. Thibodeaux, P. Völgyesi, Towards a
Model-based Toolchain for the High-Confidence Design of Embedded Systems. 65
H. Aysan, S. Punnekkat, R. Dobrin, Adding the Time Dimension to Majority Voting Strategies. 69
W. Wiles, G. Quan, An Experimental Model for the Verification of Dynamic Voltage-Scaling
Scheduling Techniques on Embedded Systems. 73
T. H. Feng, E. A. Lee, H. D. Patel, J. Zou, Toward an Effective Execution Policy for Distributed
Real-Time Embedded Systems. 77
J. Yi, C. Poellabauer, X. S. Hu, D. Rajan, L. Zhang, Cooperative Network and Energy Management for
Reservation-based Wireless Real-Time Environments. 81
B. Sanati, A. M. K. Cheng, Maximizing Job Benefits on Multiprocessor Systems Using a Greedy Algorithm. 85
C. Belwal, A. M. K. Cheng, W. Taha, A. Zhu, Timing Analysis of the Priority based FRP System. 89
A. Giani, G. Karsai, T. Roosta, A. Shah, B. Sinopoli, J. Wiley, A Testbed for Secure and Robust
SCADA Systems. 93
M. Wilson, R. Cytron, J. Turner, Partial Program Admission by Path Enumeration. 97
Contents
A Fast System Call Implementation for Embedded Systems 1
Shi-Wu Lo
An Ef cient Model-Mapping-Schema-Based Approach for Real-Time Access to XML Database Systems
7
Chih-Chiang Lee, Jun Wu, Chih-Wen Hsueh and Tei-Wei Kuo
Genetic-based Approach for Scheduling, Allocation, and Mapping for HW/SW Co-Design with Dynamic Allocation Threshold 13
Chun-Nan Chou, Yi-An Chen and Chi-Sheng Shih
Reducing System Entropy Using Fine-Grained Reboot 19
Hiroo Ishikawa, Harry Sun, Tatsuo Nakajima
Static Analysis Support for Measurement based WCET Analysis 25
Stefan Schaefer, Bernhard Scholz, Stefan M. Petters and Gernot Heiser
Using a Processor Emulator on a Microkernel-based Operating System 31
Hidenari Koshimae, Yuki Kinebuchi, Shuichi Oikawa and Tatsuo Nakajima
Virtualization Techniques for Embedded Systems 37
Yuki Kinebuchi, Hidenari Koshimae, Shuichi Oikawa and Tatsuo Nakajima