论文信息 - A debugger RTOS for embedded systems

A debugger RTOS for embedded systems

A software debugging mechanism for embedded systems is presented. The debugger is a dynamically loadable and linkable module of the operating system. The methodology presented provides automatic error detection, classification and location capabilities for a set of algorithmic errors. An example implementation of our approach is given for debugging an integer divide-by-zero error.

[1] Manuel V. Hermenegildo,et al. A Framework for Assertion-Based Debugging in Constraint Logic Programming , 1998, CP.

[2] Vijay K. Madisetti,et al. Adaptability, extensibility and flexibility in real-time operating systems , 2001, Proceedings Euromicro Symposium on Digital Systems Design.

[3] Ehud Shapiro,et al. Algorithmic Program Debugging , 1983 .

[4] John W. Lloyd,et al. The Gödel programming language , 1994 .

[5] Eugene H. Spafford,et al. Dynamic slicing in the presence of unconstrained pointers , 1991, TAV4.

[6] Zoltan Somogyi,et al. The Execution Algorithm of Mercury, an Efficient Purely Declarative Logic Programming Language , 1996, J. Log. Program..

[7] John R. Levine. Linkers and Loaders , 1999 .

[8] David Abramson,et al. Relative debugging: a new methodology for debugging scientific applications , 1996, CACM.

[9] Rok Sosic,et al. Relative Debugging: A new paradigm for debugging scientific applications , 1996 .

[10] Eugene H. Spafford,et al. Efficient Debugging with Slicing and Backtracking , 1990 .

[11] Eugene H. Spafford,et al. Debugging with dynamic slicing and backtracking , 1993, Softw. Pract. Exp..