Time-aware instrumentation of embedded software

IEEE Transactions on Industrial Informatics

Volumn 6, Issue 4, 2010, Pages 652-663

  Fischmeister, Sebastian ^a   Lam, Patrick ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

Author keywords

Debugging; instrumentation; real time systems; tracing

Indexed keywords

BUFFER SIZES; CODE SIZE; COMPUTATION RESOURCES; DATA TRACES; DEBUGGING; DEVELOPMENT PROCESS; FLASH FILE SYSTEMS; INSTRUMENTATION; INSTRUMENTATION TECHNIQUES; KEY TECHNIQUES; KEYBOARD CONTROLLERS; REAL-TIME APPLICATION; RUNTIME OVERHEADS; SOFTWARE INSTRUMENTATION; SPACE AND TIME; SYSTEM UNDER TEST; TEMPORAL CONSTRAINTS; TIME BUDGET; TRACING;

BUDGET CONTROL; COMPUTER MONITORS; EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; FIRMWARE; INSTRUMENTS; LAPTOP COMPUTERS; PERTURBATION TECHNIQUES; PROGRAM DEBUGGING;

REAL TIME SYSTEMS;

EID: 78149464259     PISSN: 15513203     EISSN: None     Source Type: Journal    
DOI: 10.1109/TII.2010.2068304     Document Type: Article

References (33)

1. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold, "An overview of AspectJ," in Eur. Conf. Object-Oriented Programming, J. L. Knudsen, Ed., 2001, vol. 2072, Lecture Notes in Computer Science, pp. 327-353, Springer.
2. T. Romer, G. Voelker, D. Lee, A. Wolman, W. Wong, H. Levy, B. Ber-shad, and B. Chen, "Instrumentation and optimization of Win32/Intel executables using Etch," in Proc. USENIX Windows NT Workshop, 1997, pp. 1-8.
3. J. J. Labrosse, MicroCOS II: The Real Time Kernel. Gilroy, CA: CMP Books, 2002.
4. B. Dobbing and A. Burns, "The Ravenscar tasking profile for high integrity real-time programs," in Proc. Annu. ACM SIGAda Int. Conf. Ada (SIGAda), New York, 1998, pp. 1-6.
5. S. Fischmeister and I. Lee, "Temporal control in real-time systems: Languages and systems," in Handbook on Real-Time Systems, ser. Information Science Series. Boca Raton, FL: CRC Press, 2007, pp. 10-1-10-18.
6. M. Li, T. V. Achteren, E. Brockmeyer, and F. Catthoor, "Statistical performance analysis and estimation of coarse grain parallel multimedia processing system," in Proc. 12th IEEE Real-Time and Embedded Technol. Appl. Symp. (RTAS), Washington, DC, 2006, pp. 277-288.
7. R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, and P. Stenström, "The worst-case execution-time problem\Overview of methods and survey of tools," Trans. Embedded Comput. Syts., vol. 7, no. 3, pp. 1-53, 2008.
8. OpenEC Project Site. 2008. [Online]. Available: http://wiki.laptop. org/go/OpenEC
9. SDCC\Small Device C Compiler. 2008. [Online]. Available: http://sdcc.sourceforge.net/
10. N. Audsley, A. Burns, M. Richardson, K. Tindell, and A. Wellings, "Applying new scheduling theory to static priority pre-emptive scheduling," J. Softw. Eng., vol. 8, no. 5, pp. 284-292, 1993.
11. J. Liu, Real-Time Systems. Englewood Cliffs, NJ: Prentice-Hall, 2000.
12. G. J. Holzmann, The SPIN Model Checker: Primer and Reference Manual. Reading, MA: Addison-Wesley, 2003.
13. S. Dieckmann and U. Hölzle, "A study of the allocation behavior of the SPECjvm98 Java benchmarks," in Proc. ECOOP 1999, 1999, Lecture Notes in Computer Science, pp. 92-115.
14. R. M. Karp, "Reducibility among combinatorial problems," in Complexity of Computer Computations, R. E. Miller and J. W. Thatcher, Eds. New York: Plenum Press, 1972, pp. 85-103.
15. H. de Kock, Small-ffs Sep. 2009. [Online]. Available: http://http://code. google.com/p/small-ffs
16. A. Georges, M. Christiaens, M. Ronsse, and K. De Bosschere, "JaRec: A portable record/replay environment for multi-threaded Java applications," Software\Practice & Experience, vol. 34, no. 6, pp. 523-547, 2004.
17. T. Leblanc and J. Mellor-Crummey, "Debugging parallel programs with instant replay," Trans. Comput., vol. C-36, no. 4, pp. 471-482, Apr. 1987.
18. D. Sundmark, H. Thane, J. Huselius, and A. Pettersson, "Replay debugging of complex real-time systems: Experiences from two industrial case studies," inProc. 5th Int. Workshop on Algorithmic and Automated Debugging (AADEBUG03), Gent, Belgium, Sep. 2003, pp. 211-222. [Online]. Available: http://www.mrtc.mdh.se/index.php?choice=pub-lications&id=0573
19. H. Thane, "Monitoring, testing and debugging of distributed real-time systems" Ph.D. dissertation, Dept. Comput. Sci. Electron., Mälardalens Univ., Västerås, Sweden, May 2000.
20. M. Ronsse, K. De Bosschere, M. Christiaens, J. de Kergommeaux, and D. Kranzlmüller, "Record/replay for nondeterministic program executions," Commun. ACM, vol. 46, no. 9, pp. 62-67, 2003.
21. K. Audenaert and L. Levrouw, "Interrupt replay: A debugging method for parallel programs with interrupts," Microprocessors and Microsystems, vol. 18, no. 10, pp. 601-612, Dec. 1994.
22. J. J. P. Tsai, K.-Y. Fang, H.-Y. Chen, and Y.-D. Bi, "A noninterference monitoring and replay mechanism for real-time software testing and debugging," IEEE Trans. Softw. Eng., vol. 16, no. 8, pp. 897-916, 1990.
23. P. Dodd and C. Ravishankar, "Monitoring and debugging distributed real-time programs," in Monitoring and Debugging Distributed RealTime Programs. Los Alamitos, CA: IEEE Computer Society Press, 1995, pp. 143-157.
24. N. Nethercote and J. Seward, "Valgrind: A framework for heavyweight dynamic binary instrumentation," in Proc. ACM SIGPLAN Conf. Programming Language Design and Implementation, PLDI'07, New York, USA, 2007, pp. 89-100. [Online]. Available: http://portal.acm.org/ci-tation.cfm?id=1250734.1250746, ACM
25. D. Bruening, T. Garnett, and S. Amarasinghe, "An infrastructure for adaptive dynamic optimization," in Proc. Int. Symp. on Code Generation and Optimization (CGO), Washington, DC, 2003, pp. 265-275.
26. C.-K. Luk, R. Cohn, R. Muth, H. Patil, A. Klauser, G. Lowney, S. Wallace, V. J. Reddi, and K. Hazelwood, "Pin: Building customized program analysis tools with dynamic instrumentation," in Proc. ACM SIGPLAN Conf. Programming Language Design and Implementation, New York, 2005, pp. 190-200.
27. J. R. Larus and E. Schnarr, "EEL: Machine-independent executable editing," in Proc. ACM SIGPLAN Conf. Programming Language Design and Implementation (PLDI), New York, 1995, pp. 291-300.
28. T. Romer, G. Voelker, D. Lee, A. Wolman, W. Wong, H. Levy, and B. Bershad, "Instrumentation and optimization of Win32/Intel executa-bles using Etch," in Windows NT Workshop, 1997.
29. X. Zhang, Z. Wang, N. Gloy, J. B. Chen, and M. D. Smith, "System support for automatic profiling and optimization," in Proc. 16th ACM Symp. Operating Syst. Principles (SOSP), New York, 1997, pp. 15-26.
30. A. Srivastava and A. Eustace, "ATOM a system for building customized program analysis tools," SIGPLAN Not. vol. 39, pp. 528-539, Apr. 2004. [Online]. Available: http://portal.acm.org/cita-tion.cfm?id=989393.989446
31. N. Bettenburg, S. Just, A. Schröter, C. Weiss, R. Premraj, and T. Zim-mermann, "What makes a good bug report?," in Proc. 16th ACM SIG-SOFT Int. Symp. Foundations of Softw. Eng. (FSE), New York, 2008, pp. 308-318.
32. M. Serrano and X. Zhuangc, "Building approximate calling context from partial call traces," in Proc. 7th Annu. IEEE/ACM Int. Symp. Code Generation and Optimization (CGO), Washington, DC, 2009, pp. 221-230.
33. G. Pothier, E. Tanter, and J. Piquer, "Scalable omniscient debugging," in Proc. 22nd Annu. ACM SIGPLAN Conf. Object-Oriented Program. Syst. Appl. (OOPSLA), New York, 2007, pp. 535-552, ACM.