-<?xml version='1.0'?>
-<!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid/simgrid.dtd">
-<platform version="4">
-<AS id="AS0" routing="Full">
- <host id="Faulty Host" speed="1Gf" state_file="faulty_host.trace"/>
- <host id="Safe Host" speed="500Mf"/>
-</AS>
-</platform>
-