The Community for Technology Leaders
Green Image
Issue No. 09 - Sept. (2015 vol. 41)
ISSN: 0098-5589
pp: 842-865
Chang Xu , State Key Laboratory for Novel Software Technology and the Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, China
Wang Xi , State Key Laboratory for Novel Software Technology and the Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, China
S.C. Cheung , Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Kowloon, Hong Kong, China
Xiaoxing Ma , State Key Laboratory for Novel Software Technology and the Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, China
Chun Cao , State Key Laboratory for Novel Software Technology and the Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, China
Jian Lu , State Key Laboratory for Novel Software Technology and the Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, China
ABSTRACT
Context-aware applications adapt their behavior based on contexts. Contexts can, however, be incorrect. A popular means to build dependable applications is to augment them with a set of constraints to govern the consistency of context values. These constraints are evaluated upon context changes to detect inconsistencies so that they can be timely handled. However, we observe that many context inconsistencies are unstable. They vanish by themselves and do not require handling. Such inconsistencies are detected due to misaligned sensor sampling or improper inconsistency detection scheduling. We call them unstable context inconsistencies (or STINs). STINs should be avoided to prevent unnecessary inconsistency handling and unstable behavioral adaptation to applications. In this article, we study STINs systematically, from examples to theoretical analysis, and present algorithms to suppress their detection. Our key insight is that only certain patterns of context changes can make a consistency constraint subject to the detection of STINs. We derive such patterns and proactively use them to suppress the detection of STINs. We implemented our idea and applied it to real-world applications. Experimental results confirmed its effectiveness in suppressing the detection of numerous STINs with negligible overhead, while preserving the detection of stable context inconsistencies that require inconsistency handling.
INDEX TERMS
Context, Schedules, Delays, Sensors, Middleware, Finite element analysis
CITATION

C. Xu, W. Xi, S. Cheung, X. Ma, C. Cao and J. Lu, "Cina: Suppressing the Detection of Unstable Context Inconsistency," in IEEE Transactions on Software Engineering, vol. 41, no. 9, pp. 842-865, 2015.
doi:10.1109/TSE.2015.2418760
526 ms
(Ver 3.3 (11022016))