Distributed Runtime Verification Of Cyber-Physical Systems Based On Graph Pattern Matching

Gábor Szilágyi, András Vörös
2017 Zenodo  
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 to the complex interaction with the changing environment, the distributed
more » ... vior and the intelligent/autonomous solutions. In this paper we present a framework for distributed runtime verification of cyber-physical systems including the solution for executing queries on a distributed model stored on multiple nodes.
doi:10.5281/zenodo.291906 fatcat:ra5i6kxlwbbx7lwsvabzrxnh7i