Human-cyber-physical systems: concepts, challenges, and research opportunities

被引:29
作者
Liu, Zhiming [1 ]
Wang, Ji [2 ]
机构
[1] Southwest Univ, Sch Comp & Informat Sci, RISE Ctr Res & Innovat Software Engn, Chongqing 400715, Peoples R China
[2] Natl Univ Def Technol, Sch Comp, State Key Lab High Performance Comp, Changsha 410073, Peoples R China
基金
中国国家自然科学基金;
关键词
Abstractions; Architecture modelling; Evolution; Software-defined technology; TP311; DESIGN; INTEROPERABILITY; SUSTAINABILITY; VERIFICATION; SECURITY;
D O I
10.1631/FITEE.2000537
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In this perspective article, we first recall the historic background of human-cyber-physical systems (HCPSs), and then introduce and clarify important concepts. We discuss the key challenges in establishing the scientific foundation from a system engineering point of view, including (1) complex heterogeneity, (2) lack of appropriate abstractions, (3) dynamic black-box integration of heterogeneous systems, (4) complex requirements for functionalities, performance, and quality of services, and (5) design, implementation, and maintenance of HCPS to meet requirements. Then we propose four research directions to tackle the challenges, including (1) abstractions and computational theory of HCPS, (2) theories and methods of HCPS architecture modelling, (3) specification and verification of model properties, and (4) software-defined HCPS. The article also serves as the editorial of this special section on cyber-physical systems and summarises the four articles included in this special section.
引用
收藏
页码:1535 / 1553
页数:19
相关论文
共 65 条
  • [1] THE ALGORITHMIC ANALYSIS OF HYBRID SYSTEMS
    ALUR, R
    COURCOUBETIS, C
    HALBWACHS, N
    HENZINGER, TA
    HO, PH
    NICOLLIN, X
    OLIVERO, A
    SIFAKIS, J
    YOVINE, S
    [J]. THEORETICAL COMPUTER SCIENCE, 1995, 138 (01) : 3 - 34
  • [2] Baheti R., 2011, IMPACT CONTROL TECHN, V1, P161
  • [3] Ensuring Safety, Security, and Sustainability of Mission-Critical Cyber-Physical Systems
    Banerjee, Ayan
    Venkatasubramanian, Krishna K.
    Mukherjee, Tridib
    Gupta, Sandeep Kumar S.
    [J]. PROCEEDINGS OF THE IEEE, 2012, 100 (01) : 283 - 299
  • [4] Bowen J.P., 2019, Engineering Trustworthy Software Systems, V2154, P159, DOI [10.1007/978-3-030-55089-9_5, DOI 10.1007/978-3-030-55089-9_5]
  • [5] Broy Manfred, 2012, Large-Scale Complex IT Systems. Development, Operation and Management. 17th Monterey Workshop 2012. Revised Selected Papers, P1, DOI 10.1007/978-3-642-34059-8_1
  • [6] The Challenge of Real-Time Multi-Agent Systems for Enabling IoT and CPS
    Calvaresi, Davide
    Marinoni, Mauro
    Sturm, Arnon
    Schumacher, Michael
    Buttazzo, Giorgio
    [J]. 2017 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE (WI 2017), 2017, : 356 - 364
  • [7] A CALCULUS OF DURATIONS
    CHAOCHEN, Z
    HOARE, CAR
    RAVN, AP
    [J]. INFORMATION PROCESSING LETTERS, 1991, 40 (05) : 269 - 276
  • [8] Architectures for enterprise integration and interoperability: Past, present and future
    Chen, David
    Doumeingts, Guy
    Vernadat, Francois
    [J]. COMPUTERS IN INDUSTRY, 2008, 59 (07) : 647 - 659
  • [9] Low Latency Approximate Adder for Highly Correlated Input Streams
    Chen, Xiaoliang
    Eltawil, Ahmed M.
    Kurdahi, Fadi J.
    [J]. 2017 IEEE 35TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD), 2017, : 121 - 124
  • [10] SDStorage: A Software Defined Storage Experimental Framework
    Darabseh, Ala'
    Al-Ayyoub, Mahmoud
    Jararweh, Yaser
    Benkhelifa, Elhadj
    Vouk, Mladen
    Rindos, Andy
    [J]. 2015 IEEE INTERNATIONAL CONFERENCE ON CLOUD ENGINEERING (IC2E 2015), 2015, : 341 - 346