@article{Zhang2025, 
author = {Shu-Hui Zhang and Rong Yang and Ling-Yu Zhang and Han Li and Ming-Xiao Wang and Ming-Chen Gao and Hao-Ming Hu and Hui-Yan Wang and Yi Qin and Chang Xu},
title = {SEPAL: A Consistency-Driven Programming Framework and Runtime Support for Human-Cyber-Physical Systems with Reliable Sensing and Dynamic Adaptation},
year = {2025},
journal = {Journal of Computer Science and Technology},
volume = {40},
number = {4},
pages = {958-968},
keywords = {programming framework, human-cyber-physical system (HCPS), sensing and adaptation assurance, runtime support},
url = {https://www.sciopen.com/article/10.1007/s11390-025-5132-6},
doi = {10.1007/s11390-025-5132-6},
abstract = {In recent years, human-cyber-physical systems (HCPSs) have become increasingly complex due to the widespread adoption of environmental sensing and behavioral adaption. Apart from the tight coupling between application logic and sensing-adaptation modules, such applications are mainly constrained by erroneous sensing and abnormal adaptation issues, often resulting in misjudgment of scenarios or adaptation behaviors that deviate from intended goals. Reliability in constructing and maintaining such application systems faces significant challenges, especially as human-cyber-physical scenarios exhibit dynamic uncertainties and evolving requirements, further exacerbating the development difficulty. To address these challenges, we design and implement SEPAL, a consistency-driven programming framework and runtime support for HCPSs with reliable environmental sensing and dynamic adaptation. SEPAL simplifies the design of environmental sensing and behavioral adaption in HCPSs through a unified programming framework, and transparently manages the reliability of sensing and the unbiasedness of adaptation through its two built-in consistency-based services. SEPAL also provides a flexible browser-based management interface and a customizable interface design language for ease of usage. Case studies and evaluations demonstrate SEPAL’s facilitation of reliable support for various HCPSs, as well as the effectiveness and efficiency of environmental sensing and behavioral adaption capabilities.}
}