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] Rea: Workflows for Cyber-Physical Systems
    Juhasz, David
    Domoszlai, Laszlo
    Kralik, Barnabas
    CENTRAL EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL, CEFP 2013, 2015, 8606 : 479 - 506
  • [2] 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
  • [3] Synchronization of Distributed Controllers in Cyber-Physical Systems
    Lesi, Vuk
    Jakovljevic, Zivana
    Pajic, Miroslav
    2019 24TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2019, : 710 - 717
  • [4] 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
  • [5] Ontological Reasoning for Consistency in the Design of Cyber-Physical Systems
    Vanherpen, Ken
    Denil, Joachim
    David, Istvan
    De Meulenaere, Paul
    Mosterman, Pieter J.
    Torngren, Martin
    Qamar, Ahsan
    Vangheluwe, Hans
    2016 1ST INTERNATIONAL WORKSHOP ON CYBER-PHYSICAL PRODUCTION SYSTEMS (CPPS), 2016,
  • [6] 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
  • [7] 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
  • [8] Automated Consistency Preservation in Electronics Development of Cyber-Physical Systems
    Zimmermann, Daniel
    Reussner, Ralf H.
    SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS, 2018, 11176 : 506 - 511
  • [9] Consistency vs. Availability in Distributed Cyber-Physical Systems
    Lee, Edward A.
    Akella, Ravi
    Bateni, Soroush
    Lin, Shaokai
    Lohstroh, Marten
    Menard, Christian
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2023, 22 (05)
  • [10] Cyber-physical Systems
    Wolf, Wayne
    COMPUTER, 2009, 42 (03) : 88 - 89
12345