TrafficOS: Device backend and simulator