Partial Order Trace Analyzer (POTA) for distributed programs

Electronic Notes in Theoretical Computer Science

Volumn 89, Issue 2, 2003, Pages 22-43

  Sen, Alper ^a   Garg, Vijay K ^a  

^a The University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; DATA STORAGE EQUIPMENT; MATHEMATICAL MODELS; POLYNOMIALS; PROBLEM SOLVING; PROGRAM DEBUGGING; TRACE ANALYSIS;

GENERAL INTER-ORB PROTOCOL (GIOP); PARTIAL ORDER REPRESENTATION; PARTIAL ORDER TRACE ANALYZER (POTA); TEMPORAL LOGIC;

SOFTWARE ENGINEERING;

EID: 18944398082     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)81041-7     Document Type: Conference Paper

References (33)

1. Brorkens M., Moller M. Dynamic event generation for runtime checking using the JDI. Runtime Verification 2002, volume 70 of ENTCS. 2002
2. Chandy K.M., Lamport L. Distributed snapshots: Determining global states of distributed systems. ACM Transactions on Computer Systems. 3:(1):February 1985;63-75
3. Charron-Bost B., Delporte-Gallet C., Fauconnier H. Local and temporal predicates in distributed systems. ACM Transactions on Programming Languages and Systems. 17:(1):Jan 1995;157-179
4. E. M. Clarke and E. A. Emerson. Design and Synthesis of Synchronization Skeletons using Branching Time Temporal Logic. In Proc. of the Workshop on Logics of Programs, volume 131 of LNCS, Yorktown Heights, New York, May 1981.
5. R. Cooper and K. Marzullo. Consistent detection of global predicates. In Proc. of the Workshop on Parallel and Distributed Debugging, pages 163-173, Santa Cruz, CA, May 1991. ACM/ONR.
6. Davey B.A., Priestley H.A. Introduction to Lattices and Order. 1990;Cambridge University Press, Cambridge, UK
7. Drusinsky D. The Temporal Rover and the ATG Rover In SPIN Model Checking and Verification, volume 1885 of LNCS. 2000;323-330
8. Esparza J. Model checking using net unfoldings. Science of Computer Programming. 23:(2):1994;151-195
9. Fidge C. Logical Time in Distributed Computing Systems. IEEE Computer. 24:(8):August 1991;28-33
10. Garg V.K. Elements of Distributed Computing. 2002;John Wiley & Sons
11. th International Conference on Distributed Computing Systems (ICDCS), pages 322-329, Phoenix, Arizona, 2001.
12. P. Godefroid and P. Wolper. A partial approach to model checking. In Proc. of the 6th IEEE Symposium on Logic in Computer Science, pages 406-415, 1991.
13. Object Management Group. The Common Object Request Broker: Architecture and Specification. August 1997.
14. Hartley S. Concurrent Programming: The Java Programming Language. 1998;Oxford University Press
15. Havelund K., Rosu G. Monitoring Java Programs with Java PathExplorer. Runtime Verification 2001, volume 55 of ENTCS. 2001
16. Holzmann G.J. The Model Checker SPIN. IEEE Transactions on Software Engineering. 23:(5):May 1997
17. Hurfin M., Mizuno M., Raynal M., Singhal M. Efficient detection of conjunctions of local predicates. IEEE Transactions on Software Engineering. 24:(8):1998;664-677
18. Kamel M., Leue S. Formalization and Validation of the General Inter-ORB Protocol (GIOP) Using Promela and SPIN. Software Tools for Technology Transfer. 2:(4):April 2000;394-409
19. Kim M., Kannan S., Lee I., Sokolsky O., Viswanathan M. Java-MaC: a Run-time Assurance Tool for Java Programs. Runtime Verification 2001, volume 55 of ENTCS. 2001
20. Lamport L. Time, Clocks, and the Ordering of Events in a Distributed System. Communications of the ACM. 21:(7):July 1978;558-565
21. S. Leue and P.B. Ladkin. Implementing and verifying msc specifications using promela/xspin. In Proceedings of the DIMACS Workshop SPIN96, the 2nd International Workshop on the SPIN Verification System, volume 32 of DIMACS Series, 1997.
22. F. Mattern. Virtual Time and Global States of Distributed Systems. In Parallel and Distributed Algorithms: Proc. of the Int'l Workshop on Parallel and Distributed Algorithms, pages 215-226. Elsevier Science Publishers B. V. (North-Holland), 1989.
23. McMillan K.L. Symbolic Model Checking. 1993;Kluwer Academic Publishers
24. th International Symposium on Distributed Computing (DISC), pages 78-92, Lisbon, Portugal, 2001.
25. th International Conference on Distributed Computing Systems (ICDCS), pages 3-10, Phoenix, Arizona, 2001.
26. D. Peled. All from One, One for All: On Model Checking Using Representatives. In 5th Int'l. Conference on Computer-Aided Verification (CAV), pages 409-423. Springer, Berlin, Heidelberg, 1993.
27. POTA. http://maple.ece.utexas.edu/~sen/POTA.html.
28. A. Sen and V. K. Garg. Automatic Generation of Slices for Temporal Logic Predicate Detection. Technical Report TR-PDS-2002-001, PDSL, ECE Dept. Univ. of Texas at Austin, 2002. Available at http://maple.ece.utexas.edu/.
29. A. Sen and V. K. Garg. Detecting Temporal Logic Predicates on the Happened-Before Model. In Proc. of the International Parallel and Distributed Processing Symposium (IPDPS), Fort Lauderdale, Florida, 2002.
30. K. Sen, G. Rosu, and G. Agha. Runtime Safety Analysis of Multithreaded Programs. TR UIUCDCS-R-2003-2334, Univ. of Illinois at Urbana Champaign, April 2003.
31. S. D. Stoller and Y. Liu. Efficient Symbolic Detection of Global Properties in Distributed Systems. In 10th Int'l. Conference on Computer-Aided Verification (CAV), volume 1447 of LNCS, pages 357-368, 1998.
32. S. D. Stoller, L. Unnikrishnan, and Y. A. Liu. Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods. In 12th Int'l. Conference on Computer-Aided Verification (CAV), volume 1855 of LNCS, pages 264-279, 2000.
33. A. Valmari. A Stubborn Attack On State Explosion. In 2nd Int'l. Conference on Computer-Aided Verification (CAV), volume 531 of LNCS, pages 156-165, Berlin, Germany, 1990.