AuthorsC. M. Rosenberg, M. Steffen and V. Stolz
EditorsY. Falcone and C. Sánchez
TitleLeveraging DTrace for Runtime Verification
AfilliationSoftware Engineering
Publication TypeBook Chapter
Year of Publication2016
Book TitleRuntime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings
PublisherSpringer International Publishing
Place PublishedCham
ISBN Number978-3-319-46982-9
Keywordsdtrace, ltl, runtime verification, Software Engineering

DTrace, short for “dynamic tracing”, is a powerful diagnostic tool and tracing framework. It is invaluable for performance monitoring, tuning, and for getting insights into almost any aspect of a running system. In this paper we investigate how we can leverage the DTrace operating system-level instrumentation framework to conduct runtime verification. To this end, we develop graphviz2dtrace, a tool for producing monitor scripts in DTrace’s domain-specific scripting language D for specification formulas written in  LTL3, a three-valued variety of the well-known Linear Temporal Logic. We evaluate the tool by analyzing a small stack-implementation and a multi-process system.