An autonomous car is a highly complex, distributed, dynamic system. It must coordinate many component software modules continuously, make real-time local decisions based on system-wide constraints, and approximate global state.