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

Szilágyi, Gábor and Vörös, András (2017) Distributed Runtime Verification of Cyber-Physical Systems Based on Graph Pattern Matching. In: Proceedings of the 24th PhD Mini-Symposium. BME MIT, Budapest, pp. 78-81. ISBN 978-963-313-243-2

Preview

Text Minisy2017_Szilagyi.pdf Download (531kB) | Preview

Abstract

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.

Actions (login required)

Edit Item