DMaC: Distributed monitoring and checking

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5779 LNCS, Issue , 2009, Pages 184-201

  Zhou, Wenchao ^a   Sokolsky, Oleg ^a   Loo, Boon Thau ^a   Lee, Insup ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED MONITORING; DISTRIBUTED NETWORKS; DOMAIN SPECIFIC; MONITORING AND CHECKING FRAMEWORKS; NETWORK NODE; NETWORKING SYSTEMS; RUNNING SYSTEMS; SAFETY PROPERTY;

INTERNET;

NETWORK PROTOCOLS;

EID: 70649103048     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04694-0_13     Document Type: Conference Paper

References (23)

1. P2: Declarative Networking, http://p2.cs.berkeley.edu
2. Bauer, A., Leucker, M., Schallhart, C.: Monitoring of real-time properties. In: Arun-Kumar, S., Garg, N. (eds.) FSTTCS 2006. LNCS, vol. 4337, pp. 260-272. Springer, Heidelberg (2006)
3. Chen, F., Rosu, G.: MOP: An efficient and generic runtime verification framework. In: Proceedings of OOPSLA 2007, pp. 569-588 (2007)
4. th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008) (September 2008)
5. Deshpande, A., Ives, Z.G., Raman, V.: Adaptive query processing. Foundations and Trends in Databases 1(1), 1-140 (2007)
6. Diaz, M., Juanole, G., Courtiat, J.-P.: Observer - a concept for formal on-line validation of distributed systems. IEEE Transactions on Software Engineering 20(12), 900-913 (1994)
7. Havelund, K., Rosu, G.: Monitoring Java programs with JavaPathExplorer. In: Proceedings of the Workshop on Runtime Verification. Electronic Notes in Theoretical Computer Science, vol. 55. Elsevier Publishing, Amsterdam (2001)
8. Herbert, D., Sundaram, V., Lu, Y.-H., Bagchi, S., Li, Z.: Adaptive correctness monitoring for wireless sensor networks using hierarchical distributed run-time invariant checking. ACM Transactions on Autonomous and Adaptive Systems 2(3) (2007)
9. Jahanian, F., Goyal, A.: A formalism for monitoring real-time constraints at runtime. In: 20th Int. Symp. on Fault-Tolerant Computing Systems (FTCS-20), pp. 148-155 (1990)
10. Kim, M., Kannan, S., Lee, I., Sokolsky, O., Viswanathan, M.: Java-MaC: a run-time assurance approach for Java programs. Formal Methods in Systems Design 24(2), 129-155 (2004)
11. Kim, M., Viswanathan, M., Ben-Abdallah, H., Kannan, S., Lee, I., Sokolsky, O.: Formally specified monitoring of temporal properties. In: Proceedings of the European Conf. on Real-Time Systems - ECRTS 1999, June 1999, pp. 114-121 (1999)
12. Liu, X., Guo, Z., Wang, X., Chen, F., Tang, X.L.J., Wu, M., Kaashoek, M.F., Zhang, Z.: D3S: Debugging Deployed Distributed Systems. In: NSDI (2008)
13. Loo, B.T., Condie, T., Hellerstein, J.M., Maniatis, P., Roscoe, T., Stoica, I.: Implementing Declarative Overlays. In: ACM SOSP (2005)
14. Loo, B.T., Hellerstein, J.M., Stoica, I., Ramakrishnan, R.: Declarative Routing: Extensible Routing with Declarative Queries. In: SIGCOMM (2005)
15. Mok, A.K., Liu, G.: Efficient run-time monitoring of timing constraints. In: IEEE Real-Time Technology and Applications Symposium (June 1997)
16. Paxson, V., Kurose, J., Partridge, C., Zegura, E.W.: End-to-end routing behavior in the internet. IEEE/ACM Transactions on Networking, 601-615 (1996)
17. Reynolds, P., Killian, C., Wiener, J.L., Mogul, J.C., Shah, M.A., Vahdat, A.: Pip: Detecting the Unexpected in Distributed Systems. In: NSDI (2006)
18. Sankar, S., Mandal, M.: Concurrent runtime monitoring of formally specified programs. IEEE Computer (1993)
19. Savor, T., Seviora, R.E.: Toward automatic detection of software failures. IEEE Computer, 68-74 (August 1998)
20. Selinger, P.G., Astrahan, M.M., Chamberlin, D.D., Lorie, R.A., Price, T.G.: Access path selection in a relational database management system. In: SIGMOD (1979)
21. Sen, K., Rosu, G., Agha, G.: Online efficient predictive safety analysis of multithreaded programs. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 123-138. Springer, Heidelberg (2004)
22. th International Conference on Software Engineering (ICSE 2004), pp. 418-427 (2004)
23. Sokolsky, O., Sammapun, U., Lee, I., Kim, J.: Run-time checking of dynamic properties. In: Proceeding of the 5th International Workshop on Runtime Verification (RV 2005), Edinburgh, Scotland, UK (July 2005)