A Survey of Runtime Monitoring Instrumentation Techniques
Reads0
Chats0
TLDR
This paper compares and contrast the various types of monitoring methodologies found in the current literature, and classify them into a spectrum of monitoring instrumentation techniques, ranging from completely asynchronous monitoring on the one end and completely synchronous monitoring onThe other.Abstract:
Runtime Monitoring is a lightweight and dynamic verification technique that involves observing the internal operations of a software system and/or its interactions with other external entities, with the aim of determining whether the system satisfies or violates a correctness specification. Compilation techniques employed in Runtime Monitoring tools allow monitors to be automatically derived from high-level correctness specifications (aka. properties). This allows the same property to be converted into different types of monitors, which may apply different instrumentation techniques for checking whether the property was satisfied or not. In this paper we compare and contrast the various types of monitoring methodologies found in the current literature, and classify them into a spectrum of monitoring instrumentation techniques, ranging from completely asynchronous monitoring on the one end and completely synchronous monitoring on the other.read more
Citations
More filters
Book ChapterDOI
Introduction to runtime verification
TL;DR: The aim of this chapter is to act as a primer for those wanting to learn about Runtime Verification, providing an overview of the main specification languages used for RV and introducing the standard terminology necessary to describe the monitoring problem.
Journal ArticleDOI
A model-based architecture for interactive run-time monitoring
TL;DR: A model-based architecture for monitoring executions of models of real-time and embedded systems that allows for the combination of various run-time monitoring tools, not only for observing the system execution, but also for interacting with it.
Journal ArticleDOI
A Survey of Software Log Instrumentation
Boyuan Chen,Zhen Ming Jiang +1 more
TL;DR: There are two phases in software logging: log instrumentation and log messages, which are used widely in many software systems during software development and field operation.
Proceedings ArticleDOI
eAOP: an aspect oriented programming framework for Erlang
TL;DR: eAOP as discussed by the authors is a framework specifically designed to instrument actor-oriented constructs in Erlang such as message sends and receives, along with other traditional constructs such as function calls, which is a paradigm ideal for defining cross-cutting concerns within an existing application.
Proceedings ArticleDOI
Applying Runtime Monitoring to the Industrial Internet of Things
TL;DR: This paper describes a framework for on- the-fly monitor generation using a state-of-the-art monitoring algorithm for proving properties of a distributed production system relying on the Amazon Web Services Internet of Things architecture and the use of the digital shadow.
References
More filters
Journal ArticleDOI
A Brief Account of Runtime Verification
TL;DR: A comparison to well-known verification techniques like model checking and testing is provided, and applications in which runtime verification brings out its distinguishing features are pointed out.
Book
Programming Erlang: Software for a Concurrent World
TL;DR: This book presents Erlang and functional programming in the familiar Pragmatic style and contains the full source code for two interesting applications: A SHOUTcast server which you can use to stream music to every computer in your house, and a full-text indexing and search engine that can index gigabytes of data.
Proceedings ArticleDOI
Mop: an efficient and generic runtime verification framework
Feng Chen,Grigore Rosu +1 more
TL;DR: This paper proposes a parametric specification formalism-independent extension of MOP, together with an implementation of JavaMOP that supports parameters, and devised and implemented a decentralized indexing optimization.
Journal ArticleDOI
A taxonomy and catalog of runtime software-fault monitoring tools
N. Delgado,Ann Q. Gates,S. Roach +2 more
TL;DR: The taxonomy categorizes the various runtime monitoring research by classifying the elements that are considered essential for building a monitoring system, i.e., the specification language used to define properties; the monitoring mechanism that oversees the program's execution; and the event handler that captures and communicates monitoring results.
Book ChapterDOI
Rule-Based Runtime Verification
TL;DR: Eagles logic, Eagle, is implemented as a Java library and involves novel techniques for rule definition, manipulation and execution for finite trace monitoring logics, including future and past time temporal logic, extended regular expressions, real-time logics and forms of quantified temporal logics.