Events Calendar

CS Colloquium: Klaus Havelund (NASA) - A Notation and System for Inferring Event Stream Abstractions

Speaker: Klaus Havelund, NASA

Talk Title: A Notation and System for Inferring Event Stream Abstractions

Series: CS Colloquium

Abstract: This lecture satisfies requirements for CSCI 591: Computer Science Research Colloquium.

We propose a notation 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. The system is written in Scala, with the specification language implemented as an internal DSL. It is based on parallel executing actors communicating via a publish-subscribe model. We illustrate the solution with several examples.

Biography: Klaus Havelund is a Senior Research Scientist at NASA's Jet Propulsion Laboratory (JPL), Pasadena, California. He has worked in the domain of software correctness for over three decades, and has worked at NASA for nearly two decades. He was affiliated with NASA Ames Research Center in Silicon Valley for eight years, before moving to JPL in Los Angeles. He has published over 120 papers and is an active member of the software verification research community. He special interests include techniques for monitoring actual systems behaviors, matching against expected behaviors, and more generally techniques for detecting errors in software programs.

Host: Chao Wang

Location: Henry Salvatori Computer Science Center (SAL) - 101

Audiences: Everyone Is Invited

Contact: Assistant to CS chair