Efficient decentralized monitoring of safety in distributed systems

Proceedings - International Conference on Software Engineering

Volumn 26, Issue , 2004, Pages 418-427

  Sen, Koushik ^a   Vardhan, Abhay ^a   Agha, Gul ^a   Roşu, Grigore ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ASPECT-ORIENTED PROGRAMMING; LINEAR TEMPORAL LOGIC (LTL); SOFTWARE TESTING;

ALGORITHMS; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEM RECOVERY; DECENTRALIZED CONTROL; FAULT TOLERANT COMPUTER SYSTEMS; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 4644288597     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. 1st, 2nd and 3rd CAV Workshops on Runtime Verification (RV'01 - RV'03), volume 55(2), 70(4), 89(2) of Electronic Notes in Theoretical Computer Science. Elsevier Science: 2001, 2002, 2003.
2. G. Agha. Actors: A Model of Concurrent Computation. MIT Press, 1986.
3. G. Agha, I. A. Mason, S. F. Smith, and C. L. Talcott. A foundation for actor computation. Journal of Functional Programming, 7:1-72, 1997.
4. R. Alur, D. Peled, and W. Penczek. Model checking of causality properties. In Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science (LICS'95), pages 90-100, San Diego, California, 1995.
5. R. Aumann. Agreeing to disagree. Annals of Statistics, 4(6): 1236-1239, 1976.
6. H. Barringer, A. Goldberg, K. Haveluad, and K. Sen. Rule-based runtime verification. In Proceedings of 5th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'04), volume 2937 of Lecture Notes in Computer Science, pages 44-57, Venice, Italy, January 2004. Springer-Verlag.
7. R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Reasoning about Knowledge. MIT Press, 1995.
8. C. J. Fidge. Partial orders for parallel debugging. In Proceedings of the 1988 ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging (WPDD'88), pages 183-194. ACM, 1988.
9. K. Havelund and G. Roşu. Java pathexplorer - A runtime verification tool. In The 6th International Symposium on Artificial Intelligence, Robotics and Automation in Space: A New Space Odyssey, Montreal, Canada, June 18-21, 2001.
10. K. Havelund and G. Roşu. Synthesizing monitors for safety properties. In Tools and Algorithms for Construction and Analysis of Systems (TACAS'02), volume 2280 of Lecture Notes in Computer Science, pages 342-356. Springer-Verlag, 2002.
11. M. Kim, S. Kannan, I. Lee, and O. Sokolsky. Java-mac: a run-time assurance tool for java. In Proceedings of Runtime Verification (RV'01), volume 55 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 2001.
12. M. Leucker. Logics for mazurkiewicz traces. Technical Report AIB-2002-10, RWTH, Aachen, Germany, April 2002.
13. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, New York, 1992.
14. Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer-Verlag, New York, 1995.
15. F. Mattern. Virtual time and global states of distributed systems. In M. C. et. al., editor, Proceedings of the International Workshop on Parallel and Distributed Algorithms, pages 215-226. Elsevier Science, 1989.
16. B. Meenakshi and R. Ramanujam. Reasoning about message passing in finite state environments. In International Colloquium on Automata, Languages and Programming (ICALP'00), volume 1853 of Lecture Notes in Computer Science, pages 487-498. Springer-Verlag, 2000.
17. W. Penczek. A temporal approach to causal knowledge. Logic Journal of the IGPL, 8(1):87-99, 2000.
18. W. Penczek and S. Ambroszkiewicz. Model checking of causal knowledge formulas. In Workshop on Distributed Systems (WDS'99), volume 28 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 1999.
19. R. Ramanujam. Local knowledge assertions in a changing world. In Theoretical Aspects of Rationality and Knowledge (TARK'96), pages 1-14. Morgan Kaufmann, 1996.
20. K. Sen, G. Roşu, and G. Agha. Runtime safety analysis of multithreaded programs. In ACM SIGSOFT Conference on the Foundations of Software Engineering / European Software Engineering Conference (FSE / ESEC'03), Helsinki, Finland, 2003.
21. G.Tel. Introduction to Distributed Algorithms. Cambridge University Press, 2nd edition, September 2000.
22. P. S. Thiagarajan and I. Walukiewicz. An expressively complete linear time temporal logic for Mazurkiewicz traces. In Twelth Annual IEEE Symposium on Logic in Computer Science (LICS'97), pages 183-194, Warsaw, Poland, 1997.