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 条
  • [1] View Consistency in Architectures for Cyber-Physical Systems
    Bhave, Ajinkya
    Krogh, Bruce H.
    Garlan, David
    Schmerl, Bradley
    2011 ACM/IEEE SECOND INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2011), 2011, : 151 - 160
  • [2] Enabling Self-adaptive Workflows for Cyber-physical Systems
    Seiger, Ronny
    Huber, Steffen
    Heisig, Peter
    Assmann, Uwe
    ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, BPMDS 2016, 2016, 248 : 3 - 17
  • [3] Toward a framework for self-adaptive workflows in cyber-physical systems
    Seiger, Ronny
    Huber, Steffen
    Heisig, Peter
    Assmann, Uwe
    SOFTWARE AND SYSTEMS MODELING, 2019, 18 (02): : 1117 - 1134
  • [4] Toward a framework for self-adaptive workflows in cyber-physical systems
    Ronny Seiger
    Steffen Huber
    Peter Heisig
    Uwe Aßmann
    Software & Systems Modeling, 2019, 18 : 1117 - 1134
  • [5] Cyber-physical Systems
    Wolf, Wayne
    COMPUTER, 2009, 42 (03) : 88 - 89
  • [6] Cyber-Physical Systems
    Letichevsky A.A.
    Letychevskyi O.O.
    Skobelev V.G.
    Volkov V.A.
    Letichevsky, A.A. (aaletichevsky78@gmail.com), 2017, Springer Science and Business Media, LLC (53) : 821 - 834
  • [7] Toward an execution system for self-healing workflows in cyber-physical systems
    Seiger, Ronny
    Huber, Steffen
    Schlegel, Thomas
    SOFTWARE AND SYSTEMS MODELING, 2018, 17 (02): : 551 - 572
  • [8] Toward an execution system for self-healing workflows in cyber-physical systems
    Ronny Seiger
    Steffen Huber
    Thomas Schlegel
    Software & Systems Modeling, 2018, 17 : 551 - 572
  • [9] Automatic Generation of Workflows for Efficient Design Space Exploration for Cyber-Physical Systems
    Vanommeslaeghe, Yon
    Denil, Joachim
    Van Acker, Bert
    De Meulenaere, Paul
    IEEE CONGRESS ON CYBERMATICS / 2021 IEEE INTERNATIONAL CONFERENCES ON INTERNET OF THINGS (ITHINGS) / IEEE GREEN COMPUTING AND COMMUNICATIONS (GREENCOM) / IEEE CYBER, PHYSICAL AND SOCIAL COMPUTING (CPSCOM) / IEEE SMART DATA (SMARTDATA), 2021, : 346 - 351
  • [10] The Cyber-Physical Systems Revolution
    Serpanos, Dimitrios
    COMPUTER, 2018, 51 (03) : 70 - 73
12345