Real-Time Scheduling of Autonomous Driving System with Guaranteed Timing Correctness | IEEE Conference Publication | IEEE Xplore