We use cookies to improve your experience with our site.
Zhang SH, Yang R, Zhang LY et al. SEPAL: A consistency-driven programming framework and runtime support for human-cyber-physical systems with reliable sensing and dynamic adaptation. JOURNAL OFCOMPUTER SCIENCE AND TECHNOLOGY. DOI: 10.1007/s11390-025-5132-6
Citation: Zhang SH, Yang R, Zhang LY et al. SEPAL: A consistency-driven programming framework and runtime support for human-cyber-physical systems with reliable sensing and dynamic adaptation. JOURNAL OFCOMPUTER SCIENCE AND TECHNOLOGY. DOI: 10.1007/s11390-025-5132-6

SEPAL: A Consistency-Driven Programming Framework and Runtime Support for Human-Cyber-Physical Systems with Reliable Sensing and Dynamic Adaptation

  • 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.
  • loading

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return