Distributed Execution of Scenario-based Specifications of Structurally Dynamic Cyber-Physical Systems. (2016)

• Record Type: Journal Article
• Authors: Greenyer, Joel; Gritzner, Daniel; Katz, Guy; Marron, Assaf; Glade, Nils; Gutjahr, Timo; König, Florian
• Is Part Of: Procedia technology. Volume 26(2016)
• Page Start: 552
• Page End: 559
• Publication Date: 2016
• Subjects: scenario-based specification -- distributed execution -- cyber-physical system -- dynamic structure; Technology -- Congresses; Technology -- Periodicals; Engineering -- Congresses; Engineering -- Periodicals; Engineering; Technology; Conference proceedings; Periodicals; 605
• DOI: 10.1016/j.protcy.2016.08.069
• Languages: English
• ISSNs: 2212-0173

Abstract

Abstract: Cyber-physical systems are found in many areas, e.g., manufacturing or smart cities. They consist of multiple components that cooperate to provide the desired functionality. This need for cooperation causes complex interactions between components, which makes developing cyber-physical systems difficult, especially systems whose component structure changes dynamically at runtime. We have created a formal, scenario-based specification method which makes it easier to develop distributed cyber-physical systems. We previously presented an approach for the distributed execution of such specifications based on naive and inefficient broadcasting. In this paper we propose a more efficient approach which uses the available network resources more economically.