A Model-Driven Automatically-Retargetable Debug Tool for Embedded Systems


Contemporary SoC designs ask for system-level debugging tools suitable to heterogeneous platforms. Such tools will have to rely on some low-level model-driven debugging engine that must be retargetable, since embedded code may run on distinct processors within the same platform. This paper describes a technique for automatically retargeting debugging tools for embedded code inspection. The technique relies on two key ideas: automatic extraction of machinedependent information from a formal model of the processor and reuse of a conventional binary utility package as implementation infrastructure. The retargetability of the technique was experimentally validated for targets MIPS, SPARC, PowerPC and i8051.

DOI: 10.1007/978-3-540-73625-7_4

Extracted Key Phrases

9 Figures and Tables

Cite this paper

@inproceedings{Schultz2007AMA, title={A Model-Driven Automatically-Retargetable Debug Tool for Embedded Systems}, author={Max R. de O. Schultz and Alexandre K. I. Mendonça and Felipe G. Carvalho and Olinto J. V. Furtado and Luiz Cl{\'a}udio Villar dos Santos}, booktitle={SAMOS}, year={2007} }