Consistency and Synchronization for Workflows in Cyber-physical Systems

被引：6
|
作者：
Seiger, Ronny [1 ]
Assmann, Uwe [1 ]
机构：
[1] Tech Univ Dresden, Dresden, Germany
来源：
ICCPS '19: PROCEEDINGS OF THE 2019 10TH ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS | 2019年
关键词：
Workflows; Cyber-physical Systems; Digital Twins;
D O I：
10.1145/3302509.3313317
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Workflow technologies provide sophisticated concepts and tools for a simplified high-level programming of enterprise applications across individual systems and organizational borders. They are also useful to compose flexible and reusable workflows in cyber-physical systems (CPS) involving hardware devices, software applications, smart objects and humans. In this work, we discuss the concepts of Cyber-physical Consistency and Cyber-physical Synchronization for workflows in CPS. Consistency enables verification of the workflow execution by comparing the assumed virtual world outcome with the actual effects in the physical world. Synchronization is used for restoring a consistent state in case of deviations realized by the MAPE-K control loop for self-adaptive systems. We discuss these concepts based on example workflows in the smart home domain.
引用
收藏
页码：312 / 313
页数：2
相关论文
共 50 条
  • [21] Managing Variability of Cyber-Physical Production Systems: Towards Consistency Management
    Fadhlillah, Hafiyyan Sayyid
    Greiner, Sandra
    Feichtinger, Kevin
    Zoitl, Alois
    Rabiser, Rick
    ACM/IEEE 27TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS: COMPANION PROCEEDINGS, MODELS 2024, 2024, : 945 - 949
  • [22] Secure Synchronization Control for a Class of Cyber-Physical Systems With Unknown Dynamics
    Wang, Ning
    Li, Xiaojian
    IEEE-CAA JOURNAL OF AUTOMATICA SINICA, 2020, 7 (05) : 1215 - 1224
  • [23] Secure Synchronization Control for a Class of Cyber-Physical Systems With Unknown Dynamics
    Ning Wang
    Xiaojian Li
    IEEE/CAA Journal of Automatica Sinica, 2020, 7 (05) : 1215 - 1224
  • [24] Cyber-Physical Zero Trust Architecture for Industrial Cyber-Physical Systems
    Feng, Xiaomeng
    Hu, Shiyan
    IEEE Transactions on Industrial Cyber-Physical Systems, 2023, 1 : 394 - 405
  • [25] Engineering with cyber-physical systems - From mechatronic to cyber-physical engineering
    Scheifele, Stefan
    Verl, Alexander
    Riedel, Oliver
    ATP MAGAZINE, 2018, (11-12): : 68 - 78
  • [26] Energy management for multiple real-time workflows on cyber-physical cloud systems
    Xie, Guoqi
    Zeng, Gang
    Jiang, Junqiang
    Fan, Chunnian
    Li, Renfa
    Li, Keqin
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2020, 105 : 916 - 931
  • [27] Finite-time Cluster Synchronization Control of Cyber-Physical Systems under Cyber Attack
    Huang, Yang-Cheng
    Li, Jun-Yi
    Rao, Hong-Xia
    Chen, Hui
    2022 IEEE 17TH INTERNATIONAL CONFERENCE ON CONTROL & AUTOMATION, ICCA, 2022, : 948 - 953
  • [28] Cyber-Physical Systems Attestation
    Valente, Junia
    Barreto, Carlos
    Cardenas, Alvaro A.
    2014 IEEE INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING IN SENSOR SYSTEMS (IEEE DCOSS 2014), 2014, : 354 - 357
  • [29] Cyber-physical systems for SmartGrid
    Dillon, Tharam S.
    Chang, Elizabeth
    Wu, Chen
    IECON Proceedings (Industrial Electronics Conference), 2010, : 13 - 14
  • [30] EDA for Cyber-Physical Systems
    Chakraborty, Samarjit
    2017 7TH INTERNATIONAL SYMPOSIUM ON EMBEDDED COMPUTING AND SYSTEM DESIGN (ISED), 2017,
12345