Special Session on Debugging
In software, hardware, and embedded system domains, debugging is the process of locating and correcting faults in a system. Depending on the context, the various characteristics of debugging induce different challenges and solutions. Post-silicon hardware debugging, for example, needs to address issues such as limited visibility and controllability, while debugging software entails other issues, such as the handling of distributed or non-deterministic computation. The challenges that accompany such issues are the focus of many current research efforts. Solutions for debugging range from interactive tools to highly analytic techniques. We have seen great advances in debugging technologies in recent years, but bugs continue to occur, and debugging still encompasses significant portions of the lifecycles of many systems. The session covered state-of-the-art approaches as well as promising new research directions in both the hardware and software domains.
KeywordsFormal Verification Concurrent Program Special Session Software Domain Current Research Effort
Unable to display preview. Download preview PDF.
- 1.Burger, M., Lehmann, K., Zeller, A.: Automated debugging in eclipse. In: OOPSLA Companion 2005, pp. 184–185 (2005)Google Scholar
- 2.De Paula, F.M., Gort, M., Hu, A.J., Wilton, S.J.E., Yang, J.: BackSpace: Formal Analysis for Post-Silicon Debug. In: Formal Methods in Computer-Aided Design (FMCAD), pp. 35–44. IEEE eXpress Publishing (2008)Google Scholar
- 3.Kuan, J., Wilton, S.J.E., Aamodt, T.M.: Accelerating Trace Computation in Post-Silicon Debug. In: 11th IEEE International Symposium on Quality Electronic Design (ISQED 2010), pp. 244–249 (2010)Google Scholar
- 4.Cunha, J.C., Lourenço, J., Duarte, V.: Debugging of parallel and distributed programs. Parallel program development for cluster computing. In: Advances Computation: Theory And Practice, vol. 5, pp. 97–129. Nova Science Publishers, Inc., Commack (2001)Google Scholar