2016 International Symposium on System and Software Reliability (ISSSR)最新文献

Testing-Based Formal Verification for Algorithmic Function Theorems and Its Application to Software Verification and Validation 基于测试的算法函数定理形式化验证及其在软件验证中的应用

2016 International Symposium on System and Software Reliability (ISSSR) Pub Date : 2016-10-01 DOI: 10.1109/ISSSR.2016.010

Shaoying Liu

引用次数: 3

Fault-Tolerant Scheduling of Primary-Alternate Version Based on Variable Workload 基于可变负载的主备用版本容错调度

2016 International Symposium on System and Software Reliability (ISSSR) Pub Date : 2016-10-01 DOI: 10.1109/ISSSR.2016.027

Yingchun Huang, Qingxu Deng

{"title":"Fault-Tolerant Scheduling of Primary-Alternate Version Based on Variable Workload","authors":"Yingchun Huang, Qingxu Deng","doi":"10.1109/ISSSR.2016.027","DOIUrl":"https://doi.org/10.1109/ISSSR.2016.027","url":null,"abstract":"Task workload analysis for primary-alternate fault-tolerance is usually performed based on WCET (Worst-Case Execution Time), which causes excessive redundancy of processor resource reservation in conventional real-time systems. To address this issue, a novel primary-alternate fault-tolerant model based on a variable workload is built, theorems for both the alternate schedulability and the primary execution success ratio is proposed, and their correctness are proved. Motivated by these theorems, a new algorithm called BCEVW (BCE with Variable Workload) is proposed through improving the algorithm BCE. Further, a new error probability model for the primary version is proposed, which is closer to the practice than does the conventional model. Using two metrics including schedulability of a task set and execution success ratio of the primary version, simulation results show that (1) for scheduling task sets in the alternate version, backwards-EDF algorithm performs better than backwards-RM algorithm, and the necessary and sufficient conditions for its schedulability is that the processor utilization is no more than 1; (2) in the case of variable workload, BCEVW algorithm can significantly improve the schedulability of task sets in the primary version; (3) for the new error probability model, the results of the proposed scheduling algorithm show that there is an obvious linear relationship between the error probability and execution success ratio of the primary version, and further the greater processor utilization of the primary version is, the more significant linear relationship is.","PeriodicalId":257409,"journal":{"name":"2016 International Symposium on System and Software Reliability (ISSSR)","volume":"126 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127070194","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

The Quantitative Analysis of Interaction between Software and Environment 软件与环境交互作用的定量分析

2016 International Symposium on System and Software Reliability (ISSSR) Pub Date : 2016-10-01 DOI: 10.1109/ISSSR.2016.012

Yanfang Ma, Liang Chen

引用次数: 0

A Measurement Model for Trustworthy Software Based on Trusted Evidences 基于可信证据的可信软件度量模型

2016 International Symposium on System and Software Reliability (ISSSR) Pub Date : 2016-10-01 DOI: 10.1109/ISSSR.2016.013

Yan Li, Yixiang Chen

引用次数: 3

MEI: A Light Weight Memory Error Injection Tool for Validating Online Memory Testers MEI:用于验证在线内存测试器的轻量级内存错误注入工具

2016 International Symposium on System and Software Reliability (ISSSR) Pub Date : 2016-10-01 DOI: 10.1109/ISSSR.2016.028

Xiaoqiang Wang, Xuguo Wang, Fangfang Zhu, Qingguo Zhou, R. Zhou

{"title":"MEI: A Light Weight Memory Error Injection Tool for Validating Online Memory Testers","authors":"Xiaoqiang Wang, Xuguo Wang, Fangfang Zhu, Qingguo Zhou, R. Zhou","doi":"10.1109/ISSSR.2016.028","DOIUrl":"https://doi.org/10.1109/ISSSR.2016.028","url":null,"abstract":"Lots of studies have shown that memory hardware error rates are orders of magnitude higher than previously reported. In order to fight with these memory hardware errors, many memory testing tools have been developed, especially software level online memory testers, which means these memory testers implemented in software can work with the OS (operating system) at the same time. However, validation of these online memory testers is a hard work. Since the real broken memory chips is hard to find and using a virtual machine to do this work is really complex. So we have developed a memory error injection tool - MEI (Memory Error Injection), which is implemented in software on Linux platform and easy to use. The core function of MEI is implemented in the form of a Linux kernel module. MEI also provides some user space tools for memory errors injection and manipulation. The testers to be validated need to use the read interfaces provided by MEI. We have used two exists memory testers, the modified RAMpage and COMeT+ model, to validate the effectiveness of MEI. The results of experiments have shown that these two testers could detect the emulated memory hardware errors injected by MEI effectively.","PeriodicalId":257409,"journal":{"name":"2016 International Symposium on System and Software Reliability (ISSSR)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128961080","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

Reliability of Software Backup System in the Presence of Common Cause Failure 软件备份系统在共因故障情况下的可靠性

2016 International Symposium on System and Software Reliability (ISSSR) Pub Date : 2016-10-01 DOI: 10.1109/ISSSR.2016.017

Baohua Wang

引用次数: 0

Static Thermal-Aware Task Assignment and Scheduling for Makespan Minimization in Heterogeneous Real-Time MPSoCs 异构实时mpsoc中最大时间跨度最小化的静态热感知任务分配和调度

2016 International Symposium on System and Software Reliability (ISSSR) Pub Date : 2016-10-01 DOI: 10.1109/ISSSR.2016.026

Kun Cao, Junlong Zhou, Min Yin, Tongquan Wei, Mingsong Chen

{"title":"Static Thermal-Aware Task Assignment and Scheduling for Makespan Minimization in Heterogeneous Real-Time MPSoCs","authors":"Kun Cao, Junlong Zhou, Min Yin, Tongquan Wei, Mingsong Chen","doi":"10.1109/ISSSR.2016.026","DOIUrl":"https://doi.org/10.1109/ISSSR.2016.026","url":null,"abstract":"In this paper, the authors address the problem of allocating and scheduling tasks of bag-of-tasks applications (BoTs) to multiprocessors for achieving makespan minimization under the thermal and timing constraints. The proposed scheme first selects the processor with highest allocation probability for every task. The allocation probability is calculated under the consideration of processor workload and temperature profiles. In addition, the higher allocation probability of a processor indicates the better performance in terms of makespan and temperature can be achieved by executing the task on this processor. Then, the operating frequencies of tasks are determined and tasks on the processor are executed in the alternate order of being hot-cool to reduce the on-chip peak temperature. Task splitting, that is, splitting a hot task into multiple sections and executing the hot subtasks with idle time alternatively, is also utilized to ensure the peak temperature constraint. Extensive simulations were performed to validate the effectiveness of the proposed approach. The proposed scheme achieves 15.31% and 19.56% reduction in makespan as compared to benchmarking scheme RATM and ?-VSTM, respectively. The peak temperature of the proposed algorithms can be up to 4.38% and 4.49% lower than that of benchmarking schemes, respectively.","PeriodicalId":257409,"journal":{"name":"2016 International Symposium on System and Software Reliability (ISSSR)","volume":"121 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123031670","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}

引用次数: 18

Performance Analysis of Parallel Computing Framework on Embedded Multi-core Trustworthy Systems 嵌入式多核可信系统并行计算框架性能分析

2016 International Symposium on System and Software Reliability (ISSSR) Pub Date : 2016-10-01 DOI: 10.1109/ISSSR.2016.014

Weidong Ma, Zhiying Wang

引用次数: 1

Controlling Non-Touch Screens as Touch Screens Using Airpen, a Writing Tool with In-Air Gesturing Mode 使用Airpen(一种带有空中手势模式的书写工具)将非触摸屏控制为触摸屏

2016 International Symposium on System and Software Reliability (ISSSR) Pub Date : 2016-10-01 DOI: 10.1109/ISSSR.2016.020

Qingcheng Li, Heng Cao, Y. Lu, Haoqiang Yan, Tao Li

{"title":"Controlling Non-Touch Screens as Touch Screens Using Airpen, a Writing Tool with In-Air Gesturing Mode","authors":"Qingcheng Li, Heng Cao, Y. Lu, Haoqiang Yan, Tao Li","doi":"10.1109/ISSSR.2016.020","DOIUrl":"https://doi.org/10.1109/ISSSR.2016.020","url":null,"abstract":"Keyboard, mouse as fundamental input devices of computer systems, have changed traditional input behavior of human beings & writing experiences. However, handwriting, painting are still indispensable communication styles. In recent years, touch screen has become a prevailing human computer interface on many kinds of digital devices, which makes it possible for people using a pen to take notes as writing on paper. Moreover, for maintaining primitive input habits, body language is also needed to be translated by machines. With the development of embedded sensors of smart devices and artificial intelligence technologies, many new approaches have been used to recognize human actions. In this paper, we propose a system called Airpen system, which bridges two input modes: writing and in-air gesturing controlling of human body language through a pen-shape controller. Airpen system projects touch screen writing trajectories to a projection screen and uses in-air gestures to make control operations of non-touch screens. In this paper, we firstly design an input mode switching metrics using acceleration status, then implement in-air gesturing recognition using support vector machine(SVM) with accelerometer data. Finally, we validate that our input mode switching metrics can hardly be perceived by users and in-air gesture recognition can achieve high accuracy.","PeriodicalId":257409,"journal":{"name":"2016 International Symposium on System and Software Reliability (ISSSR)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127647073","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}

引用次数: 7

Classification of Tongue Images Based on Doublet SVM 基于二元支持向量机的舌形图像分类

2016 International Symposium on System and Software Reliability (ISSSR) Pub Date : 2016-10-01 DOI: 10.1109/ISSSR.2016.021

Jie Ding, Guitao Cao, Dan Meng

{"title":"Classification of Tongue Images Based on Doublet SVM","authors":"Jie Ding, Guitao Cao, Dan Meng","doi":"10.1109/ISSSR.2016.021","DOIUrl":"https://doi.org/10.1109/ISSSR.2016.021","url":null,"abstract":"Tongue diagnosis is one of the main components of traditional Chinese medicine (TCM). Developing an objective and quantitative recognition model is very importantly and useful in the modernization of TCM. Currently, major problems in digital diagnoses of tongue images are extracting suitable features and building a high-performance classifier. To address these two issues, we present a robust approach to infer the pathological characteristics. In contrast to other methods, this method makes full use of the local information of tongue images and similarities among tongue images. Our method includes the following three steps: (1) we exact HOG features based on theory of local object appearance and shape; (2) the most similar tongue images are found that belongs to the same label and belongs to the different label, which are then used to build a new sample for Doublet; (3) we calculate the distance metric M by the SVM classifier and doublets; and (4) we make prediction. Experimental results show that prediction accuracy of our method is 89.1% and achieves a specificity of 61.3%. Moreover, the Sensitivity is 95.8%. The work is helpful in the area of medical for detection and prevention of diseases.","PeriodicalId":257409,"journal":{"name":"2016 International Symposium on System and Software Reliability (ISSSR)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116040576","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}

引用次数: 7