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 条
  • [41] Towards Robustness for Cyber-Physical Systems
    Tabuada, Paulo
    Caliskan, Sina Yamac
    Rungger, Matthias
    Majumdar, Rupak
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2014, 59 (12) : 3151 - 3163
  • [42] Advances in Cyber-Physical Systems Research
    Wan, Jiafu
    Yan, Hehua
    Suo, Hui
    Li, Fang
    KSII TRANSACTIONS ON INTERNET AND INFORMATION SYSTEMS, 2011, 5 (11): : 1891 - 1908
  • [43] Integrity Attacks on Cyber-Physical Systems
    Mo, Yilin
    Sinopoli, Bruno
    HICONS 12: PROCEEDINGS OF THE 1ST ACM INTERNATIONAL CONFERENCE ON HIGH CONFIDENCE NETWORKED SYSTEMS, 2012, : 47 - 54
  • [44] Semantic Cyber-physical Cloud Systems
    Beres, Adela
    2017 5TH INTERNATIONAL SYMPOSIUM ON DIGITAL FORENSIC AND SECURITY (ISDFS), 2017,
  • [45] Conformance Testing for Cyber-Physical Systems
    Woehrle, Matthias
    Lampka, Kai
    Thiele, Lothar
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2012, 11 (04)
  • [46] Collaborative Learning with Cyber-physical systems
    Pester, Andreas
    Madritsch, Christian
    Klinger, Thomas
    PROCEEDINGS OF 2015 IEEE GLOBAL ENGINEERING EDUCATION CONFERENCE (EDUCON), 2015, : 184 - 188
  • [47] A Notion of Robustness for Cyber-Physical Systems
    Rungger, Matthias
    Tabuada, Paulo
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2016, 61 (08) : 2108 - 2123
  • [48] Cyber-Physical Systems in Future Maintenance
    Lee, Jay
    Bagheri, Behrad
    9TH WCEAM RESEARCH PAPERS: VOL 1: PROCEEDINGS OF 2014 WORLD CONGRESS ON ENGINEERING ASSET MANAGEMENT, 2015, : 299 - 305
  • [49] Design and Analysis of Cyber-Physical Systems
    Plakhotnikov, Dmitriy P.
    Kotova, Elena E.
    PROCEEDINGS OF THE 2021 IEEE CONFERENCE OF RUSSIAN YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING (ELCONRUS), 2021, : 589 - 593
  • [50] Cybersecurity in Cyber-Physical Power Systems
    Ribas Monteiro, Luiz Fernando
    Rodrigues, Yuri R.
    Zambroni de Souza, A. C.
    ENERGIES, 2023, 16 (12)
12345