DMaC: Distributed Monitoring and Checking

13 years 11 months ago

Download www.cis.upenn.edu

Abstract. We consider monitoring and checking formally speciﬁed properties in a network. We are addressing the problem of deploying the checkers on diﬀerent network nodes that provide correct and eﬃcient 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 speciﬁed requirements, and declarative networking, a declarative domain-speciﬁc 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 speciﬁcations in the MaC framework into declarative networking queries and integrated into the rest of the network for monitoring the safety properties. We evaluate the ﬂexibility and eﬃciency of DMaC using simple but realistic network protocols an...

Wenchao Zhou, Oleg Sokolsky, Boon Thau Loo, Insup

Real-time Traffic