Towards socio-cyber-physical systems: a software perspective amid AI breakthroughs
Belbachir, A., Blake, M. B., Dong, J. S. , Dustdar, S., Ebert, C., Ghezzi, C., Harel, D., Helal, S., Hu, C., Huang, L., Jacobsen, H-A., Jiang, C., Jin, Z., Li, J., Liu, X., Lü, J., Ma, X., Marron, A., Mei, H., Nuseibeh, B.
ORCID: 0000-0002-3476-053X, Peng, X., Shi, Y., Wang, H., Wang, J., Wang, J., Weyns, D., Woodcock, J., Xie, T., Xu, H. H., Yang, M., Yin, J. & Zhan, N. (2026).
Towards socio-cyber-physical systems: a software perspective amid AI breakthroughs.
Science China Information Sciences, 69(9),
article number 193101.
doi: 10.1007/s11432-026-5037-1
Abstract
Software technology is undergoing a paradigm shift driven by two converging trends. First, the scope of software responsibility has expanded significantly: as “software-defined everything” becomes a reality, software has evolved into the integration core of sociocyber-physical systems (SCPSs). Second, the capabilities and development methods of software are being greatly enhanced by recent breakthroughs in artificial intelligence (AI). This article presents perspectives and observations on software engineering in this era of rapid progress. We aim to outline a set of foundational challenges in engineering SCPSs and highlight the need for innovative software solutions that extend beyond AI technologies alone. Specifically, we examine the need for a new paradigm that can address the complexities introduced by SCPSs, which challenge conventional paradigms through the blurring of system boundaries, continuous lifecycle evolution, and the embracing of inherent uncertainty. We highlight new engineering principles of socio-technical co-design, cyber-physical integration, and development-operation convergence, and a knowledge- and data-driven approach to taming uncertainty. Emerging proposals, including digital humanism, agentic SCPS, ubiquitous operating system, and continuous quality assurance, are discussed alongside possible extensions to existing technologies. We then outline key research directions for both runtime support and quality assurance. On the runtime side, we argue for a new generation of software infrastructure for SCPSs, including unified hardware abstractions, scalable and resilient runtime systems, AI-enabled system management, and human-centric operating system primitives. On the assurance side, we highlight the need for new approaches combining unified socio-cyber-physical modeling, specification of both technical and non-technical properties, data-driven simulation and testing, continuous verification, and runtime monitoring under uncertainty. Furthermore, we present specific challenges within key application domains, including intelligent vehicles, smart manufacturing, and smart cities. In doing so, we aim to stimulate discussion within the software engineering community and encourage support from industry and government to address the critical engineering and governance issues inherent to this new generation of systems.
| Publication Type: | Article |
|---|---|
| Additional Information: | © The Author(s) 2026. This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/. |
| Publisher Keywords: | socio-cyber-physical systems, ubiquitous computing, software engineering, software-defined everything, intelligent software |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Departments: | School of Science & Technology |
| SWORD Depositor: |
Available under License Creative Commons Attribution.
Download (1MB) | Preview
Export
Downloads
Downloads per month over past year
Metadata
Metadata