2015 | OriginalPaper | Buchkapitel
Time-Triggered Runtime Verification of Component-Based Multi-core Systems
Autoren: Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister
Erschienen in:
Runtime Verification
Abstract
In this paper, we characterize and solve the problem of augmenting a component-based system with time-triggered runtime verification (TTRV), where different components are expected to run on different computing cores with minimum monitoring overhead at run time. We present an optimization technique that calculates (1) the mapping of components to computing cores, and (2) the monitoring frequency, such that TTRV’s runtime overhead is minimized. Although dealing with runtime overhead of concurrent systems is a challenging problem due to their inherent complex nature, our experiments show that our optimization technique is robust and reduces the monitoring overhead by 34 %, as compared to various near-optimal monitoring patterns of the components at run time.
