NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
A Scala DSL for RETE-Based Runtime VerificationRuntime verification (RV) consists in part of checking execution traces against formalized specifications. Several systems have emerged, most of which support specification notations based on state machines, regular expressions, temporal logic, or grammars. The field of Artificial Intelligence (AI) has for an even longer period of time studied rule-based production systems, which at a closer look appear to be relevant for RV, although seemingly focused on slightly different application domains, such as for example business processes and expert systems. The core algorithm in many of these systems is the Rete algorithm. We have implemented a Rete-based runtime verification system, named LogFire (originally intended for offline log analysis but also applicable to online analysis), as an internal DSL in the Scala programming language, using Scala's support for defining DSLs. This combination appears attractive from a practical point of view. Our contribution is in part conceptual in arguing that such rule-based frameworks originating from AI may be suited for RV.
Document ID
20150008010
Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
External Source(s)
Authors
Havelund, Klaus
(Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Date Acquired
May 12, 2015
Publication Date
September 24, 2013
Subject Category
Computer Programming And Software
Meeting Information
Meeting: International Conference on Runtime Verification
Location: Rennes
Country: France
Start Date: September 24, 2013
End Date: September 27, 2013
Sponsors: Institut National de Recherche d'Informatique et d'Automatique
Distribution Limits
Public
Copyright
Other
Keywords
matching problem
algorithmic

Available Downloads

There are no available downloads for this record.
No Preview Available