//предварительно профильтроовав переменную ip
// флаг -с - количество попыток соединения
exec("ping -c 1 $ip > tmp.txt", $out);

//Вывод результатов пинга
readfile("tmp.txt");

ну и можно вставить куда-то unlink() если нужно