Authors | C. M. Rosenberg, M. Steffen and V. Stolz |
Editors | Y. Falcone and C. Sánchez |
Title | Leveraging DTrace for Runtime Verification |
Afilliation | Software Engineering |
Status | Published |
Publication Type | Book Chapter |
Year of Publication | 2016 |
Book Title | Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings |
Pagination | 318–332 |
Publisher | Springer International Publishing |
Place Published | Cham |
ISBN Number | 978-3-319-46982-9 |
Keywords | dtrace, ltl, runtime verification, Software Engineering |
Abstract | 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. |
URL | http://dx.doi.org/10.1007/978-3-319-46982-9_20 |
DOI | 10.1007/978-3-319-46982-9_20 |