prova con

codice:
if(file_get_contents('http://(ip)/') === false) 
{
  $imgsrc = "semafororosso.gif";
}
else
{
  $imgsrc = "semaforoverde.gif";
}
echo "<img src=\"".$imgsrc."\">";
(la @ va messa, ma per adesso lascialo senza cosi vedi l'errore che ti da l'alterinativa è usare www.php.net/fsockopen )