A survey on run-time supporting platforms for cyber physical systems

被引:0
|
作者
Yuan Sun
Gang Yang
Xing-she Zhou
机构
[1] Northwestern Polytechnical University,School of Computer Science and Engineering
关键词
Cyber physical system (CPS); Run-time supporting platforms; Component; Service; Agent; TP311;
D O I
暂无
中图分类号
学科分类号
摘要
Cyber physical systems (CPSs) incorporate computation, communication, and physical processes. The deep coupling and continuous interaction between such processes lead to a significant increase in complexity in the design and implementation of CPSs. Consequently, whereas developing CPSs from scratch is inefficient, developing them with the aid of CPS run-time sup-porting platforms can be efficient. In recent years, much research has been actively conducted on CPS run-time supporting plat-forms. However, few surveys have been conducted on these platforms. In this paper, we analyze and evaluate existing CPS run-time supporting platforms by first classifying them into three categories from the viewpoint of software architecture: com-ponent-based platforms, service-based platforms, and agent-based platforms. Then, for each type, we detail its design philosophy, key technical problems, and corresponding solutions with specific use cases. Subsequently, we compare existing platforms from two aspects: construction approaches for CPS tasks and support for non-functional properties. Finally, we outline several im-portant future research issues.
引用
收藏
页码:1458 / 1478
页数:20
相关论文
共 50 条
  • [1] A survey on run-time supporting platforms for cyber physical systems
    Sun, Yuan
    Yang, Gang
    Zhou, Xing-she
    [J]. FRONTIERS OF INFORMATION TECHNOLOGY & ELECTRONIC ENGINEERING, 2017, 18 (10) : 1458 - 1478
  • [2] A survey on run-time supporting platforms for cyber physical systems
    Yuan SUN
    Gang YANG
    Xing-she ZHOU
    [J]. Frontiers of Information Technology & Electronic Engineering, 2017, 18 (10) : 1458 - 1478
  • [3] A Reliable, Safe, and Secure Run-Time Platform for Cyber Physical Systems
    Lim, Sung-Soo
    Im, Eun-Jin
    Dutt, Nikil
    Lee, Kyung Woo
    Shin, Insik
    Lee, Chang-Gun
    Lee, Insup
    [J]. 2013 IEEE SIXTH INTERNATIONAL CONFERENCE ON SERVICE-ORIENTED COMPUTING AND APPLICATIONS (SOCA), 2013, : 268 - 274
  • [4] A run-time verification method with consideration of uncertainties for cyber-physical systems
    Mehrabian, Mohammadreza
    Khayatian, Mohammad
    Shrivastava, Aviral
    Derler, Patricia
    Andrade, Hugo
    [J]. MICROPROCESSORS AND MICROSYSTEMS, 2023, 101
  • [5] Securing Industrial Cyber-Physical Systems: A Run-Time Multilayer Monitoring
    Khan, Muhammad Taimoor
    Tomic, Ivana
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2021, 17 (09) : 6251 - 6259
  • [6] A Platform for Run-time Health Verification of Elastic Cyber-physical Systems
    Moldovan, Daniel
    Hong-Linh Truong
    [J]. 2016 IEEE 24TH INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS AND SIMULATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS (MASCOTS), 2016, : 379 - 384
  • [7] Survey on the run-time systems of enterprise application integration platforms focusing on performance
    Freire, Daniela L.
    Frantz, Rafael Z.
    Roos-Frantz, Fabricia
    Sawicki, Sandro
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2019, 49 (03): : 341 - 360
  • [8] Software Rejuvenation for Safe Operation of Cyber-Physical Systems in the Presence of Run-Time Cyberattacks
    Romagnoli, Raffaele
    Krogh, Bruce H.
    de Niz, Dionisio
    Hristozov, Anton D.
    Sinopoli, Bruno
    [J]. IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2023, 31 (04) : 1565 - 1580
  • [9] Using Run-Time Checking to Provide Safety and Progress for Distributed Cyber-Physical Systems
    Bak, Stanley
    Abad, Fardin Abdi Taghi
    Huang, Zhenqi
    Caccamo, Marco
    [J]. 2013 IEEE 19TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA), 2013, : 287 - 296
  • [10] A survey of systems for detecting serial run-time errors
    Luecke, Glenn R.
    Coyle, James
    Hoekstra, Jim
    Kraeva, Marina
    Li, Ying
    Taborskaia, Olga
    Wang, Yanmei
    [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2006, 18 (15): : 1885 - 1907