есть ещё некоторые более тонкие методы проверки, они будут работать более точно

ставим на отслеживаемую программу MailSlot сервер, а на ту программу которая будет следить, ставим клиент, и ставим опрос на таймер, отправку любых данных на сервер, и в случае успеха отправки, программа выдаст 1, если программа выдала 0, значит она выдала ошибку, либо зависла, либо вырубилась, убиваем на всякий случай программу по PID или ProcName и запускаем заного....

если же в ходе работы программы нагружается память, то можно сделать опрос выделенной памяти на определённый процесс, если превышает, то убиваем, запускаем заного

если в ходе работы программы она начинает работать с ошибками, то самый действенный метод сделать опрос основной части программы, тоесть опрашивать те узлы, которые совершают основную работу(например через тот же MailSlot делать опрос COM порта какого нибудь параметра железа), если вылезли отклонения или ошибки, или же таймаут истёк, перазапускаем