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] Task Scheduling in Cyber-Physical Systems
    Liu, Chunyao
    Zhang, Lichen
    Zhang, Daqiang
    2014 IEEE 11TH INTL CONF ON UBIQUITOUS INTELLIGENCE AND COMPUTING AND 2014 IEEE 11TH INTL CONF ON AUTONOMIC AND TRUSTED COMPUTING AND 2014 IEEE 14TH INTL CONF ON SCALABLE COMPUTING AND COMMUNICATIONS AND ITS ASSOCIATED WORKSHOPS, 2014, : 319 - 324
  • [32] Characterization of Cyber-Physical Sensor Systems
    Berger, Christoph
    Hees, Andreas
    Braunreuther, Stefan
    Reinhart, Gunther
    RESEARCH AND INNOVATION IN MANUFACTURING: KEY ENABLING TECHNOLOGIES FOR THE FACTORIES OF THE FUTURE - PROCEEDINGS OF THE 48TH CIRP CONFERENCE ON MANUFACTURING SYSTEMS, 2016, 41 : 638 - 643
  • [33] Linking Trust to Cyber-Physical Systems
    Auer, Dagmar
    Jaeger, Markus
    Kueng, Josef
    DATABASE AND EXPERT SYSTEMS APPLICATIONS (DEXA 2019), 2019, 1062 : 119 - 128
  • [34] Survey on Education for Cyber-Physical Systems
    Marwedel, Peter
    Mitra, Tulika
    Grimheden, Martin Edin
    Andrade, Hugo A.
    IEEE DESIGN & TEST, 2020, 37 (06) : 56 - 70
  • [35] Towards Collaborative Cyber-Physical Systems
    Nazarenko, Artem A.
    Camarinha-Matos, Luis M.
    2017 INTERNATIONAL YOUNG ENGINEERS FORUM (YEF-ECE), 2017, : 12 - 17
  • [36] Middleware to Support Cyber-Physical Systems
    Mohamed, Nader
    Al-Jaroodi, Jameela
    Lazarova-Molnar, Sanja
    Jawhar, Imad
    2016 IEEE 35TH INTERNATIONAL PERFORMANCE COMPUTING AND COMMUNICATIONS CONFERENCE (IPCCC), 2016,
  • [37] Semantic Interoperability in Cyber-Physical Systems
    Kunold, Ingo
    Woehrle, Hendrik
    Kuller, Markus
    Karaoglan, Nursi
    Kohlmorgen, Fabian
    Bauer, Joerg
    PROCEEDINGS OF THE 2019 10TH IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT DATA ACQUISITION AND ADVANCED COMPUTING SYSTEMS - TECHNOLOGY AND APPLICATIONS (IDAACS), VOL. 2, 2019, : 797 - 801
  • [38] Rethinking the Honeypot for Cyber-Physical Systems
    Litchfield, Samuel
    Formby, David
    Rogers, Jonathan
    Meliopoulos, Sakis
    Beyah, Raheem
    IEEE INTERNET COMPUTING, 2016, 20 (05) : 9 - 17
  • [39] EVIDENCE THEORY FOR CYBER-PHYSICAL SYSTEMS
    Santini, Riccardo
    Foglietta, Chiara
    Panzieri, Stefano
    CRITICAL INFRASTRUCTURE PROTECTION VIII, 2014, 441 : 95 - 109
  • [40] Modeling security in cyber-physical systems
    Burmester, Mike
    Magkos, Ernmanouil
    Chrissikopoulos, Vassilis
    INTERNATIONAL JOURNAL OF CRITICAL INFRASTRUCTURE PROTECTION, 2012, 5 (3-4) : 118 - 126
12345