Show simple item record

dc.contributor.author Havelund, Klaus
dc.date.accessioned 2016-04-13T17:32:34Z
dc.date.available 2016-04-13T17:32:34Z
dc.date.issued 2014-09-01
dc.identifier.citation TASE: Theoretical Aspects of Software Engineering, Changsha, China, September 1-3, 2014 en_US
dc.identifier.clearanceno 14-2409
dc.identifier.uri http://hdl.handle.net/2014/45493
dc.description.abstract The field of runtime verification has during the last decade seen a multitude of systems for monitoring event sequences (traces) emitted by a running system. The objective is to ensure correctness of a system by checking its execution traces against formal specifications representing requirements. A special challenge is data parameterized events, where monitors have to keep track of the combination of control states as well as data constraints, relating events and the data they carry across time points. This poses a challenge wrt. efficiency of monitors, as well as expressiveness of logics. Data automata is a form of automata where states are parameterized with data, supporting monitoring of data parameterized events. We describe the full details of a very simple API in the Scala programming language, an internal DSL (Domain-Specific Language), implementing data automata. The small implementation suggests a design pattern. Data automata allow transition conditions to refer to other states than the source state, and allow target states of transitions to be inlined, offering a temporal logic flavored notation. An embedding of a logic in a high-level language like Scala in addition allows monitors to be programmed using all of Scala’s language constructs, offering the full flexibility of a programming language. The framework is demonstrated on an XML processing scenario previously addressed in related work. 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 monitor en_US
dc.subject parameterized state machines en_US
dc.subject internal DSL en_US
dc.subject XML en_US
dc.title Data automata in Scala en_US
dc.type Preprint en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search


Browse

My Account