.png){kind=icon}
返回
Incremental-concurrent fusion checking for efficient context consistency
.png){kind=icon}
PRE
AI
DOI：10.1016/j.jss.2023.111852.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Smart applications can adapt their behaviors based on their understanding to environments (a.k.a. contexts). This capability can, however, incur unexpected misbehavior or even crash, when application contexts are inaccurate or conflicting with each other due to environmental noises. In the recent decade, various constraint checking techniques have been proposed to help validate contexts against consistency constraints, in order to guard context consistency in time. However, with growing environmental dynamics and context volume, it is getting increasingly challenging to ensure context consistency. In this article, we propose a novel approach, INFUSE, to fuse together two lines of techniques, namely, incremental checking and concurrent checking, for sound and efficient constraint checking. Realizing such check fusion has to address the challenges rising from the gap between the micro analysis for reusable elements in incremental checking and the macro collection of parallel tasks in concurrent checking. INFUSE solves them by automatically deciding maximal concurrent boundaries in a sequence of context changes, and soundly fusing incremental and concurrent checking together for context consistency, with theoretical guarantees. Our experimental evaluation with real-world context data shows that INFUSE could improve constraint checking efficiency by 3.0x-120.3x, as compared with existing state-of-the-art techniques, with better checking quality.
Keyword:
Constraint checking
Context consistency
Check fusion
期刊
IF:
4.1
论文数:
5.5K
被引数:
8.4K
机构
引用论文
Curvilinear features in the southern hemisphere observed by Mars Global Surveyor Mars Orbiter Camera.png)
Icarus
IcarusIF0
PREAI
分享收藏Adaptive Data Collection Using UAV With Wireless Power Transfer for Wireless Rechargeable Sensor Networks使用具有无线功率传输的无人机进行无线可充电传感器网络的自适应数据收集IEEE ACCESS
OAAI
IEEE ACCESSIF3.6
OAAI分享收藏
查看更多内容