Estimating event lifetimes for distributed runtime verification

20th International Conference on Software Engineering and Knowledge Engineering, SEKE 2008

Volumn , Issue , 2008, Pages 117-122

  Kloukinas, Christos ^a   Spanoudakis, George ^a   Mahbub, Khaled ^a  

^a CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED RUNTIME; DISTRIBUTED SYSTEMS; DYNAMIC VERIFICATIONS; REASONING ENGINE; RUN-TIME VERIFICATION; RUNTIME SYSTEMS; STATIC VERIFICATION; SYSTEM TESTING;

CLOCKS; KNOWLEDGE ENGINEERING;

SOFTWARE ENGINEERING;

EID: 77954619283     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. Adler I, et al. "An Implementation of Karmarkar's Algorithm for Linear Programming". Mathematical Programming, 44: 297-335, 1989.
2. Ghezzi C., Guinea S., Runtime Monitoring in Service Oriented Architectures, In Test and Analysis of Web Services, (eds) Baresi L. & di Nitto E., Springer, 237-264, 2007.
3. Barringer, H., Goldberg, A., Havelund, K., Sen, K. "Rule- Based Runtime Verification", 5th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'04), 2004.
4. Chen, F., Rosu, G. "Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation". In Electronic Notes in Theoretical Computer Science, 89(2), 2003.
5. Clarke, E.M., Grumberg, O., Peled, D. "Model Checking". MIT Press 1999.
6. D'Amorim, M., Havelund, K. "Event-based runtime verification of Java programs", Proc. of 3rd Int. Workshop on Dynamic Analysis, 2005.
7. Feather M. S., Fickas S., Van Lamsweerde A., Ponsard C. "Reconciling System Requirements and Runtime Behaviour", Proc. of the 9th Int. Workshop on Software Specification & Design, 1998.
8. Gale D. "Linear programming and the simplex method". Notices of the AMS, 54(3):364-369, Mar. 2007.
9. Jahanian, F., Rajkumar, R., Raju, S. C. V. "Runtime Monitoring of Timing Constraints in Distributed Real-Time Systems". Real-Time Systems 7(3):247-273, Nov. 1994.
10. Havelund, K., Rou, G. "An Overview of the Runtime Verification Tool Java PathExplorer", In Formal Methods in System Design, 24(2):189-215, 2004.
11. Karaoman, M., Freeman J. "jMonitor: Java runtime event specification and monitoring library". Proc. of 4th Workshop on Run-time Verification, 2004.
12. Mahbub K., Spanoudakis G., Kloukinas C., "V2 of dynamic validation prototype". Deliverable A4.D3.3, SERENITY Project, http://www.serenity- forum.org.
13. Marzullo K., Owicki S. "Maintaining the time in a distributed system". ACM SIGOPS Operating Systems Review, 19(3):44-54, July 1985.
14. Mills D. L. "Network time protocol (version 3)". RFC 1305c, Network Working Group, Internet Engineering Task Force (IETF), 1992. http://www.ietf.org/rfc/rfc1305.txt?number=1305.
15. Mok, A. K., Liu, G. "Efficient run-time monitoring of timing constraints". In Real-Time Technology and Applications Symposium, 1997.
16. Nelson, S., Pecheur, C. "V&V for advanced systems at NASA", TASK NO: 10 TA-5.3.3 (WBS 1.4.4.5.3), prepared for Northrop Grumman Corp, 2002.
17. NTP, www.ntp.org.
18. Sanchez, C., Sankaranarayanan, S., Sipma, H., Zhang, T., Dill, D., Manna, Z. "Event Correlation: Language and Semantics", Proc. of Embedded Software (EMSOFT), LNCS 2855: 323-339, Oct. 2003.
19. Shanahan M. P. "The event calculus explained". In Artificial Intelligence Today, Lecture Notes in Artificial Intelligence, 1600:409-430, 1999.
20. Spanoudakis G., Mahbub K. "Non intrusive monitoring of service based systems". International Journal of Cooperative Information Systems, 15(3):325-358, 2006.