Python for air traffic control?

[Grant Edwards]

On Wed, 04 Jul 2001 18:30:38 GMT, Van Gale <cgale1 at _remove_home.com> wrote:

>> 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.

I find that extremely hard to believe: tools that read source
code and verify execution timing?  Of multi-threaded apps with
unsyncrhonized inputs?

That would be pretty amazing.

The only way I have ever hear of for doing that is with a
platform simulator that executions the object code generated by
the compiler/linker and simulates input data.

>These kinds of tools were developed by the aerospace industry
>for projects like the space station.  Not trivial stuff.

-- 
Grant Edwards                   grante             Yow!  We are now enjoying
                                  at               total mutual interaction in
                               visi.com            an imaginary hot tub...