JPL Technical Report Server

Monitoring with data automata

Show simple item record Havelund, Klaus 2016-04-13T17:32:20Z 2016-04-13T17:32:20Z 2014-10-08
dc.identifier.citation 6th International Symposium On Leveraging Applications of Formal Methods, Imperial, Corfu, Greece, October 8-11, 2014 en_US
dc.identifier.clearanceno 14-2266
dc.description.abstract We present a form of automaton, referred to as data automata, suited for monitoring sequences of data-carrying events, for example emitted by an executing software system. This form of automata allows states to be parameterized with data, forming named records, which are stored in an efficiently indexed data structure, a form of database. This very explicit approach differs from other automaton-based monitoring approaches. Data automata are also characterized by allowing transition conditions to refer to other parameterized states, and by allowing transitions sequences. The presented automaton concept is inspired by rule-based systems, especially the Rete algorithm, which is one of the well-established algorithms for executing rule-based systems. We present an optimized external DSL for data automata, as well as a comparable unoptimized internal DSL (API) in the Scala programming language, in order to compare the two solutions. An evaluation compares these two solutions to several other monitoring systems. en_US
dc.description.sponsorship NASA/JPL en_US
dc.language.iso en_US en_US
dc.publisher Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2014 en_US
dc.subject runtime verification en_US
dc.subject log analysis en_US
dc.subject data parameterized events en_US
dc.subject Scala en_US
dc.title Monitoring with data automata en_US
dc.type Preprint en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record



My Account