Real-Time and Embedded Computing Systems and Applications: 9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised PapersJing Chen, Seongsoo Hong 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. |
Contents
Scheduling | 1 |
On the Composition of RealTime Schedulers | 18 |
An Approximation Algorithm for Broadcast Scheduling | 38 |
Scheduling Jobs with Multiple Feasible Intervals | 53 |
Deterministic and Statistical Deadline Guarantees for a Mixed | 72 |
RealTime Disk Scheduling with OnDisk Cache Conscious | 88 |
Probabilistic Analysis of Multiprocessor Scheduling of Tasks | 103 |
RealTime Virtual Machines for Avionics Software Porting | 123 |
Systems and Architectures | 328 |
Impact of Operating System on RealTime MainMemory Database | 342 |
The Design of a QoSAware MPEG4 Video System | 351 |
Constrained Energy Allocation for Mixed Hard and Soft | 371 |
An EnergyEfficient Route Maintenance Scheme for Ad | 389 |
File Systems and Databases | 409 |
Multidisk Scheduling for HighPerformance RAID0 Devices | 431 |
A Predictable Way of Manipulating Hot Data | 454 |
Algorithms for Managing QoS for RealTime Data Services Using | 136 |
Networking and Communication | 158 |
RealTime Message Channel in Linux Ethernet | 176 |
An Efficient Switch Design for Scheduling RealTime | 194 |
Embedded SystemsEnvironments | 208 |
QuasiDynamic Scheduling for the Synthesis of RealTime Embedded | 229 |
FrameworkBased Development of Embedded RealTime Systems | 244 |
OVL AssertionChecking of Embedded Software with | 254 |
PervasiveUbiquitous Computing | 279 |
SensorBased RealTime | 296 |
An InterfaceBased Naming System for Ubiquitous | 312 |
Rigorous Modeling of Disk Performance for RealTime Applications | 486 |
Bounding the Execution Times of DMA IO Tasks on HardRealTime | 499 |
Tools and Development | 513 |
RealTime Embedded Software Synthesis | 529 |
Software Platform for Embedded Software Development | 545 |
Towards Aspectual ComponentBased Development | 558 |
Testing of MultiTasking RealTime Systems with Critical Sections | 578 |
Symbolic Simulation of RealTime Concurrent Systems | 595 |
Author Index | 619 |
Other editions - View all
Real-Time and Embedded Computing Systems and Applications: 9th International ... Jing Chen,Seongsoo Hong No preview available - 2004 |
Real-Time and Embedded Computing Systems and Applications: 9th International ... Jing Chen,Seongsoo Hong No preview available - 2004 |
Common terms and phrases
abstraction active algorithm allows analysis application approach architecture aspects assertion assume authentication behavior blocks bound cache called communication complete component Computer consider database deadline defined delay denoted described device different disk distributed embedded energy environment event example execution experiments feasible interval Figure first framework function given host IEEE implementation improve increase input instructions interface interval issues locking means mechanism memory method miss multiple node objects operations optimal output packet performance periodic periodic tasks possible presented priority problem processor properties proposed protocol provides queue ratio real-time systems receive reference represents request resource response scheduling sectors selected server shown shows simulation specification switch Table task techniques tion trace transactions transition units utilization WCET