2016 IEEE/ACIS 15th International Conference on Computer and Information Science (ICIS)最新文献_第9页

Formal verification of security protocols using Spin 使用Spin对安全协议进行正式验证

2016 IEEE/ACIS 15th International Conference on Computer and Information Science (ICIS) Pub Date : 2016-06-26 DOI: 10.1109/ICIS.2016.7550830

Shengbo Chen, Hao Fu, Huai-kou Miao

引用次数: 13

Model-driven approach for self-aware pervasive systems 自我意识普及系统的模型驱动方法

2016 IEEE/ACIS 15th International Conference on Computer and Information Science (ICIS) Pub Date : 2016-06-26 DOI: 10.1109/ICIS.2016.7550870

Eva Gerbert-Gaillard, Stéphanie Chollet, P. Lalanda

引用次数: 1

Verifying OSEK/VDX applications: An optimized SMT-based bounded model checking approach 验证OSEK/VDX应用程序:优化的基于smt的有界模型检查方法

2016 IEEE/ACIS 15th International Conference on Computer and Information Science (ICIS) Pub Date : 2016-06-26 DOI: 10.1109/ICIS.2016.7550826

Haitao Zhang, Zhuo Cheng, Cong Tian, Y. Lu, Guoqiang Li

{"title":"Verifying OSEK/VDX applications: An optimized SMT-based bounded model checking approach","authors":"Haitao Zhang, Zhuo Cheng, Cong Tian, Y. Lu, Guoqiang Li","doi":"10.1109/ICIS.2016.7550826","DOIUrl":"https://doi.org/10.1109/ICIS.2016.7550826","url":null,"abstract":"OSEK/VDX, a standard of automobile OS, has been widely adopted by many manufacturers to design and implement a vehicle-mounted OS. Currently, with increasing functionalities in vehicles, more and more complex applications are developed based on the OSEK/VDX OS. However, how to ensure the reliability of developed applications is becoming a challenge for developers. Based on our previous work, in this paper we present an efficient approach to verify the developed OSEK/VDX applications. In the presented approach, SMT-based bounded model checking technique is used to carry out verification in order to handle complex applications. Moreover, a series of optimization strategies are proposed and employed to improve the checking capability of our approach. We have implemented a tool according to the proposed approach and conducted many experiments. The experiment results show that our approach is capable of checking the safety property of large-scale OSEK/VDX applications. We also compared our approach with existing checking method, the comparison results indicate that our approach is an efficient and powerful technique in verifying OSEK/VDX applications.","PeriodicalId":336322,"journal":{"name":"2016 IEEE/ACIS 15th International Conference on Computer and Information Science (ICIS)","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124558329","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}

引用次数: 1

A new chaos-based image cipher using a hash function 使用哈希函数的新的基于混沌的图像密码

2016 IEEE/ACIS 15th International Conference on Computer and Information Science (ICIS) Pub Date : 2016-06-26 DOI: 10.1109/ICIS.2016.7550789

Chong Fu, O. Bian, Hui-yan Jiang, L. Ge, Hong-feng Ma

引用次数: 12

Toward connected personal healthcare: Keynote address 迈向互联个人医疗:主题演讲

2016 IEEE/ACIS 15th International Conference on Computer and Information Science (ICIS) Pub Date : 2016-06-26 DOI: 10.1109/ICIS.2016.7550724

Yeong-Tae Song

引用次数: 1

A model-driven development of web applications using AngularJS framework 一个使用AngularJS框架的模型驱动的web应用开发

2016 IEEE/ACIS 15th International Conference on Computer and Information Science (ICIS) Pub Date : 2016-06-26 DOI: 10.1109/ICIS.2016.7550838

Wutthichai Chansuwath, T. Senivongse

引用次数: 24

Indoor environment sensing service in smart city using autonomous sensor box 基于自主传感器箱的智慧城市室内环境传感服务

2016 IEEE/ACIS 15th International Conference on Computer and Information Science (ICIS) Pub Date : 2016-06-26 DOI: 10.1109/ICIS.2016.7550871

Seiji Sakakibara, S. Saiki, Masahide Nakamura, S. Matsumoto

引用次数: 19

New fault tolerant strategy of wireless sensor network 无线传感器网络容错新策略

2016 IEEE/ACIS 15th International Conference on Computer and Information Science (ICIS) Pub Date : 2016-06-26 DOI: 10.1109/ICIS.2016.7550733

Afef Ghabri, Leila Horchani, Monia Bellalouna

{"title":"New fault tolerant strategy of wireless sensor network","authors":"Afef Ghabri, Leila Horchani, Monia Bellalouna","doi":"10.1109/ICIS.2016.7550733","DOIUrl":"https://doi.org/10.1109/ICIS.2016.7550733","url":null,"abstract":"The wireless sensor network is enormously used in a random way in different environments to execute diverse applications and tasks. Because of its sensitivity, various research projects have been conducted with the aim of finding solutions in the presence of failures. New versions of K-means And Traveling Salesman Problem based mobility protocol, based on K-means clustering and the approximate solution for Traveling Salesman Problem by using the simple local search algorithm “2-Opt”, have been proposed in order to obtain real time solutions once the problem is disturbed by the breakdowns of some nodes. In this paper, we aim to use a new strategy by implementing algorithms employed for probabilistic combinatorial optimization problems resolution, such as exact methods. We propose then a new strategy that navigates the mobile sink to go through the cluster centers according to the optimized path by the implementation of an exact resolution of this problem using the “branch and bound” technique. Simulation results have demonstrated that although this exact solution is very expensive, it can be so interesting when the risk of sensor breakdowns becomes considerable and the number of cluster centers will be reduced, and that it outperforms the original solution of K-means And Traveling Salesman Problem based mobility protocol in terms of quality despite the increase in complexity.","PeriodicalId":336322,"journal":{"name":"2016 IEEE/ACIS 15th International Conference on Computer and Information Science (ICIS)","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132266428","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

Refinement from service economics planning to ubiquitous services implementation 从服务经济规划到无处不在的服务实现的细化

2016 IEEE/ACIS 15th International Conference on Computer and Information Science (ICIS) Pub Date : 2016-06-26 DOI: 10.1109/ICIS.2016.7550909

Yucong Duan, Q. Duan, Gongzhu Hu, Xiaobing Sun

引用次数: 3

Effective algorithms for video shot and scene boundaries detection 视频镜头和场景边界检测的有效算法

2016 IEEE/ACIS 15th International Conference on Computer and Information Science (ICIS) Pub Date : 2016-06-26 DOI: 10.1109/ICIS.2016.7550913

Yi Huo, Yanfeng Wang, Haihe Hu

引用次数: 8