Foundations for the run-time monitoring of reactive systems fundamentals of the MaC language

Lecture Notes in Computer Science

Volumn 3407, Issue , 2005, Pages 543-556

  Viswanathan, Mahesh ^a   Kim, Moonzoo ^b  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^b Pohang University of Science and Technology (POSTECH)   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTATIONAL METHODS; COMPUTER ARCHITECTURE; DATA STORAGE EQUIPMENT; HIERARCHICAL SYSTEMS; LARGE SCALE SYSTEMS;

ARITHMETIC HIERARCHY; REACTIVE SYSTEMS; RUN-TIME MONITORING; SYSTEM ASSURANCE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 24644444646     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31862-0_38     Document Type: Conference Paper

References (22)

1. Schneider, F.B.: Enforceable security policies. Technical Report TR98-1664, Cornell University (1998)
2. Alpern, B., Schneider, F.B.: Defining liveness. Information Processing Letters 21 (1985) 181-185
3. Staiger, L.: Hierarchies of recursive ω-languages. Journal of Information Processing and Cybernetics EIK 22 (1986) 219-241
4. Thomas, W.: Automata on infinite objects. In Leeuwen, J.V., ed.: Handbook of Theoretical Computer Science. Volume B. Elsevier, Amsterdam (1990) 133-191
5. Staiger, L.: ω-languages. In Rozenberg, G., Salomaa, A., eds.: Handbook of Formal Languages. Volume 3. Springer-Verlag, Berlin (1997) 339-387
6. Viswanathan, M.: Foundations for the Run-time Analysis of Software Systems. PhD thesis, Department of Computer and Information Science, University of Pennsylvania (2000)
7. Engelfriet, J., Hoogeboom, H.J.: X-automata on ω-words. Theoretical Computer Science 110 (1993) 1-51
8. Earlier version in Proceedings of the International Colloquium on Automata, Languages and Programming, pages 289-303, 1989.
9. Landweber, L.H.: Decision problems for ω-automata. Mathematical Systems Theory 3 (1969) 376-384
10. Kim, M., Viswanathan, M., Kannan, S., Lee, I., Sokolsky, O.: Java-mac: A runtime assurance approach for Java programs. Formal Methods in System Design (2004)
11. Kim, M.: Information Extraction for Run-time Formal Analysis. PhD thesis, Department of Computer and Information Science, University of Pennsylvania (2001)
12. Bhargavan, K., Gunter, C., Kim, M., Lee, I., Obradovic, D., Sokolsky, O., Viswanathan, M.: Verisim: Formal analysis of network simulations. IEEE Transaction on Software Engineering (2002)
13. Kim, M., Lee, I., Sammapun, U., Shin, J., Sokolsky, O.: Monitoring, checking, and steering of real-time systems. In: Runtime Verification, Copenhagen Denmark. (2002)
14. Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York (1992)
15. Jeffery, C., Zhou, W., Templer, K., Brazell, M.: A lightweight architecture for program execution monitoring. In: ACM Workshop on Program Analysis for Software Tools and Engineering. (1998)
16. Templer, K.S., Jeffery, C.: A configurable automatic instrumentation tool for ansi c. In: Proceedings of the International Conference on Automated Software Engineering. (1998)
17. Mok, A.K., Liu, G.: Early detection of timing constraint violation at run-time. In: Proceedings of the IEEE Real-Time Systems Symposium. (1997)
18. Havelund, K., Rosu, G.: Monitoring Java Programs with JavaPathExplorer. In: Proceedings of the Workshop on Runtime Verification. Volume 55 of Electronic Notes in Theoretical Computer Science., Elsevier Publishing (2001)
19. Sen, K., Rosu, G., Agha, G.: Runtime Safety Analysis of Multithreaded Programs. In: Proceedings of the International Conference on Automated Software Engineering. (2003)
20. Sen, A., Garg, V.K.: Partial Order Trace Analyzer (POTA) for Distributed Systems. In: Proceedings of the Workshop on Runtime Verification. Electronic Notes in Theoretical Computer Science, Elsevier (2003)
21. Hamlen, K.W., Morrisett, G., Schneider, F.B.: Computability classes for enforcement mechanisms. ACM Transactions on Programming Languages and Systems (2004, to appear) Available from http://www.cs.cornell.edu/fbs/publications/ EnfClasses.pdf.
22. Sammapun, U., Easwaran, A., Lee, I., Sokolsky, O.: Simulation of simultaneous events in regular expressions for run-time verification. In: Runtime Verification, Barcelona, Spain. (2004)