{"title":"A Channel Aware Contention Based Forwarding Scheme in Wireless Sensor Network","authors":"Xiao-Fang Zhou, Yugui Qu, Yusheng Ji","doi":"10.1109/ICESS.2009.15","DOIUrl":"https://doi.org/10.1109/ICESS.2009.15","url":null,"abstract":"This paper presents a channel aware contention based forwarding scheme (CACF) for wireless sensor network(WSN). In order to improve the probability of correct packet transmission in wireless channel and ensuring successful contention, CACF selects the appropriate relay node by the integrated consideration of access probability, routing cost metrics and wireless channel characteristics. In the scheme, a well-defined access space mechanism (ASM) is proposed and used as criterion for relay selection during each contention round. The simulation results show that CACF achieves better network performance in terms of packet delivery ratio and improves the node efficiency consequently.","PeriodicalId":335217,"journal":{"name":"2009 International Conference on Embedded Software and Systems","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128489584","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Software Agent Design with Real Time Scheduling for Embedded Systems","authors":"Hu Jin, Liang-Yin Chen, N. Chen, Yang Lei","doi":"10.1109/ICESS.2009.55","DOIUrl":"https://doi.org/10.1109/ICESS.2009.55","url":null,"abstract":"The Embedded Systems are now in use more commonly in our daily lives. They can accomplish many complicated tasks in different working environments, and concurrency and synchronization are ordinary problems the embedded software usually must be confronted with. This issue presents a novel method for controlling such problems efficiently. To avoid the inefficiency or collision induced by directly coupling amongst multi-tasks that conventional methods mostly did, software agent architecture designing can cope with such work more properly. The main work of this article includes designing agent architecture for typical concurrency embedded system applications, and adapting classic RMA for scheduling tasks which have soft real time requirements. Lastly, a case study has been done on a typical embedded system scenario, where multi-peripheral devices parallel processing is analyzed with this method and the results show that can get a good concurrence performance.","PeriodicalId":335217,"journal":{"name":"2009 International Conference on Embedded Software and Systems","volume":"114 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128178712","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Tolerating Memory Latency Using a Hardware-Based Active-Pushing Technique","authors":"Liwen Shi, Xiaoya Fan, Jing Chen, Xiaoping Huang, Hangpei Tian","doi":"10.1109/ICESS.2009.65","DOIUrl":"https://doi.org/10.1109/ICESS.2009.65","url":null,"abstract":"The pre-sending technique, proposed from distributed shared memory systems, pushes data to cache instead of pulling,aiming at reducing the traffic of communication. On a purpose of effectively improving cache hit ratio, this paper proposes a hardware-based active-pushing technique, which directs data owners like lower-level of memory hierarchy to actively push the predicted data at the right moment to a upper level, which is closer to the CPU, therefore achieving the object of reducing memory stall time. Again, a further optimization aimed at the timeliness of active-pushing technique is introduced. The prefetching, pre-sending, active-pushing and optimized active-pushing technique are, respectively, simulated upon the microprocessor simulation platform of \"Longtium\" R2. Experimenting results show that both the active-pushing technique and the optimized one improve cache hit ratio significantly compared with the rest.","PeriodicalId":335217,"journal":{"name":"2009 International Conference on Embedded Software and Systems","volume":"342 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124230795","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Formal Model for Component-Based Embedded Software Development","authors":"Changde Li, Xingshe Zhou, Yunwei Dong, Zhiwen Yu","doi":"10.1109/ICESS.2009.51","DOIUrl":"https://doi.org/10.1109/ICESS.2009.51","url":null,"abstract":"This paper presents a formal model for specification, verification, and composition of component-based embedded software. We describe how components are specified from the syntactical view, functional view, QoS view and synchronization view. The refinement rules for functionality, QoS, and synchronous behavior are defined for the verification purpose. And a lightweight composition method is provided for the purpose of composition.","PeriodicalId":335217,"journal":{"name":"2009 International Conference on Embedded Software and Systems","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117254682","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Lightweight Dynamic Performance Monitoring Framework for Embedded Systems","authors":"Yao Guo, Ziwen Chen, Xiangqun Chen","doi":"10.1109/ICESS.2009.33","DOIUrl":"https://doi.org/10.1109/ICESS.2009.33","url":null,"abstract":"Traditional monitoring techniques are not suitable for embedded systems because they could incur significant overhead. This paper proposes a lightweight dynamic performance monitoring framework for embedded systems focusing on reducing the dynamic monitoring overhead. With the introduction of a target-host separation and cooperation model, the target (embedded) system only needs to perform minimal low-overhead tasks while most of the high-overhead tasks were migrated to the host machine. The overhead in the target embedded system is further reduced through a low-cost dynamic instrumentation mechanism with direct jump instructions.","PeriodicalId":335217,"journal":{"name":"2009 International Conference on Embedded Software and Systems","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125088346","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"An Automatic Compiler Optimizations Selection Framework for Embedded Applications","authors":"Shih-Hao Hung, Chia-Heng Tu, Huang-Sen Lin, Chi-Meng Chen","doi":"10.1109/ICESS.2009.86","DOIUrl":"https://doi.org/10.1109/ICESS.2009.86","url":null,"abstract":"Optimizing compilers provide users with compiler options to maximize program performance. The selection of compiler options is important as the resulted performance can vary significantly. The best combination of compiler options is not only dependent on the program itself, but it also is highly related to the configuration of the system and the architecture of the processor that the program runs on. The determination of the best combination of compiler options is very complicated, as its complexity grows exponentially with the number of the optimization options the compiler offers. Many previous work attempts to shorten the search time by reducing the complexity of the problem. However, most of them focus on computational intensive applications, which run with little or no invocation of kernel functions and device input/output activities, which often dominate system performance in specific embedded environment, such as network appliance. This paper aims at system-wide compiler optimizations selection for embedded applications. We proposed an automated framework to judiciously select the compiler options not only for the control software in the user space but also for the associated kernel functions which perform the I/O operations for an embedded application. For this framework, we implemented compiler optimization selection algorithms and evaluated its efficiencies with and without performance monitoring hardware support. We argue that our framework is a platform-independent and system-level compiler options selection framework. Our experience in optimizing the performance of the embedded application on a production storage appliance show that an I/O-intensive application composed by various kernel modules device drivers under Linux can be optimized effectively and systematically.","PeriodicalId":335217,"journal":{"name":"2009 International Conference on Embedded Software and Systems","volume":"180 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123261547","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Speedup the Multi-camera Video-Surveillance System for Elder Falling Detection","authors":"Wann-Yun Shieh, Ju-Chin Huang","doi":"10.1109/ICESS.2009.62","DOIUrl":"https://doi.org/10.1109/ICESS.2009.62","url":null,"abstract":"Nowadays, all countries have to face the growing populations of elders. For most elders, unpredictable falling accidents may occur at the corner of stairs or a long corridor due to body functional decay. If we delay to rescue a falling elder who is likely fainting, more serious consequent injury may happen. Traditional secure or video surveillance systems need someone to monitor a centralized screen continuously, or need an elder to wear sensors to detect accidental falling signals, which explicitly require higher costs of care staffs or cause inconvenience for an elder.In this work, we propose a human-shape-based falling detection algorithm and implement this algorithm in a multi-camera video surveillance system. The algorithm uses multiple cameras to fetch the images from different regions required to monitor. It then uses a falling-pattern recognition approach to determine if an accidental falling has occurred. If yes, the system will send short messages to someone needs to alert.In addition, we propose a multi-video-stream processing algorithm to speedup the throughput for the video surveillance system having multiple cameras. We partition the workloads of each video-surveillance streaming into four tasks: image fetch, image processing, human-shape generation, and pattern recognition. Each task will be handled by a forked thread. When the system receives multiple video streams from cameras, there are four simultaneous threads executed for different tasks. The objective of this algorithm is to exploit large thread-level-parallelism among those video-stream operations, and apply pipelining technique to execute these threads. All above algorithms have been implemented in a real-world environment for functionality proof. We also measure the system performance after multi-streaming speedup. The results show that the throughput can be improved by about 2.12 times for a four-camera surveillance system.","PeriodicalId":335217,"journal":{"name":"2009 International Conference on Embedded Software and Systems","volume":"124 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130006108","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Zhiqiang Que, Yongxin Zhu, Tingting Mo, Bin Chen, Zhijun Li
{"title":"Design and Implementation of a Cordless Power Supply System for Pervasive Medical Devices","authors":"Zhiqiang Que, Yongxin Zhu, Tingting Mo, Bin Chen, Zhijun Li","doi":"10.1109/ICESS.2009.87","DOIUrl":"https://doi.org/10.1109/ICESS.2009.87","url":null,"abstract":"Pervasive medical devices are able to provide diagnostic information inside intangible in vivo organs. For better inspection, additional power besides cell batteries is required by doctors to enable locomotion and active control of devices such as capsule endoscope. We present the design and implementation of a cordless power supply system based on 900MHz RF signals. It consists of an antenna, an impedance matching network circuit, a rectifier circuit cum voltage multiplier, and a LDO (low drop out voltage regulator). After matching analytical results and simulation ones, we further implement the power supply system in a PCB and measure it with Agilent spectrum analyzer and Tektronix oscilloscope. It is also interesting that wireless signals from any 900M GSM mobile phone talking nearby can be absorbed and converted into enough power by the system. It is believed to enable the external control and the locomotion of active endoscopes as well as other power hunger pervasive medical devices.","PeriodicalId":335217,"journal":{"name":"2009 International Conference on Embedded Software and Systems","volume":"130 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124548417","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Designing an Effective Constraint Solver in Coverage Directed Test Generation","authors":"Haihua Shen, Pengyu Wang, Yunji Chen, Qi Guo, Heng Zhang","doi":"10.1109/ICESS.2009.39","DOIUrl":"https://doi.org/10.1109/ICESS.2009.39","url":null,"abstract":"As the complexity of processors grows, the bottleneck of verification remains in generating suitable test programs that meet coverage metrics automatically. Coverage directed test generation is a technique to automate the feedback from coverage analysis to test generation. It is very important to solve the constraint satisfaction problem for a flexible coverage directed test generator with complex variables. In this paper, we propose an effective constraint solver which combines constraint satisfaction problem’s algorithms and coverage directed test generation to address the challenges that arise from the practical verification problem. We implement the constraint solver in our practical coverage directed test generation platform, which has been used in the verification of an embedded processor. The efficiency of our approach has been demonstrated by the practical results.","PeriodicalId":335217,"journal":{"name":"2009 International Conference on Embedded Software and Systems","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125655604","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Research of Networked Control System Based on P2P Network","authors":"Zhu Qiang, Chen Kai, M. Fei","doi":"10.1109/ICESS.2009.73","DOIUrl":"https://doi.org/10.1109/ICESS.2009.73","url":null,"abstract":"Traditional control system is usually in Client/Server architecture because of the limit performance of embedded system and network technology. Real Time Data Server of C/S system is the bottleneck of system, and it is also influence on the safety, flexibility of system. With the promotion of the software and hardware of the embedded network controller, the P2P network technology enables us to reconsider the control network architecture to overcome the inherent shortcomings of the former C/S system. This paper introduces the control system based on P2P Network, through the analysis of calculation and simulation.","PeriodicalId":335217,"journal":{"name":"2009 International Conference on Embedded Software and Systems","volume":"15 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120861766","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}