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 behavior 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