首页|期刊导航|计算机科学技术学报（英文版）|SEPAL:A Consistency-Driven Programming Framework and Runtime Support for Human-Cyber-Physical Systems with Reliable Sensing and Dynamic Adaptation
计算机科学技术学报（英文版）2025，Vol.40Issue(4)：958-968,11.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
SEPAL:A Consistency-Driven Programming Framework and Runtime Support for Human-Cyber-Physical Systems with Reliable Sensing and Dynamic Adaptation
摘要
关键词
human-cyber-physical system(HCPS)/sensing and adaptation assurance/programming framework/run-time supportKey words
human-cyber-physical system(HCPS)/sensing and adaptation assurance/programming framework/run-time support引用本文复制引用
张舒慧,许畅,杨嵘,张灵毓,李晗,王明骁,高明晨,胡皓明,王慧妍,秦逸..SEPAL:A Consistency-Driven Programming Framework and Runtime Support for Human-Cyber-Physical Systems with Reliable Sensing and Dynamic Adaptation[J].计算机科学技术学报（英文版）,2025,40(4):958-968,11.基金项目
This work was supported by the National Key Research and Development Program of China under Grant No.2022YFB450-1801,the National Natural Science Foundation of China under Grant Nos.62302209 and 62472210,and the Leading-Edge Technolo-gy Program of Jiangsu Natural Science Foundation under Grant No.BK20202001.The authors would also like to thank the support from the Collaborative Innovation Center of Novel Software Technology and Industrialization,Jiangsu,China. （）
