A watchdog timer is a timer with a reset input that has its output connected to the processor reset line. If the timer expires, the processor is reset. The program should reset the timer every now and then to prevent a reset from being generated. The function thus is quite clear: if your program runs out of hand, resulting in not resetting the timer, the watchdog will reset the device and the processor can (probably) regain control.