{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T11:13:57Z","timestamp":1758107637361,"version":"3.44.0"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T00:00:00Z","timestamp":1751328000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T00:00:00Z","timestamp":1751328000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. Technol."],"published-print":{"date-parts":[[2025,7]]},"DOI":"10.1007\/s11390-025-5132-6","type":"journal-article","created":{"date-parts":[[2025,8,11]],"date-time":"2025-08-11T05:34:58Z","timestamp":1754890498000},"page":"958-968","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["SEPAL: A Consistency-Driven Programming Framework and Runtime Support for Human-Cyber-Physical Systems with Reliable Sensing and Dynamic Adaptation"],"prefix":"10.1007","volume":"40","author":[{"given":"Shu-Hui","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rong","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ling-Yu","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Han","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ming-Xiao","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ming-Chen","family":"Gao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hao-Ming","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hui-Yan","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yi","family":"Qin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chang","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,8,11]]},"reference":[{"issue":"4","key":"5132_CR1","doi-asserted-by":"publisher","first-page":"624","DOI":"10.1016\/j.eng.2019.07.015","volume":"5","author":"J Zhou","year":"2019","unstructured":"Zhou J, Zhou Y, Wang B, Zang J. Human\u2013cyber\u2013physical systems (HCPSs) in the context of new-generation intelligent manufacturing. Engineering, 2019, 5(4): 624\u2013636. DOI: https:\/\/doi.org\/10.1016\/j.eng.2019.07.015.","journal-title":"Engineering"},{"key":"5132_CR2","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1016\/j.jmsy.2022.05.005","volume":"63","author":"B Wang","year":"2022","unstructured":"Wang B, Zheng P, Yin Y, Shih A, Wang L. Toward human-centric smart manufacturing: A human-cyber-physical systems (HCPS) perspective. Journal of Manufacturing Systems, 2022, 63: 471\u2013490. DOI: https:\/\/doi.org\/10.1016\/j.jmsy.2022.05.005.","journal-title":"Journal of Manufacturing Systems"},{"issue":"5","key":"5132_CR3","doi-asserted-by":"publisher","first-page":"629","DOI":"10.5829\/idosi.mejsr.2013.15.5.11215","volume":"15","author":"K N Qureshi","year":"2013","unstructured":"Qureshi K N, Abdullah A H. A survey on intelligent transportation systems. Middle-East Journal of Scientific Research, 2013, 15(5): 629\u2013642. DOI: https:\/\/doi.org\/10.5829\/idosi.mejsr.2013.15.5.11215.","journal-title":"Middle-East Journal of Scientific Research"},{"issue":"4","key":"5132_CR4","doi-asserted-by":"publisher","first-page":"194203","DOI":"10.1007\/s11704-024-3449-x","volume":"19","author":"R Wang","year":"2025","unstructured":"Wang R, Mou X, Wo T, Zhang M, Liu Y, Wang T, Liu P, Yan J, Liu X. ACbot: An IIoT platform for industrial robots. Frontiers of Computer Science, 2025, 19(4): 194203. DOI: https:\/\/doi.org\/10.1007\/s11704-024-3449-x.","journal-title":"Frontiers of Computer Science"},{"issue":"12","key":"5132_CR5","doi-asserted-by":"publisher","first-page":"4242","DOI":"10.3837\/tiis.2014.12.001","volume":"8","author":"V Gunes","year":"2014","unstructured":"Gunes V, Peter S, Givargis T, Vahid F. A survey on concepts, applications, and challenges in cyber-physical systems. KSII Trans. Internet and Information Systems, 2014, 8(12): 4242\u20134268. DOI: https:\/\/doi.org\/10.3837\/tiis.2014.12.001.","journal-title":"KSII Trans. Internet and Information Systems"},{"key":"5132_CR6","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/j.cose.2017.04.005","volume":"68","author":"Y Ashibani","year":"2017","unstructured":"Ashibani Y, Mahmoud Q H. Cyber physical systems security: Analysis, challenges and solutions. Computers & Security, 2017, 68: 81\u201397. DOI: https:\/\/doi.org\/10.1016\/j.cose.2017.04.005.","journal-title":"Computers & Security"},{"issue":"1","key":"5132_CR7","doi-asserted-by":"publisher","first-page":"106 127","DOI":"10.1007\/s11390-021-1484-8","volume":"37","author":"W H Yang","year":"2022","unstructured":"Yang W H, Pan M X, Zhou Y, Huang Z Q. Meaningful update and repair of Markov decision processes for self-adaptive systems. Journal of Computer Science and Technology, 2022, 37(1): 106 127. DOI: https:\/\/doi.org\/10.1007\/s11390-021-1484-8.","journal-title":"Journal of Computer Science and Technology"},{"key":"5132_CR8","doi-asserted-by":"publisher","unstructured":"Yang W, Xu C, Pan M, Ma X, Lu J. Improving verification accuracy of cps by modeling and calibrating interaction uncertainty. ACM Trans. Internet Technology, 2018, 18(2): Article No. 20. DOI: https:\/\/doi.org\/10.1145\/3093894.","DOI":"10.1145\/3093894"},{"key":"5132_CR9","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/SEAMS.2012.6224396","volume-title":"Proc. the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","author":"A J Ramirez","year":"2012","unstructured":"Ramirez A J, Jensen A C, Cheng B H C. A taxonomy of uncertainty for dynamically adaptive systems. In Proc. the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Jun. 2012, pp.99\u2013108. DOI: https:\/\/doi.org\/10.1109\/SEAMS.2012.6224396."},{"issue":"5","key":"5132_CR10","doi-asserted-by":"publisher","first-page":"784","DOI":"10.1109\/JAS.2022.105548","volume":"9","author":"W Duo","year":"2022","unstructured":"Duo W, Zhou M, Abusorrah A. A survey of cyber attacks on cyber physical systems: Recent advances and challenges. IEEE\/CAA Journal of Automatica Sinica, 2022, 9(5): 784\u2013800. DOI: https:\/\/doi.org\/10.1109\/JAS.2022.105548.","journal-title":"IEEE\/CAA Journal of Automatica Sinica"},{"issue":"1","key":"5132_CR11","doi-asserted-by":"publisher","first-page":"191201","DOI":"10.1007\/s11704-023-2701-0","volume":"19","author":"R Wang","year":"2025","unstructured":"Wang R, Tian X, Ying S. Performance issue monitoring, identification and diagnosis of SaaS software: A survey. Frontiers of Computer Science, 2025, 19(1): 191201. DOI: https:\/\/doi.org\/10.1007\/s11704-023-2701-0.","journal-title":"Frontiers of Computer Science"},{"issue":"2","key":"5132_CR12","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/857076.857078","volume":"35","author":"P T Eugster","year":"2003","unstructured":"Eugster P T, Felber P A, Guerraoui R, Kermarrec A M. The many faces of publish\/subscribe. ACM Computing Surveys, 2003, 35(2): 114\u2013131. DOI: https:\/\/doi.org\/10.1145\/857076.857078.","journal-title":"ACM Computing Surveys"},{"key":"5132_CR13","doi-asserted-by":"publisher","unstructured":"Xu C, Cheung S C, Chan W K, Ye C. Partial constraint checking for context consistency in pervasive computing. ACM Trans. Software Engineering and Methodology, 2010, 19(3): Article No. 9. DOI: https:\/\/doi.org\/10.1145\/1656250.1656253.","DOI":"10.1145\/1656250.1656253"},{"issue":"3","key":"5132_CR14","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1109\/TSE.2019.2898976","volume":"47","author":"H Wang","year":"2021","unstructured":"Wang H, Xu C, Guo B, Ma X, Lu J. Generic adaptive scheduling for efficient context inconsistency detection. IEEE Trans. Software Engineering, 2021, 47(3): 464\u2013497. DOI: https:\/\/doi.org\/10.1109\/TSE.2019.2898976.","journal-title":"IEEE Trans. Software Engineering"},{"key":"5132_CR15","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1109\/ICSME55016.2022.00025","volume-title":"Proc. the 2022 IEEE International Conference on Software Maintenance and Evolution","author":"L Zhang","year":"2022","unstructured":"Zhang L, Wang H, Xu C, Yu P. INFuse: Towards efficient context consistency by incremental-concurrent check fusion. In Proc. the 2022 IEEE International Conference on Software Maintenance and Evolution, Oct. 2022, pp.187\u2013198. DOI: https:\/\/doi.org\/10.1109\/ICSME55016.2022.00025."},{"issue":"6","key":"5132_CR16","doi-asserted-by":"publisher","first-page":"1342","DOI":"10.1007\/s11390-021-1671-7","volume":"36","author":"Z H Li","year":"2021","unstructured":"Li Z H, Feng X Y. Verifying contextual refinement with ownership transfer. Journal of Computer Science and Technology, 2021, 36(6): 1342\u20131366. DOI: https:\/\/doi.org\/10.1007\/s11390-021-1671-7.","journal-title":"Journal of Computer Science and Technology"},{"issue":"8","key":"5132_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11432-013-4907-5","volume":"56","author":"C Xu","year":"2013","unstructured":"Xu C, Liu Y, Cheung S C, Cao C, Lv J. Towards context consistency by concurrent checking for internetware applications. Science China Information Sciences, 2013, 56(8): 1\u201320. DOI: https:\/\/doi.org\/10.1007\/s11432-013-4907-5.","journal-title":"Science China Information Sciences"},{"issue":"1","key":"5132_CR18","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1109\/TR.2019.2933324","volume":"69","author":"Y Qin","year":"2020","unstructured":"Qin Y, Xie T, Xu C, Astorga A, Lu J. CoMID: Context-Based multiinvariant detection for monitoring cyber-physical software. IEEE Trans. Reliability, 2020, 69(1): 106\u2013123. DOI: https:\/\/doi.org\/10.1109\/TR.2019.2933324.","journal-title":"IEEE Trans. Reliability"},{"issue":"1\/2\/3","key":"5132_CR19","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.scico.2007.01.015","volume":"69","author":"M D Ernst","year":"2007","unstructured":"Ernst M D, Perkins J H, Guo P J, McCamant S, Pacheco C, Tschantz M S, Xiao C. The daikon system for dynamic detection of likely invariants. Science of Computer Programming, 2007, 69(1\/2\/3): 35\u201345. DOI: https:\/\/doi.org\/10.1016\/j.scico.2007.01.015.","journal-title":"Science of Computer Programming"},{"issue":"2","key":"5132_CR20","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/514183.514186","volume":"2","author":"C Nentwich","year":"2002","unstructured":"Nentwich C, Capra L, Emmerich W, Finkelsteiin A. xlinkit: A consistency checking and smart link generation service. ACM Trans. Internet Technology, 2002, 2(2): 151\u2013185. DOI: https:\/\/doi.org\/10.1145\/514183.514186.","journal-title":"ACM Trans. Internet Technology"},{"key":"5132_CR21","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1145\/1368088.1368127","volume-title":"Proc. the 30th International Conference on Software Engineering","author":"C Csallner","year":"2008","unstructured":"Csallner C, Tillmann N, Smaragdakis Y. DySy: Dynamic symbolic execution for invariant inference. In Proc. the 30th International Conference on Software Engineering, May 2008, pp.281\u2013290. DOI: https:\/\/doi.org\/10.1145\/1368088.1368127."},{"key":"5132_CR22","doi-asserted-by":"publisher","first-page":"678","DOI":"10.1109\/DSN.2018.00074","volume-title":"Proc. the 48th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks","author":"A Astorga","year":"2018","unstructured":"Astorga A, Srisakaokul S, Xiao X, Xie T. Preinfer: Automatic inference of preconditions via symbolic analysis. In Proc. the 48th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks, Jun. 2018, pp.678\u2013689. DOI: https:\/\/doi.org\/10.1109\/DSN.2018.00074."},{"key":"5132_CR23","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1145\/2610384.2610389","volume-title":"Proc. the 2014 International Symposium on Software Testing and Analysis","author":"L Zhang","year":"2014","unstructured":"Zhang L, Yang G, Rungta N, Person S, Khurshid S. Feedback-driven dynamic invariant discovery. In Proc. the 2014 International Symposium on Software Testing and Analysis, Jul. 2014, pp.362\u2013372. DOI: https:\/\/doi.org\/10.1145\/2610384.2610389."},{"key":"5132_CR24","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/1134285.1134327","volume-title":"Proc. the 28th International Conference on Software Engineering","author":"C Xu","year":"2006","unstructured":"Xu C, Cheung S C, Chan W K. Incremental consistency checking for pervasive context. In Proc. the 28th International Conference on Software Engineering, May 2006, pp.292\u2013301. DOI: https:\/\/doi.org\/10.1145\/1134285.1134327."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-025-5132-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11390-025-5132-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-025-5132-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T06:36:40Z","timestamp":1758091000000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11390-025-5132-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7]]},"references-count":24,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,7]]}},"alternative-id":["5132"],"URL":"https:\/\/doi.org\/10.1007\/s11390-025-5132-6","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"type":"print","value":"1000-9000"},{"type":"electronic","value":"1860-4749"}],"subject":[],"published":{"date-parts":[[2025,7]]},"assertion":[{"value":"29 December 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 March 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 August 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Conflict of Interest The authors declare that they have no conflict of interest.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics"}}]}}