Distributed Runtime Verification of Cyber-Physical Systems Based on Graph Pattern Matching

摘要

Cyber-physical systems process a huge amount of data coming from sensors and other information sources and they often have to provide real-time feedback and reaction. Cyber-physical systems are often critical, which means that their failure can lead to serious injuries or even loss of human lives. Ensuring correctness is an important issue, however traditional design-time verification approaches can not be applied due toudthe complex interaction with the changing environment, theuddistributed behavior and the intelligent/autonomous solutions.udIn this paper we present a framework for distributed runtimeudverification of cyber-physical systems including the solution for executing queries on a distributed model stored on multipleudnodes.