Geo-distributed simulation and verification infrastructure for safe train galileo-based positioning