Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior

摘要: A key challenge in operating remote spacecraft is that ground operators must rely on the limited visibility available through telemetry order to assess health and operational status. We describe a tool for processing allows impose structure received achieve better comprehension of system state. element our approach design domain-specific language express models expected behavior using partial specifications. The specifications with data fields, similar other recent runtime verification systems. What notable about ability develop hierarchical behavior. implemented as an internal DSL Scala programming synthesizes rules from patterns specification are automatically applied inferred behaviors visualization interface makes it easier understand track initial results applying Curiosity rover currently roving surface Mars, where visualizations being used trend subsystem behaviors, identify potential problems before they happen. However, technology completely general can be any generates such event logs.