Embedded Software and Systems: First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers

Front Cover
Zhaohui Wu, Minyi Guo, Chun Chen, Jiajun Bu
Springer Science & Business Media, Sep 15, 2005 - Computers - 610 pages
Welcome to the post proceedings of the First International Conference on Embedded Software and Systems (ICESS 2004), which was held in Hangzhou, P. R. China, 9–10 December 2004. Embedded Software and Systems technology is of increasing importance for a wide range of industrial areas, such as aerospace, automotive, telecommunication, and manufacturing automation. Embedded technology is playing an increasingly dominant role in modern society. This is a natural outcome of amazingly fast developments in the embedded field. The ICESS 2004 conference brought together researchers and developers from academia, industry, and government to advance the science, engineering, and technology in embedded software and systems development, and provided them with a forum to present and exchange their ideas, results, work in progress, and experience in all areas of embedded systems research and development. The ICESS 2004 conference attracted much more interest than expected. The total number of paper submissions to the main conference and its three workshops, namely, Pervasive Computing, Automobile Electronics and Tele-communication, was almost 400, from nearly 20 countries and regions. All submissions were reviewed by at least three Program or Technical Committee members or external reviewers. It was extremely difficult to make the final decision on paper acceptance because there were so many excellent, foreseeing, and interesting submissions with brilliant ideas.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Abstraction and the C++ Machine Model
1
Industrializing Software Development
14
Testing Methodologies for Embedded Systems and SystemsonChip
15
China Putian Promote Commercial TDSCDMA Services
25
AgentOriented Approach to Ubiquitous Computing
30
ResourceAware Programming
38
InHouse Tools for LowPower Embedded Systems
44
A Development Tool for Embedded System Prototyping
59
Clusters Partition and Sensors Configuration for Target Tracking in Wireless Sensor Networks
333
Enhanced WFQ Algorithm with mkFirm Guarantee
339
Fuzzy and RealTime Queue Management in Differentiated Services Networks
347
Issues of Wireless Sensor Network Management
355
OPCbased Architecture of Embedded Web Server
362
Synchronized Data Gathering in RealTime Embedded Fiber Sensor Network
368
The Energy Cost Model of Clustering Wireless Sensor Network Architecture
374
Traffic Control Scheme of VCNs Gigabit Ethernet Using BP
381

A MAUTbased Approach
65
A TuningIncremental Methodology for Communication Architectures in Embedded Systems
74
Efficient Parallel Spatial Join Processing Method in a SharedNothing Database Cluster System
81
Maximizing Parallelism for Nonuniform Dependence Loops Using Two Parallel Region Partitioning Method
88
A New Iris Recognition Approach for Embedded System
103
Software Hardware and Embedded Platform Based on Intel IOP321
110
ComponentBased Integration Towards a FrequencyRegulating Home Appliance Control System
118
Design and Implementation of the System for Remote Voltage Harmonic Monitor
124
An LMI Approach
130
Robust Tuning of Embedded Intelligent PID Controller for Induction Motor Using Bacterial Foraging Based Optimization
137
The Customizable Embedded System for Seriate Intelligent Sewing Equipment
143
A Distributed Architecture Model for Heterogeneous Multiprocessor SystemonChip Design
150
A New Technique for Program Code Compression in Embedded Microprocessor
158
Design of System Area Network Interface Card Based on Intel IOP310
165
DualStack Return Address Predictor
172
A DSP Based Portable Device for Offline OCR and Bilinguistic Translation
180
Formal Coverification for SoC Design with Colored Petri Net
188
Hardware for Modular Exponentiation Suitable for Smart Cards
196
PNbased Formal Modeling and Verification for ASIP Architecture
203
The Design and Performance Analysis of Embedded Parallel Multiprocessing System
210
Use Dynamic Combination of Two Metaheuristics to Do Bipartitioning
216
A New Approach for Predictable Hard RealTime Transaction Processing in Embedded Database
222
A QoSaware ComponentBased Middleware for Pervasive Computing
229
A Component Framework Optimization for Pervasive Computing
236
Association Based Prefetching Algorithm in Mobile Environments
243
Integration Policy in RealTime Embedded System
251
PrismWM Based Connector Interaction for Middleware Systems
258
A ContextAware and Lightweight Middleware for Smart Vehicle Space
266
Application of Cooperating and Embedded Technology for Network Computer Media Player
274
QoS Adaptive Algorithms Based on Resources Availability of Mobile Terminals
280
SemiVideoconference System Using RealTime Wireless Technologies
287
Smart Client Techniques for Online Game on Portable Device
294
The Implementation of Mobile IP in Hopen System
300
A New CGI Queueing Model Designed in Embedded Web Server
306
A New Embedded Wireless Microcensor Network Based on Bluetooth Scatternet and PMCN
312
A New GradientBased Routing Protocol in Wireless Sensor Networks
318
A Sensor Media Access Control Protocol Based on TDMA
326
A JitterFree Kernel for Hard RealTime Systems
388
A New Approach to Deadlock Avoidance in Embedded System
395
A Novel Task Scheduling for Heterogeneous Systems
400
Applying ComponentBased Metaservice in Liquid Operating System for Pervasive Computing
406
The Resolved and Intelligent Daemon Approach
412
New Approach for Device Driver Development Devil+ Language
418
On Generalizing Interrupt Handling into a Flexible Binding Model for Kernel Components
423
Research Directions for Embedded Operating Systems
430
A RealTime Operating System for Automotive Electronics
437
A Functionality Based Instruction Level Software Power Estimation Model for Embedded RISC Processors
443
Robust and Adaptive Dynamic Power Management for Time Varying System
449
An Instruction Simulator with Energy Awareness
456
The Modeling for Dynamic Power Management of Embedded Systems
462
Why Simple Timeout Strategies Work Perfectly in Practice?
468
An Adaptive Fault Tolerance Scheme for Applications on RealTime Embedded System
474
Concurrent Garbage Collection Implementation in a Standard JVM for RealTime Purposes
481
Relating FFTW and SplitRadix
488
Selecting a Scheduling Policy for Embedded RealTime Monitor and Control Systems
494
Sharing IO in Strongly Partitioned RealTime Systems
502
The Efficient QoS Control in Distributed RealTime Embedded Systems
508
An Efficient Verification Method for Microprocessors Based on the Virtual Machine
514
EFSMbased Testing Strategy for APIs Test of Embedded OS
522
An Automatic TestProgram Generation Tool for Embedded IP Cores
528
Formal Verification of a Ubiquitous Hardware Component
536
Model Optimization Techniques in a Verification Platform for Classified Properties
542
Using ModelBased Test Program Generator for Simulation Validation
549
A New WCET Estimation Algorithm Based on Instruction Cache and Prefetching Combined Model
557
A ComponentBased Model Integrated Framework for Embedded Software
563
A Cooperative Web Framework of Jini into OSGibased Open Home Gateway
570
A Structure Modeling Method for Multitask Embedded Software Design
576
ChaosModel Based Framework for Embedded Software Development
582
Hierarchical Integration of Runtime Models
589
ObjectOriented Software Loading and Upgrading Techniques for Embedded and Distributed System
595
Preserving Consistency in Distributed Embedded Collaborative Editing Systems
601
Author Index
607
Copyright

Other editions - View all

Common terms and phrases