
Departmental Papers (CIS)
Date of this Version
6-2009
Document Type
Conference Paper
Recommended Citation
Wenchao Zhou, Oleg Sokolsky, Boon Thau Loo, and Insup Lee, "DMaC: Distributed Monitoring and Checking", Lecture Notes in Computer Science: Runtime Verification 5779, 184-201. June 2009. http://dx.doi.org/10.1007/978-3-642-04694-0_13
Abstract
We consider monitoring and checking formally specified properties in a network. We are addressing the problem of deploying the checkers on different network nodes that provide correct and efficient checking. We present the DMaC system that builds upon two bodies of work: the Monitoring and Checking (MaC) framework, which provides means to monitor and check running systems against formally specified requirements, and declarative networking, a declarative domain-specific approach for specifying and implementing distributed network protocols. DMaC uses a declarative networking system for both specifying network protocols and performing checker execution. High-level properties are automatically translated from safety property specifications in the MaC framework into declarative networking queries and integrated into the rest of the network for monitoring the safety properties. We evaluate the flexibility and efficiency of DMaC using simple but realistic network protocols and their properties
Subject Area
CPS Formal Methods
Publication Source
Lecture Notes in Computer Science: Runtime Verification
Volume
5779
Start Page
184
Last Page
201
DOI
10.1007/978-3-642-04694-0_13
Copyright/Permission Statement
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-04694-0_13
Date Posted: 15 January 2013
This document has been peer reviewed.
Comments
9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009.
Conference Site: http://www-rv2009.imag.fr/