DMaC: Distributed Monitoring and Checking

Authors:
Wenchao Zhou;Oleg Sokolsky;Boon Thau Loo;Insup Lee
Affiliations:
Department of Computer and Information Science, University of Pennsylvania, Philadelphia 19104-6389;Department of Computer and Information Science, University of Pennsylvania, Philadelphia 19104-6389;Department of Computer and Information Science, University of Pennsylvania, Philadelphia 19104-6389;Department of Computer and Information Science, University of Pennsylvania, Philadelphia 19104-6389
Venue:
Runtime Verification
Year:
2009

Citing 0
Cited 4

Sampling-based runtime verification

FM'11 Proceedings of the 17th international conference on Formal methods
Recent advances in declarative networking

PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Runtime verification of microcontroller binary code

Science of Computer Programming
The design and implementation of the A3 application-aware anonymity platform

Computer Networks: The International Journal of Computer and Telecommunications Networking

Quantified Score

Hi-index	0.00

Visualization

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.