Dynamic event-based runtime monitoring of real-time and contextual properties

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

Volumn 5596 LNCS, Issue , 2009, Pages 135-149

  Colombo, Christian ^a   Pace, Gordon J ^a   Schneider, Gerardo ^b  

^a UNIVERSITY OF MALTA   (Malta)

^b UNIVERSITY OF OSLO   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATING AUTOMATA; CREDIT CARDS; DYNAMIC EVENTS; EVENT-BASED; EXECUTION PATHS; INDUSTRIAL SETTINGS; JAVA PROGRAM; ONLINE TRANSACTION; RUN-TIME VERIFICATION; RUNTIME MONITORING; RUNTIMES;

COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE; NETWORK COMPONENTS; TRANSLATION (LANGUAGES); VERIFICATION;

FORMAL METHODS;

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

References (11)

1. Bouajjani, A., Lakhnech, Y., Robbana, R.: From duration calculus to linear hybrid automata. In: Wolper, P. (ed.) CAV 1995. LNCS, vol.939. Springer, Heidelberg (1995)
2. Aktug, I., Naliuka, K.: Conspec: A formal language for policy specifecation. In: FLACOS 2007, Oslo, Norway, October 2007, pp. 107-109 (2007)
3. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183-235 (1994)
4. Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Rule-based runtime verifecation. In: Ste.en, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol.2937, pp. 44-57. Springer, Heidelberg (2004)
5. Chen, F., Roşu, G.: Java-mop: A monitoring oriented programming environment for java. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.3440, pp. 546-550. Springer, Heidelberg (2005)
6. D'Amorim, M., Havelund, K.: Event-based runtime verifecation of java programs. SIGSOFT Softw. Eng. Notes 30(4), 1-7 (2005)
7. D'Angelo, B., Sankaranarayanan, S., Sánchez, C., Robinson, W., Finkbeiner, B., Sipma, H.B., Mehrotra, S., Manna, Z.: Lola: Runtime monitoring of synchronous systems. In: TIME 2005, pp. 166-174. IEEE Computer Society Press, Los Alamitos (2005)
8. Goldberg, A., Havelund, K.: Automated runtime verifecation with eagle. In: MSVVEIS (2005)
9. Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.1241, pp. 220-242. Springer, Heidelberg (1997)
10. Kim, M., Viswanathan, M., Kannan, S., Lee, I., Sokolsky, O.: Java-mac: A run-time assurance approach for java programs. Formal Methods in System Design 24(2), 129-155 (2004)
11. Lee, I., Kannan, S., Kim, M., Sokolsky, O., Viswanathan, M.: Runtime assurance based on formal specifecations. In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (1999)