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 条
  • [21] Cyber-Physical Systems in Smart Transportation
    Moeller, Dietmar P. F.
    Vakilzadian, Hamid
    2016 IEEE INTERNATIONAL CONFERENCE ON ELECTRO INFORMATION TECHNOLOGY (EIT), 2016, : 776 - 781
  • [22] Programming Cyber-Physical Systems with MacroLab
    Sookoor, Tamim I.
    Hnat, Timothy W.
    Whitehouse, Kamin
    SENSYS'08: PROCEEDINGS OF THE 6TH ACM CONFERENCE ON EMBEDDED NETWORKED SENSOR SYSTEMS, 2008, : 363 - 364
  • [23] Threat modeling in cyber-physical systems
    Fernandez, Eduardo B.
    2016 IEEE 14TH INTL CONF ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, 14TH INTL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING, 2ND INTL CONF ON BIG DATA INTELLIGENCE AND COMPUTING AND CYBER SCIENCE AND TECHNOLOGY CONGRESS (DASC/PICOM/DATACOM/CYBERSC, 2016, : 448 - 453
  • [24] Doping Tests for Cyber-physical Systems
    Biewer, Sebastian
    D'Argenio, Pedro
    Hermanns, Holger
    ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2021, 31 (03):
  • [25] Runtime Enforcement of Cyber-Physical Systems
    Pinisetty, Srinivas
    Roop, Partha S.
    Smyth, Steven
    Allen, Nathan
    Tripakis, Stavros
    Von Hanxleden, Reinhard
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2017, 16
  • [26] A Framework for Developing Cyber-Physical Systems
    He, Xudong
    Dong, Zhijiang
    Yin, Heng
    Fu, Yujian
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2017, 27 (9-10) : 1361 - 1386
  • [27] Cyber-Physical Systems in STEM Disciplines
    Azad, Abul K. M.
    Hashemian, Reza
    PROCEEDINGS OF THE 2016 SAI COMPUTING CONFERENCE (SAI), 2016, : 868 - 874
  • [28] Cyber-Physical Systems in Healthcare Networks
    Dogaru, Delia Ioana
    Dumitrache, Ioan
    2015 E-HEALTH AND BIOENGINEERING CONFERENCE (EHB), 2015,
  • [29] A survey on the security of cyber-physical systems
    Wu G.
    Sun J.
    Chen J.
    Control Theory and Technology, 2016, 14 (1) : 2 - 10
  • [30] Managing the Risks of Cyber-Physical Systems
    Axelrod, C. Warren
    2013 NINTH ANNUAL CONFERENCE ON LONG ISLAND SYSTEMS, APPLICATIONS AND TECHNOLOGY (LISAT 2013), 2013,
12345