Inferring Event Stream Abstractions

TitleInferring Event Stream Abstractions
Publication TypeJournal Article
Year of Publication2018
AuthorsKauffman, S., K. Havelund, R. Joshi, and S. Fischmeister
JournalFormal Methods in System Design
Start Page1

We propose a formalism for specifying event stream abstractions for use in spacecraft telemetry processing. Our work is motivated by the need to quickly process streams with millions of events generated by the Curiosity rover on Mars.  The approach builds a hierarchy of event abstractions for telemetry visualization and querying to aid human comprehension.  Such abstractions can also be used as input to other runtime verification tools. Our notation is inspired by Allen's Temporal Logic, and provides a rule-based declarative way to express event abstractions. We present an algorithm for applying specifications to an event stream and explore modifications to improve the algorithm's asymptotic complexity. The system is implemented in both Scala and C, with the specification language implemented as internal as well as external DSLs. We illustrate the solution with several examples, a performance evaluation, and a real telemetry analysis scenario.

Refereed DesignationRefereed


Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.