2 <!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid/simgrid.dtd">
3 <platform version="4.1">
4 <zone id="AS0" routing="Full">
5 <host id="Faulty Host" speed="1Gf" state_file="trace/faulty_host.trace"/>
6 <host id="Safe Host" speed="500Mf"/>