Software :: Detecting An Infinite Loop In A Process?

I am trying to develop a process monitor, or use existing monitors to achieve the below given actions.

1) Restart a processes if it crashes.
2) Restart a processes if it is stuck in an infinite loop.

The sample code below describes the structure of the process.

while(1)
{
statement 1....
statement 2....
while (1)
{

[Code].....

The goal is to restart the process if it is stuck in a loop, inside the outer while loop. Given this scenario, what would be the most efficient way to monitor such a process?

A sample solution would look something like this: statement 3 will write to file1 every time it is executed and we know that the maximum execution time of the outer while loop is 30 seconds. A second, timer driven process, checks for file1 being modified every 30 seconds. If the file is not modified, process 1 will be restarted assuming, process1 is stuck in a while loop.