REAL

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

[img]
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.

Item Type: Book Section
Subjects: Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány
SWORD Depositor: MTMT SWORD
Depositing User: MTMT SWORD
Date Deposited: 01 Aug 2017 08:06
Last Modified: 01 Aug 2017 08:06
URI: http://real.mtak.hu/id/eprint/57698

Actions (login required)

Edit Item Edit Item