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.
Author(s): Bjarne Stroustrup (auth.), Zhaohui Wu, Chun Chen, Minyi Guo, Jiajun Bu (eds.)
Series: Lecture Notes in Computer Science 3605 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2005
Language: English
Pages: 612
Tags: Computer Communication Networks; Processor Architectures; Special Purpose and Application-Based Systems; System Performance and Evaluation; Software Engineering; Operating Systems
Front Matter....Pages -
Abstraction and the C++ Machine Model....Pages 1-13
Keynote Speech: Industrializing Software Development....Pages 14-14
Testing Methodologies for Embedded Systems and Systems-on-Chip....Pages 15-24
China Putian Promote Commercial TD-SCDMA Services....Pages 25-29
Agent-Oriented Approach to Ubiquitous Computing....Pages 30-37
Resource-Aware Programming....Pages 38-43
In-House Tools for Low-Power Embedded Systems....Pages 44-58
CODACS Project: A Development Tool for Embedded System Prototyping....Pages 59-64
A Study on Web Services Selection Method Based on the Negotiation Through Quality Broker: A MAUT-based Approach....Pages 65-73
CA-Ex: A Tuning-Incremental Methodology for Communication Architectures in Embedded Systems....Pages 74-80
Efficient Parallel Spatial Join Processing Method in a Shared-Nothing Database Cluster System....Pages 81-87
Maximizing Parallelism for Non-uniform Dependence Loops Using Two Parallel Region Partitioning Method....Pages 88-93
The KODAMA Methodology: An Agent-Based Distributed Approach....Pages 94-102
A New Iris Recognition Approach for Embedded System....Pages 103-109
A RAID Controller: Software, Hardware and Embedded Platform Based on Intel IOP321....Pages 110-117
Component-Based Integration Towards a Frequency-Regulating Home Appliance Control System....Pages 118-123
Design and Implementation of the System for Remote Voltage Harmonic Monitor....Pages 124-129
Guaranteed Cost Control of Networked Control Systems: An LMI Approach....Pages 130-136
Robust Tuning of Embedded Intelligent PID Controller for Induction Motor Using Bacterial Foraging Based Optimization....Pages 137-142
The Customizable Embedded System for Seriate Intelligent Sewing Equipment....Pages 143-149
A Distributed Architecture Model for Heterogeneous Multiprocessor System-on-Chip Design....Pages 150-157
A New Technique for Program Code Compression in Embedded Microprocessor....Pages 158-164
Design of System Area Network Interface Card Based on Intel IOP310....Pages 165-171
Dual-Stack Return Address Predictor....Pages 172-179
Electronic Reading Pen: A DSP Based Portable Device for Offline OCR and Bi-linguistic Translation....Pages 180-187
Formal Co-verification for SoC Design with Colored Petri Net....Pages 188-195
Hardware for Modular Exponentiation Suitable for Smart Cards....Pages 196-202
PN-based Formal Modeling and Verification for ASIP Architecture....Pages 203-209
The Design and Performance Analysis of Embedded Parallel Multiprocessing System....Pages 210-215
Use Dynamic Combination of Two Meta-heuristics to Do Bi-partitioning....Pages 216-221
A New Approach for Predictable Hard Real-Time Transaction Processing in Embedded Database....Pages 222-228
A QoS-aware Component-Based Middleware for Pervasive Computing....Pages 229-235
AnyCom: A Component Framework Optimization for Pervasive Computing....Pages 236-242
Association Based Prefetching Algorithm in Mobile Environments....Pages 243-250
Integration Policy in Real-Time Embedded System....Pages 251-257
Prism-WM Based Connector Interaction for Middleware Systems....Pages 258-265
ScudWare: A Context-Aware and Lightweight Middleware for Smart Vehicle Space....Pages 266-273
Application of Cooperating and Embedded Technology for Network Computer Media Player....Pages 274-279
QoS Adaptive Algorithms Based on Resources Availability of Mobile Terminals....Pages 280-286
Semi-Videoconference System Using Real-Time Wireless Technologies....Pages 287-293
Smart Client Techniques for Online Game on Portable Device....Pages 294-299
The Implementation of Mobile IP in Hopen System....Pages 300-305
A New CGI Queueing Model Designed in Embedded Web Server....Pages 306-311
A New Embedded Wireless Microcensor Network Based on Bluetooth Scatternet and PMCN....Pages 312-317
A New Gradient-Based Routing Protocol in Wireless Sensor Networks....Pages 318-325
A Sensor Media Access Control Protocol Based on TDMA....Pages 326-332
Clusters Partition and Sensors Configuration for Target Tracking in Wireless Sensor Networks....Pages 333-338
Enhanced WFQ Algorithm with ( m,k )-Firm Guarantee....Pages 339-346
Fuzzy and Real-Time Queue Management in Differentiated Services Networks....Pages 347-354
Issues of Wireless Sensor Network Management....Pages 355-361
OPC-based Architecture of Embedded Web Server....Pages 362-367
Synchronized Data Gathering in Real-Time Embedded Fiber Sensor Network....Pages 368-373
The Energy Cost Model of Clustering Wireless Sensor Network Architecture....Pages 374-380
Traffic Control Scheme of VCNs’ Gigabit Ethernet Using BP....Pages 381-387
A Jitter-Free Kernel for Hard Real-Time Systems....Pages 388-394
A New Approach to Deadlock Avoidance in Embedded System....Pages 395-399
A Novel Task Scheduling for Heterogeneous Systems....Pages 400-405
Applying Component-Based Meta-service in Liquid Operating System for Pervasive Computing....Pages 406-411
Embedded Operating System Design: The Resolved and Intelligent Daemon Approach....Pages 412-417
New Approach for Device Driver Development – Devil+ Language....Pages 418-422
On Generalizing Interrupt Handling into a Flexible Binding Model for Kernel Components....Pages 423-429
Research Directions for Embedded Operating Systems....Pages 430-436
SmartOSEK: A Real-Time Operating System for Automotive Electronics....Pages 437-442
A Functionality Based Instruction Level Software Power Estimation Model for Embedded RISC Processors....Pages 443-448
Robust and Adaptive Dynamic Power Management for Time Varying System....Pages 449-455
Skyeye: An Instruction Simulator with Energy Awareness....Pages 456-461
The Modeling for Dynamic Power Management of Embedded Systems....Pages 462-467
Why Simple Timeout Strategies Work Perfectly in Practice?....Pages 468-473
An Adaptive Fault Tolerance Scheme for Applications on Real-Time Embedded System....Pages 474-480
Concurrent Garbage Collection Implementation in a Standard JVM for Real-Time Purposes....Pages 481-487
Relating FFTW and Split-Radix....Pages 488-493
Selecting a Scheduling Policy for Embedded Real-Time Monitor and Control Systems....Pages 494-501
Sharing I/O in Strongly Partitioned Real-Time Systems....Pages 502-507
The Efficient QoS Control in Distributed Real-Time Embedded Systems....Pages 508-513
An Efficient Verification Method for Microprocessors Based on the Virtual Machine....Pages 514-521
EFSM-based Testing Strategy for APIs Test of Embedded OS....Pages 522-527
EmGen: An Automatic Test-Program Generation Tool for Embedded IP Cores....Pages 528-535
Formal Verification of a Ubiquitous Hardware Component....Pages 536-541
Model Optimization Techniques in a Verification Platform for Classified Properties....Pages 542-548
Using Model-Based Test Program Generator for Simulation Validation....Pages 549-556
A New WCET Estimation Algorithm Based on Instruction Cache and Prefetching Combined Model....Pages 557-562
A Component-Based Model Integrated Framework for Embedded Software....Pages 563-569
A Cooperative Web Framework of Jini into OSGi-based Open Home Gateway....Pages 570-575
A Structure Modeling Method for Multi-task Embedded Software Design....Pages 576-581
Chaos-Model Based Framework for Embedded Software Development....Pages 582-588
Hierarchical Integration of Runtime Models....Pages 589-594
Object-Oriented Software Loading and Upgrading Techniques for Embedded and Distributed System....Pages 595-600
Preserving Consistency in Distributed Embedded Collaborative Editing Systems....Pages 601-606
Back Matter....Pages -
