Aveksha is a hardware-software approach for non-intrusively tracing and profiling sensor network nodes. The hardware prototype we have created is the Telos Debug Board (TDB).
TARDIS is a software-only approach for complete record and replay of embedded system firmware.