A runtime-monitoring-based dependable software construction method

Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008

Volumn , Issue , 2008, Pages 1093-1100

  Zhu, Jun ^a   Guo, Changguo ^a   Yin, Quan ^a   Bo, Jianlu ^a   Wu, Quanyuan ^a  

^a NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY   (China)

Author keywords

Aspect oriented programming; Dependable software; Runtime monitoring

Indexed keywords

CODES (SYMBOLS); MONITORING; NETWORK COMPONENTS; WEB SERVICES; WORLD WIDE WEB;

ASPECT ORIENTED PROGRAMMING; AUTOMATICALLY GENERATE; CASE STUDIES; CURRENT SOFTWARES; DEPENDABLE SOFTWARE; DISTRIBUTED SOFTWARES; FUNCTIONAL ASPECTS; INSTRUMENT MONITORING; LINE MONITORING; MONITORING CODES; MONITORING INFORMATIONS; MONITORING REQUIREMENTS; MULTI THREADS; NOVEL METHODS; RUNTIME MONITORING; SOFTWARE RUNTIME; SOFTWARE SYSTEMS; SOURCE CODES;

COMPUTER SOFTWARE;

EID: 58349084278     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICYCS.2008.298     Document Type: Conference Paper

References (29)

1. F, Chen and G. Rosu. Towards Monitoring-Oriented Programming: A paradigm combining specification and implementation. In Runtime Verification 2003, 2003.
2. F. Chen and G. Rosu. Java-MOP: A monitoring oriented programming environment for Java. In European Joint Conferences on Theory and Practice of Software(ETAPS 2005), 2005.
3. F. Chen and G. Rosu. MOP: An efficient and generic runtime verification framework. In OOPSLA07, 2007.
4. Y. Coady, G. Kiczales, M. Feeley, N. Hutchinson, and J. S. Ong. Structuring operating system aspects. Communications of the ACM, October 2001.
5. Y. Coady, G. Kiczales, M. Feeley, N. Hutchinson, J. S. Ong, and S. Gudmundson. Exploring an aspect-oriented approach to OS code. In ECOOP 2001, 2001.
6. Y. Coady, G. Kiczales, M. Feeley, and G. Smolyn. Using As- pectC to improve the modularity of Path-Specific customization in operating system code. In FSE 2001, 2001.
7. N. Delgado, A. Q. Gates, and S. Roach. A taxonomy and catalog of runtime software-fault monitoring tools. IEEE Transactions on Software Engineering, 30(12), Decemer 2004.
8. A. Q. Gates and O. Mondragon. FasTLInC: a constraint- based tracing approach. Journal of systems and software, 2002.
9. A. Q. Gates and P. J. Teller. DynaMICs: An automated and independent software-fault detection approach. In Proceedings of the Fourth International High-Assurance Systems Engineering Symposium, 1999.
10. T. C. Group. TCG architecture overview vl.2. Technical report, April 2004.
11. F. J. Hauck, U. Becker, M. Geier, E. Meier, U. Rastofer, and M. Steckermeier. AspectIX: An aspect-oriented and CORBA-compliant ORB architecture. Technical Report TR-I4-98-08, Univ. of Erlangen-Nuernberg, IMMD IV, 1998.
12. F. Hunleth. Building customizable middleware using aspect- oriented programming. Master's thesis, Washington University, May 2002.
13. C. Huo-wang, W. Ji, and D. Wei. High confidence software engineering technologies. ACTA ELECTRONICA SINICA, 31(12A), December 2003.
14. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J. M. Loingtier, and J. Irwin. Aspect-oriented programming. In 11th European Conference of Object Oriented Programming, ECOOP'97, volume 1241 of Lecture Notes in Computer Science, pages 220-242. Springer, June 1997.
15. M. Kim, M. Viswanathan, H. Ben-Abdallah, S. Kannan, I. Lee, and O. Sokolsky. MaC: A framework for run-time correctness assurance of real-time systems. Technical report, University of Pennsylvania, 1998.
16. G. T. Leavens, A. L. Baker, and C. Ruby. Preliminary design of JML: a behavioral interface specification language for Java. SIGSOFT Software Engineering Notes, 31(3): 1-38, 2006.
17. I. Lee, H. Ben-Abdallah, S. Kannan, M. Kim, O. Sokolsky, and M. Viswanathan. A monitoring and checking framework for run-time correctness assurance. In Proceedings of the 1998 Korea-U.S. Technical Conference on Strategic Technologies, 1998.
18. Luckham, D., W. Mann, S. Meldal, and D. Helmbold. An overview of Anna: Specification language for Ada. IEEE Software, 1988.
19. B. Meyer. Object Oriented Software Construction. Prentice- Hall, 1998.
20. B. Meyer. The founder of the Eiffel language programmer. Technical report, InformIT, 2003.
21. H. P. Reiser, F. J. Hauck, R. Kapitza, and A. I. Schmied. Integrating fragmented objects into a CORBA environment. In Proceedings of the Net. ObjectDays (Erfurt, Germany, Sep. 22-24, 2003), pages 264-272, 2003.
22. D. S. Rosenblum. A practical approach to programming with assertions. IEEE Transactions on Software Engineering, 1995.
23. S. Sankar and M. Mandal. Concurrent runtime monitoring of formally specified programs. IEEE Computer, 1993.
24. Teller, P., M. Maxwell, and A. Gates. Towards the design of a snoopy coprocessor for dynamic software-fault detection. In IEEE International Performance, Computing, and Communications Conference, 1999.
25. E. Truyen. Dynamic and Context-Sensitive Composition in Distributed Systems. PhD thesis, K.U.Leuven, Belgium, November 2004.
26. E. Truyen, B. Vanhaute, W. Joosen, P. Verbaeten, and B. N. Joergensen. Dynamic and selective combination of extensions in component-based applications. In 23rd International Conference on Software Engineering (ICSE'2001), May 2001.
27. Tsai, J.P., K. Fang, H. Chen, and Y. Bi. A noninterference monitoring and replay mechanism for real-time software testing and debugging. IEEE Transactions on Software Engineering, 1990.
28. Visser, W., and K. Havelund. Java PathFinder: Second generation of a java model checker. In Post-CAV Workshop on Advances in Verification, 2000.
29. R. J. Walker, E. L. A. Baniassad, and G. C. Murphy. An inital assessment of aspect-oriented programming. In Proceedings of the 21st International Conference on Software Engineering, May 1999.