Самым надежным методом будет обмен с подтверждением. Алгоритм:

Мастер посылает случ. число. (начало серии)

Славе - меняет число по известному алгоритму и кладет в др. регистр.
Мастер проверяет число, что оно изменилось по изв. алгоритму - то славе жив, сам меняет его по известному алгоритму и посылает обратно.
Славе проверяет, и если число изменилось правильно - мастер жив.

Цикл повторяется до бесконечности.

В качестве алгоритма можно использовать прибавление простых чисел (разных для мастера и slave).
В этом случае и мастер и slave проверяют надежность связи и адекватность друг-друга.