Software monitoring with controllable overhead

International Journal on Software Tools for Technology Transfer

Volumn 14, Issue 3, 2012, Pages 327-347

  Huang, Xiaowan ^a   Seyster, Justin ^a   Callanan, Sean ^a   Dixit, Ketan ^a   Grosu, Radu ^a   Smolka, Scott A ^a   Stoller, Scott D ^a   Zadok, Erez ^a  

^a STONY BROOK UNIVERSITY   (United States)

Author keywords

Software instrumentation; Supervisory control

Indexed keywords

BURSTY BEHAVIOR; DISCRETE TIME SYSTEM; INTEGER VARIABLES; MONITORING TECHNIQUES; RANGE ANALYSIS; SOFTWARE INSTRUMENTATION; SOFTWARE MONITORING; SUPERVISORY CONTROL; SUPERVISORY CONTROL THEORY; SYSTEM INTERFACES; UPPER AND LOWER BOUNDS;

APPLICATION PROGRAMMING INTERFACES (API); CONTROL THEORY;

MONITORING;

EID: 84861234842     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s10009-010-0184-4     Document Type: Article

References (19)

1. Aziz A., Balarin F., Brayton R. K., Dibenedetto M. D., Sladanha A., Sangiovanni-Vincentelli A. L.: Supervisory control of finite state machines. In: Wolper, P. (eds) 7th International Conference On Computer Aided Verification, vol. 939, pp. 279-292. Springer Liege, Belgium (1995).
2. Alur R., Dill D. L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183-235 (1994).
3. Arnold, M., Vechev, M., Yahav. E.: QVM: An efficient runtime for detecting defects in deployed systems. In: Proceedings of the ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). ACM, Nashville, TN (2008).
4. Callanan, S., Dean, D. J., Gorbovitski, M., Grosu, R. Seyster, J., Smolka, S. A., Stoller, S. D., Zadok, E.: Software monitoring with bounded overhead. In: Proceedings of the 2008 NSF Next Generation Software Workshop, in conjunction with the 2008 International Parallel and Distributed Processing Symposium (IPDPS 2008), Miami (2008).
5. Callanan, S., Dean, D. J., Zadok, E.: Extending GCC with modular GIMPLE optimizations. In: Proceedings of the 2007 GCC Developers' Summit, Ottawa (2007).
6. Cantrill, B., Shapiro, M. W., Leventhal, A. H.: Dynamic instrumentation of production systems. In: Proceedings of the Annual USENIX Technical Conference, pp. 15-28 (2004).
7. Fei, L., Midkiff, S. P.: Artemis: Practical runtime monitoring of applications for errors. Technical report TR-ECE-05-02. Electrical and Computer Engineering, Purdue University. http://docs. lib. purdue. edu/ecetr/4/ (2005).
8. Fei, L., Midkiff, S. P.: Artemis: Practical runtime monitoring of applications for execution anomalies. In: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '06), Ottawa, Canada (2006).
9. Franklin G. F., Powell J. D., Workman M.: Digital Control of Dynamic Systems, Third Edition. Addison Wesley Longman, Inc, Boston (1998).
10. Hauswirth, M., Chilimbi, T. M.: Low-overhead memory leak detection using adaptive statistical profiling. In: Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2004), pp. 156-164 (2004).
11. Henning J. L.: SPEC CPU2006 benchmark descriptions. Comput. Archit. News 34(4), 1-17 (2006).
12. Hoare C. A. R.: Communicating sequential processes. Commun. ACM 21, 666-677 (1978).
13. Liblit, B., Aiken, A., Zheng, A. X., Jordan, M. I.: Bug isolation via remote program sampling. In: Proceedings of the 2003 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '03), San Diego (2003).
14. Moore, R.: A universal dynamic trace for Linux and other operating systems. In: Proceedings of the 2001 USENIX Annual Technical Conference (2001).
15. Ramadge P. J., Wonham W. M.: Supervisory control of a class of discrete event systems. SIAM J. Control Optim. 25(1), 206-230 (1987).
16. Ramadge P. J., Wonham W. M.: Supervisory control of timed discrete-event systems. IEEE Trans. Autom. Control 38(2), 329-342 (1994).
17. Seward, J., Nethercote, N., Fitzhardinge, J.: Valgrind. http://valgrind. kde. org (2004).
18. Wang, Q.-G., Ye, Z., Cai, W.-J., Hang, C.-C.: PID control for multivariable processes. Lecture Notes in Control and Information Sciences. Springer, Berlin (2008).
19. Wong-Toi, H., Hoffmann, G.: The control of dense real-time discrete event systems. In: Proceeedings of 30th Conference on Decision and Control, pp. 1527-1528, Brighton (1991).