Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Resumption of runtime verification monitors: Method, approach and application

 
: Drabek, Christian; Weiß, Gereon; Bauer, Bernhard

:
Volltext urn:nbn:de:0011-n-5038426 (2.4 MByte PDF)
MD5 Fingerprint: af0846e82ff95c9dfd5cab3c2f563da4
Erstellt am: 4.8.2018


International Journal on Advances in Software 11 (2018), Nr.1&2, S.18-33
ISSN: 1942-2628
Englisch
Zeitschriftenaufsatz, Elektronische Publikation
Fraunhofer ESK
resumption; runtime verification; monitor; state machine; networked embedded system; current state uncertainty; model-based

Abstract
Runtime verification checks if the behavior of a system under observation in a certain run satisfies a given correctness property. While a positive description of the system's behavior is often available from specification, it contains no information for the monitor how it should continue in case the system deviates from this behavior. If the monitor does not resume its operation in the right way, test coverage will be unnecessarily low or further observations are misclassified. To close this gap, we present a new method for extending state-based runtime monitors in an automated way, called resumption. Therefore, this paper examines how runtime verification monitors based on a positive behavior description can be resumed to find all detectable deviations instead of reporting only invalid traces. Moreover, we examine when resumption can be applied successfully and we present alternative resumption algorithms. Using an evaluation framework, their precision and recall for detecting different kinds of deviations are compared. While the algorithm seeking expected behavior for resumption works very well in all evaluated cases, the framework can also be used to find the best suited resumption extension for a specific application scenario. Further, two real world application scenarios are introduced where resumption has been successfully applied.

: http://publica.fraunhofer.de/dokumente/N-503842.html