,i>I would also OR the reset from the ISP cable, but I would probably OR it, and the manual pushbutton if there is one, to the ~PBRST pin of the DS1232.
That will work, but do not fall in the trap of a direct OR to the uC reset pin, thet will get you.

Erik