Rule systems for runtime verification: A short tutorial

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

Volumn 5779 LNCS, Issue , 2009, Pages 1-24

  Barringer, Howard ^a   Havelund, Klaus ^b   Rydeheard, David ^a   Groce, Alex ^c  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^c Oregon State University   (United States)

Author keywords

Aspectj; Code instrumentation; Java; Log file analysis; Python; Rule systems; Runtime verification; Temporal logic

Indexed keywords

ASPECT-J; CODE INSTRUMENTATION; LOG-FILE ANALYSIS; PYTHON; RULE SYSTEMS; RUN-TIME VERIFICATION;

COMPUTER SOFTWARE; HIGH LEVEL LANGUAGES; INSTRUMENTS; JAVA PROGRAMMING LANGUAGE; MARTIAN SURFACE ANALYSIS; NASA; SPACE FLIGHT; SPECIFICATIONS; TRACE ANALYSIS; WELL LOGGING;

TEMPORAL LOGIC;

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

References (21)

1. Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhoták, O., de Moor, O., Sereni, D., Sittamplan, G., Tibble, J.: Adding trace matching with free variables to As-pectJ. In: OOPSLA 2005. ACM Press, New York (2005)
2. Andrews, J.H., Zhang, Y.: General test result checking with log file analysis. IEEE Transactions on Software Engineering 29(7), 634-648 (2003)
3. Banieqbal, B., Barringer, H.: Temporal logic with fixed points. In: Banieqbal, B., Pnueli, A., Barringer, H. (eds.) Temporal Logic in Specification. LNCS, vol. 398, pp. 62-74. Springer, Heidelberg (1989)
4. Barringer, H., Fisher, M., Gabbay, D., Gough, G., Owens, R.: MetateM: an introduction. Formal Aspects of Computing 7(5), 533-549 (1995)
5. Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Rule-based runtime verification. In: Stef-fen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol. 2937, pp. 44-57. Springer, Heidelberg (2004)
6. Barringer, H., Rydeheard, D., Havelund, K.: Rule systems for run-time monitoring: from Eagle to RuleR. In: Sokolsky, O., Taşiran, S. (eds.) RV 2007. LNCS, vol. 4839, pp. 111-125. Springer, Heidelberg (2007)
7. Barringer, H., Rydeheard, D., Havelund, K.: RuleR: A tutorial guide (2008), http://www.cs.man.ac.uk/~howard/LPA.html
8. Barringer, H., Rydeheard, D., Havelund, K.: Rule systems for run-time monitoring: from Eagle to RuleR. Journal of Logic and Computation (2009), Advance Access published on November 21 (2008), doi:10.1093/logcom/exn076
9. Chen, F., Roşu, G.: MOP: An efficient and generic runtime verification framework. In: Object-Oriented Programming, Systems, Languages and Applications, OOPSLA 2007 (2007)
10. Drusinsky, D.: Modeling and Verification using UML Statecharts, 400 pages. Elsevier, Amsterdam (2006)
11. Havelund, K.: Runtime verification of C programs. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) TestCom/FATES 2008. LNCS, vol. 5047, pp. 7-22. Springer, Heidelberg (2008)
12. Hodkinson, I.M., Reynolds, M.: Separation - past, present, and future. In: Artëmov, S.N., Barringer, H., d'Avila Garcez, A.S., Lamb, L.C., Woods, J. (eds.) We Will Show Them! vol. 2, pp. 117-142. College Publications (2005)
13. Kim, M., Kannan, S., Lee, I., Sokolsky, O.: Java-MaC: a run-time assurance tool for Java. In: Proc. of the 1st International Workshop on Runtime Verification (RV 2001). ENTCS, vol. 55(2). Elsevier, Amsterdam (2001)
14. Lange, M.: Alternating context-free languages and linear time mu-calculus with sequential composition. Electr. Notes Theor. Comput. Sci. 68(2) (2002)
15. Moszkowski, B.: Executing temporal logic programs. Cambridge University Press, Cambridge (1980)
16. Moszkowski, B.C., Manna, Z.: Reasoning in interval temporal logic. In: Clarke, E.M., Kozen, D. (eds.) Logic of Programs 1983. LNCS, vol. 164, pp. 371-382. Springer, Heidelberg (1984)
17. Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science, pp. 46-57. IEEE Computer Society, Los Alamitos (1977)
18. Smith, M., Havelund, K.: Requirements capture with RCAT. In: 16th IEEE International Requirements Engineering Conference (RE 2008). IEEE Computer Society, Barcelona (2008)
19. Stolz, V., Bodden, E.: Temporal assertions using AspectJ. In: Proc. of the 5th International Workshop on Runtime Verification (RV 2005). ENTCS, vol. 144(4). Elsevier, Amsterdam (2005)
20. Sun Microsystems, Inc. Java Platform, Standard Edition 6, API Specification (2009), http://java.sun.com/javase/6/docs/api/
21. Wolper, P.: Temporal logic can be more expressive. Information and Control 56 (1983)