Python for air traffic control?

[Van Gale]

> I think that Ada 95 is the best language to use for safety critical
systems
> such as air traffic control. That's precisely the field Ada was designed
for:
> large, safety-critical realtime software.

As much as I love Python, and dislike the Ada "world", I would have to agree
with this.  Ada has tools available that can read source code and validate
real-time requirements.  These kinds of tools were developed by the
aerospace industry for projects like the space station.  Not trivial stuff.