发布求助
文献互助 智能选刊 最新文献

2009 International Conference on Embedded Software and Systems最新文献

筛选
英文 中文
On Modeling and Verifying of Application Protocols of TTCAN in Flight-Control System with UPPAAL 基于UPPAAL的飞控系统TTCAN应用协议建模与验证
2009 International Conference on Embedded Software and Systems Pub Date : 2009-05-25 DOI: 10.1109/ICESS.2009.27
Xiao Wu, Heng Ling, Yunwei Dong
{"title":"On Modeling and Verifying of Application Protocols of TTCAN in Flight-Control System with UPPAAL","authors":"Xiao Wu, Heng Ling, Yunwei Dong","doi":"10.1109/ICESS.2009.27","DOIUrl":"https://doi.org/10.1109/ICESS.2009.27","url":null,"abstract":"TTCAN is the most potential protocol used to construct the communication layer of flight control system of unmanned aircraft vehicle (UAV). In this paper, we propose a novel UAV flight control system design which is based on TTCAN. We not only design the model of the system but also verify its non-functional properties such as reliability, security, schedulability and fault-tolerance ability with the model checker UPPAAL. In addition, we design 58 timed automata to verify UAV flight control system. The result of the experiment is also demonstrated to illustrate that the system is feasible and reliable.","PeriodicalId":335217,"journal":{"name":"2009 International Conference on Embedded Software and Systems","volume":"76 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":"114069255","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}
引用次数: 10
A Bidirectional Generation Method of SmartC Models and Codes 一种双向生成SmartC模型和代码的方法
2009 International Conference on Embedded Software and Systems Pub Date : 2009-05-25 DOI: 10.1109/ICESS.2009.77
Lu Zhang, Minde Zhao, Chao Wang, Ruyi Wu, Hong Li, Dongdong Wang, Renfa Li
{"title":"A Bidirectional Generation Method of SmartC Models and Codes","authors":"Lu Zhang, Minde Zhao, Chao Wang, Ruyi Wu, Hong Li, Dongdong Wang, Renfa Li","doi":"10.1109/ICESS.2009.77","DOIUrl":"https://doi.org/10.1109/ICESS.2009.77","url":null,"abstract":"This paper proposes a bidirectional generation method with a set of consistent bidirectional generation rules between SmartC models and codes. Based on these rules, the consistency of the bidirectional generation between SmartC models and codes is demonstrated by a case study. Extensive tests are conducted to show the performance of this bidirectional generation method. And the efforts of different industrial applications are recorded to illustrate its advantage of decreasing project efforts and accelerating project progress.","PeriodicalId":335217,"journal":{"name":"2009 International Conference on Embedded Software and Systems","volume":"71 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":"123838526","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}
引用次数: 0
Hand Gesture Recognition Based on MEB-SVM 基于MEB-SVM的手势识别
2009 International Conference on Embedded Software and Systems Pub Date : 2009-05-25 DOI: 10.1109/ICESS.2009.21
Y. Ren, Fengming Zhang
{"title":"Hand Gesture Recognition Based on MEB-SVM","authors":"Y. Ren, Fengming Zhang","doi":"10.1109/ICESS.2009.21","DOIUrl":"https://doi.org/10.1109/ICESS.2009.21","url":null,"abstract":"In this paper, we propose a novel static hand gesture recognition method, which is based on a new Support Vector Machine (abbreviated as SVM) classifier. SVM is a classification method based on Statistics Theory. Typical SVMs can be sufficient to deal with small scale datas, but these methods cause a lot of computation in quadratic programming while dealing with non-linear problems. SVM combined with MEB (minimum enclosing ball) is a powerful tool. It reduces the massive computation and also can separate all kinds of vectors in a hyperspace efficiently. First and foremost, image segmentation must be done before hand gesture recognition. We adopt mean shift, which is using skin color for the image feature. Finally using MEB-SVM to classify gestures, and achieve the aim of recognition.","PeriodicalId":335217,"journal":{"name":"2009 International Conference on Embedded Software and Systems","volume":"40 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":"125119735","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}
引用次数: 35
Uncertainty Problem in Dynamic Slicing of Concurrent Programs 并发程序动态切片中的不确定性问题
2009 International Conference on Embedded Software and Systems Pub Date : 2009-05-25 DOI: 10.1109/ICESS.2009.79
Jingde Cheng
{"title":"Uncertainty Problem in Dynamic Slicing of Concurrent Programs","authors":"Jingde Cheng","doi":"10.1109/ICESS.2009.79","DOIUrl":"https://doi.org/10.1109/ICESS.2009.79","url":null,"abstract":"Although both static and dynamic slicing of sequential programs have been applied to software engineering practices, there still are some challenges, problems, and issues in slicing concurrent programs, in particular, dynamic slicing of concurrent programs. This paper presents a methodological review of dynamic slicing methods for concurrent programs, points out that the most intrinsic problem in all existing dynamic slicing methods is the uncertainty problem, and shows a new research direction for dynamic slicing of concurrent programs. The paper proposes two basic criteria, i.e., completeness and soundness, for dynamic slicing of concurrent programs, and shows that we should develop a dependence/influence analysis method based on self-measurement principle to obtain complete and sound dynamic slices of concurrent programs.","PeriodicalId":335217,"journal":{"name":"2009 International Conference on Embedded Software and Systems","volume":"26 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":"125254494","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}
引用次数: 2
The Hardware Thread Interface Design and Adaptation on Dynamically Reconfigurable SoC 动态可重构SoC的硬件线程接口设计与适配
2009 International Conference on Embedded Software and Systems Pub Date : 2009-05-25 DOI: 10.1109/ICESS.2009.56
Y. Wang, Weinan Chen, Xiao-Wei Wang, Hong-Jun You, Chenglian Peng
{"title":"The Hardware Thread Interface Design and Adaptation on Dynamically Reconfigurable SoC","authors":"Y. Wang, Weinan Chen, Xiao-Wei Wang, Hong-Jun You, Chenglian Peng","doi":"10.1109/ICESS.2009.56","DOIUrl":"https://doi.org/10.1109/ICESS.2009.56","url":null,"abstract":"Nowadays, one of the challenges for creating a mixed hardware/software application on dynamically reconfigurable SoC is how to provide a unified programming model for hybrid hardware/software tasks and a portable interface adaptation for dynamically reconfigurable hardware tasks. In this paper, a POSIX-compliant hardware thread interface is proposed for data stream driven applications, serving for unified hardware/software multithread programming. At the same time, the stub/interface adaptation mechanism is also presented to support shared buffer based inter-thread communication/synchronization. At last, the experimental results on AES encryption/decryption hardware thread show that the interface design and adaptation could exploit programming transparency while effectively keep hardware efficiency.","PeriodicalId":335217,"journal":{"name":"2009 International Conference on Embedded Software and Systems","volume":"7 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":"127568491","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}
引用次数: 5
Design Framework for Self-Stabilizing Real-Time Systems Based on Real-Time Objects and Prototype Implementation with Analysis 基于实时对象的自稳定实时系统设计框架及原型实现与分析
2009 International Conference on Embedded Software and Systems Pub Date : 2009-05-25 DOI: 10.1109/ICESS.2009.88
A. Cheng, Sushil S. Digewade
{"title":"Design Framework for Self-Stabilizing Real-Time Systems Based on Real-Time Objects and Prototype Implementation with Analysis","authors":"A. Cheng, Sushil S. Digewade","doi":"10.1109/ICESS.2009.88","DOIUrl":"https://doi.org/10.1109/ICESS.2009.88","url":null,"abstract":"The paper proposes an object-oriented design framework to implement self-stabilizing real-time systems and describes an implementation and analysis of a prototype of such a system. The paper also includes a brief study of application of the object-oriented paradigms such as reflection and inheritance based on the design framework. The analysis includes a determination of overhead and a feasibility study of the prototype. The framework is three-tiered in which the basic or the first-tier components are the self-stabilizing components of the distributed real-time systems that recover themselves in case of transient faults. The second-tier components of the design framework consist of the RobustRTOs and the MetaObjects. The third-tier components are the Guards of the subsystems.","PeriodicalId":335217,"journal":{"name":"2009 International Conference on Embedded Software and Systems","volume":"1 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":"129187302","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}
引用次数: 0
RAM-Based Reconfigurable Implementation of the MD6 Hash Function 基于ram的MD6哈希函数的可重构实现
2009 International Conference on Embedded Software and Systems Pub Date : 2009-05-25 DOI: 10.1109/ICESS.2009.37
Xianwei Gao, Jianxin Wang, H. Ou, Xiuying Li
{"title":"RAM-Based Reconfigurable Implementation of the MD6 Hash Function","authors":"Xianwei Gao, Jianxin Wang, H. Ou, Xiuying Li","doi":"10.1109/ICESS.2009.37","DOIUrl":"https://doi.org/10.1109/ICESS.2009.37","url":null,"abstract":"Recent breakthroughs in cryptanalysis of standard hash functions like SHA-1 and MD5 raise the need for alternatives. The MD6 hash function is developed by a team led by Professor Ronald L. Rivest in response to the call for proposals for a SHA-3 cryptographic hash algorithm by the National Institute of Standards and Technology. The hardware performance evaluation of hash chip design mainly includes efficiency and flexibility. In this paper, a RAM-based reconfigurable FPGA implantation of the MD6-224/256/384 /512 hash function is presented. The design achieves a throughput ranges from 118 to 227 Mbps at the maximum frequency of 104MHz on low-cost Cyclone III device. The implementation of MD6 core functionality uses mainly embedded Block RAMs and small resources of logic elements in Altera FPGA, which satisfies the needs of most embedded applications, including wireless communication. The implementation results also show that the MD6 hash function has good reconfigurability.","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":"131801754","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}
引用次数: 2
Research on Web Server Application on Multi-core Embedded System Web服务器在多核嵌入式系统中的应用研究
2009 International Conference on Embedded Software and Systems Pub Date : 2009-05-25 DOI: 10.1109/ICESS.2009.78
Jianfeng Yang, Yinbo Xie, Tianzhou Chen
{"title":"Research on Web Server Application on Multi-core Embedded System","authors":"Jianfeng Yang, Yinbo Xie, Tianzhou Chen","doi":"10.1109/ICESS.2009.78","DOIUrl":"https://doi.org/10.1109/ICESS.2009.78","url":null,"abstract":"With the rapid progress of VLSI and Embedded Technology,it’s the time to integrate traditional data-acquisition equipments and web servers into an embedded system to get higher reliability, dependability and the real time performance.To this system, there are still exists some problems need to be solved effectively such as the implementation of multi-tasks running in concurrency mode. This paper presents a Web Server application based on multi-core embedded system for monitoring instance, the system was run on the eCos embedded Operation System and composed of the embedded Intel atom dual-core processor, a data-acquisition module and a web server module. We have carried out this multi-core embedded web server system to a  Chemical Monitoring project in a Power Plant successfully,the practical result shows that this architecture can work better with higher performance than ever before.","PeriodicalId":335217,"journal":{"name":"2009 International Conference on Embedded Software and Systems","volume":"37 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":"134189498","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}
引用次数: 4
A Statistical Analysis of Uplink Packet Latency in GPRS Network GPRS网络中上行数据包时延的统计分析
2009 International Conference on Embedded Software and Systems Pub Date : 2009-05-25 DOI: 10.1109/ICESS.2009.29
Xiaohui Chen, Xiaowei Qin, Sheng Xu, Weidong Wang, Guo Wei
{"title":"A Statistical Analysis of Uplink Packet Latency in GPRS Network","authors":"Xiaohui Chen, Xiaowei Qin, Sheng Xu, Weidong Wang, Guo Wei","doi":"10.1109/ICESS.2009.29","DOIUrl":"https://doi.org/10.1109/ICESS.2009.29","url":null,"abstract":"In this paper, we described the correlations between uplink TCP packet latency, behavior of TCP and behavior of application. Pearson product moment correlation analysis and partial correlation analysis are worked out to characterize correlations between five user perceived parameters. Our study demonstrated that the packet latency in uplink direction mainly caused by TCP setup time instead of the packet size. In addition, we also found that a larger continual successful transmit byte number lead to a smaller packet latency. These results illuminate the directions of end to end optimizations both in handset side and network side.","PeriodicalId":335217,"journal":{"name":"2009 International Conference on Embedded Software and Systems","volume":"159 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":"133077359","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}
引用次数: 0
OSEK COM-Based Dynamic Priority Assignment Method on CAN 基于osekcom的CAN动态优先级分配方法
2009 International Conference on Embedded Software and Systems Pub Date : 2009-05-25 DOI: 10.1109/ICESS.2009.67
Lvhong Zhang, Hong Li, Li Zhou, Minde Zhao, Zhigang Gao
{"title":"OSEK COM-Based Dynamic Priority Assignment Method on CAN","authors":"Lvhong Zhang, Hong Li, Li Zhou, Minde Zhao, Zhigang Gao","doi":"10.1109/ICESS.2009.67","DOIUrl":"https://doi.org/10.1109/ICESS.2009.67","url":null,"abstract":"OSEK/VDX is an important specification in the field of automotive electronics and OSEK COM specifies the data communication behaviors inter-ECU and intra-ECU, but doesn't appoint specific underlying layer. In this paper,OSEK COM is implemented based on CAN bus. We present a model that dynamically generates properly CAN identifier to schedule I-PDUs of OSEK COM and transmit data that is longer than 8 bytes on CAN. As an important part of CAN identifier, node priority is dynamically adjusted according to the actual network state by the node priority update protocol. The model has implemented on Santana Light Demo System.","PeriodicalId":335217,"journal":{"name":"2009 International Conference on Embedded Software and Systems","volume":"19 2 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":"127875729","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}
引用次数: 0
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信