[log in to unmask] wrote:

>Some sort of automation controls the rail operations of the DC metro while
>an operator rides aboard the train to open the doors and announce the stops.
>However, the operators have been running the trains manually for the past
>few months as they have encountered several problems with the automatic
>system.  I believe that it comes from the mid-seventies, so it was long
>before Ada's time.

Considering that the mechanism seems to have "worn out", I presume the
problems are hardware rather than software, and thus Ada would not have
been even close to a magic bullet.