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 条
  • [31] Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering
    Feichtinger, Kevin
    Kegel, Karl
    Pascual, Romain
    Assmann, Uwe
    Beckert, Bernhard
    Reussner, Ralf
    ACM/IEEE 27TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS: COMPANION PROCEEDINGS, MODELS 2024, 2024, : 915 - 919
  • [32] Scenario-based Behavioral Nonexistent Consistency Checking for Cyber-Physical Systems
    Zhang, Yan
    Liu, Xiangwei
    Shi, Jin
    Zhang, Tian
    Qian, Zhuzhong
    2014 EIGHTH INTERNATIONAL CONFERENCE ON INNOVATIVE MOBILE AND INTERNET SERVICES IN UBIQUITOUS COMPUTING (IMIS), 2014, : 58 - 65
  • [33] Cyber-Physical Systems for SmartGrid
    Dillon, Tharam S.
    Chang, Elizabeth
    Wu, Chen
    IECON 2010: 36TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2010,
  • [34] Survey on Cyber-physical Systems
    Li H.-Y.
    Wei M.-H.
    Huang J.
    Qiu B.-H.
    Zhao Y.
    Luo W.-C.
    He X.
    He X.
    Zidonghua Xuebao/Acta Automatica Sinica, 2019, 45 (01): : 37 - 50
  • [35] Education for Cyber-Physical Systems
    Henkel, Jorg
    IEEE DESIGN & TEST, 2020, 37 (06) : 4 - 4
  • [36] Cyber-Physical Systems - Security
    Zseby, T.
    ELEKTROTECHNIK UND INFORMATIONSTECHNIK, 2018, 135 (03): : 249 - 249
  • [37] The Cyber-Physical Systems Revolution
    Serpanos, Dimitrios
    COMPUTER, 2018, 51 (03) : 70 - 73
  • [38] Medical Cyber-Physical Systems
    Sokolsky, Oleg
    18TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2011), 2011, : 2 - 2
  • [39] Communication in Cyber-Physical Systems
    Mois, George
    Folea, Silviu
    Sanislav, Teodora
    Miclea, Liviu
    2015 19TH INTERNATIONAL CONFERENCE ON SYSTEM THEORY, CONTROL AND COMPUTING (ICSTCC), 2015, : 303 - 307
  • [40] Engineering Cyber-Physical Systems
    Gruhn, Volker
    Gries, Stefan
    Hesenius, Marc
    Ollesch, Julius
    Ur Rehman, Shafiq
    Schwenzfeier, Nils
    Wahl, Christian
    Wessling, Florian
    NEW TRENDS IN INTELLIGENT SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2017, 297 : 3 - 18
12345