  Runtime Verification (RV) studies how to analyze execution traces of a system
under observation. Stream Runtime Verification (SRV) applies stream
transformations to obtain information from observed traces. Incomplete traces
with information missing in gaps pose a common challenge when applying RV and
SRV techniques to real-world systems as RV approaches typically require the
complete trace without missing parts. This paper presents a solution to perform
SRV on incomplete traces based on abstraction. We use TeSSLa as specification
language for non-synchronized timed event streams and define abstract event
streams representing the set of all possible traces that could have occurred
during gaps in the input trace. We show how to translate a TeSSLa specification
to its abstract counterpart that can propagate gaps through the transformation
of the input streams and thus generate sound outputs even if the input streams
contain gaps and events with imprecise values. The solution has been
implemented as a set of macros for the original TeSSLa and an empirical
evaluation shows the feasibility of the approach.
