loading...
Efficient Decentralized Monitoring of Safety in Distributed Systems
Edinburgh, Scotland, United Kingdom May 23-May 28
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICSE.2004.131746426th International Conference on Soft ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Koushik Sen, University of Illinois at Urbana-Champaign
Abhay Vardhan, University of Illinois at Urbana-Champaign
Gul Agha, University of Illinois at Urbana-Champaign
Grigore Roşu, University of Illinois at Urbana-Champaign
We describe an efficient decentralized monitoring algorithm that monitors a distributed program's execution to check for violations of safety properties. The monitoring is based om formulae written in PT-DTL, a variant of past time linear temporal logic that we define. PT-DTL is suitable for expressing temporal properties of distributed systems. Specifically, the formulae of PT-DTL are relative to a particular process and are interpreted over a projection of the trace of global states that represents what that process is aware of. A formula relative to one process may refer to other processes' local states through remote expressions and remote formulae. In order to correctly evaluate remote expressions, we introduce the notion of KNOWLEDGE VECTOR and provide an algorithm which keeps a process aware of other processes' local states that can affect the validity of a monitored PT-DTL formula. Both the logic and the monitoring algorithm are illustrated through a number of examples. Finally, we describe our implementation of the algorithm in a tool called DIANA.
Citation:
Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Roşu, "Efficient Decentralized Monitoring of Safety in Distributed Systems," icse, pp.418-427, 26th International Conference on Software Engineering (ICSE'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.