Home // SOFTENG 2017, The Third International Conference on Advances and Trends in Software Engineering // View article

Method for Automatic Resumption of Runtime Verification Monitors

Authors:
Christian Drabek
Gereon Weiss
Bernhard Bauer

Keywords: resumption; runtime verification; monitor; state machine; networked embedded systems; model-based

Abstract:
In networked embedded systems created with parts from different suppliers, deviations from the expected communication behavior often cause integration problems. Therefore, runtime verification monitors are used to detect if observed communication behavior fulfills defined correctness properties. However, in order to resume verification if unspecified behavior is observed, the runtime monitor needs a definition of the resumption. Otherwise, further deviations may be overlooked. We present a method for extending state-based runtime monitors with resumption in an automated way. This enables continuous monitoring without interruption. The method may exploit diverse resumption algorithms. In an evaluation, we show how to find the best suited resumption extension for a specific application scenario and compare the algorithms.

Pages: 31 to 36

Copyright: Copyright (c) IARIA, 2017

Publication date: April 23, 2017

Published in: conference

ISSN: 2519-8394

ISBN: 978-1-61208-553-1

Location: Venice, Italy

Dates: from April 23, 2017 to April 27, 2017