Withdraw
Loading…
Efficient Formalism-Independent Monitoring of Parametric Properties
Chen, Feng; Jin, Dongyun; Meredith, Patrick O'Neil; Rosu, Grigore
Loading…
Permalink
https://hdl.handle.net/2142/11484
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
- 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/11484
- Copyright and License Information
- You are granted permission for the non-commercial reproduction, distribution, display, and performance of this technical report in any format, BUT this permission is only for a period of 45 (forty-five) days from the most recent time that you verified that this technical report is still available from the University of Illinois at Urbana-Champaign Computer Science Department under terms that include this permission. All other rights are reserved by the author(s).
Owning Collections
Manage Files
Loading…
Edit Collection Membership
Loading…
Edit Metadata
Loading…
Edit Properties
Loading…
Embargoes
Loading…