Hybrid Simulation and Test of Vessel Traffic Systems on the Cloud