Runtime Monitoring for Concurrent Systems
Runtime Monitoring for Concurrent Systems
复制标题
DOI：
10.1007/978-3-319-46982-9_24
复制
发表时间：
2016-09
期刊：
影响因子：
--
通讯作者：
Yoriyuki Yamagata;Cyrille Artho;M. Hagiya;Jun Inoue;Lei Ma;Yoshinori Tanabe;M. Yamamoto
中科院分区：
文献类型：
--
作者：
Yoriyuki Yamagata;Cyrille Artho;M. Hagiya;Jun Inoue;Lei Ma;Yoshinori Tanabe;M. Yamamoto
Most existing specification languages for runtime verification describe the properties of the entire system in a top-down manner, and lack constructs to describe concurrency in the specification directly.is a runtime-monitoring framework based on Hoare’s Communicating Sequential Processes (CSP) that captures concurrency in the specification directly. In this paper, we define the syntax ofand its formal semantics. In comparison to quantified event automata (QEA), as an example,describes a specification for a concurrent system in a bottom-up manner, whereas QEA lends itself to a top-down manner. We also present an implementation of, which supports fullwithout optimization. When comparing its performance to that of QEA, our implementation ofrequires slightly more than twice the time required by QEA; we consider this overhead to be acceptable. Finally, we introduce a tool namedstracematch, which is developed using. It monitors system calls in (Mac) OS X and verifies the usage of file descriptors by a monitored process.
