University of Illinois Urbana-Champaign

Efficient Formalism-Independent Monitoring of Parametric Properties

Chen, Feng; Jin, Dongyun; Meredith, Patrick O'Neil; Rosu, Grigore

Content Files
UIUCDCS-R-2008-2996.pdf

Permalink

https://hdl.handle.net/2142/10954

Description

Title
Efficient Formalism-Independent Monitoring of Parametric Properties
Author(s)
  • Chen, Feng
  • Jin, Dongyun
  • Meredith, Patrick O'Neil
  • Rosu, Grigore
Issue Date
2008-09
Keyword(s)
Computer Science
Date of Ingest
2009-04-17T15:52:09Z
Abstract
Efficient monitoring of parametric properties, in spite of increasingly growing interest thanks to applications such as testing and security, imposes a highly non-trivial challenge on monitoring approaches due to the potentially huge number of parameter instances. A few solutions have been proposed, but most of them compromise their expressiveness for performance or vice versa. In this paper, we propose a generic, in terms of specification formalisms, yet efficient, solution to monitoring parametric specifications. Our approach is based on a general semantics for slicing parametric traces and makes use of knowledge about the property to monitor. The needed knowledge is not specific to the underlying formalism and can be easily computed when generating monitoring code from the property. An extensive evaluation shows that the monitoring code generated by our algorithm is still faster than other state-of-art techniques optimized for particular logics or properties.
Type of Resource
text
Permalink
http://hdl.handle.net/2142/10954

Owning Collections

Research and Tech Reports - Computer Science PRIMARY