Re: European train deaths

[Florian Weimer <fw@deneb.enyo.de>]

Colin_Paul_Gloster@ACM.org (Colin Paul Gloster) writes:

> Something which occured to me only yesterday (unless I cleanly
> forgot before) is that Ada and formal methods are used for
> European train systems and so these may be involved in some
> of the spate of fatal crashes over the last circa two years
> in the U.K.; Norway; and elsewhere in the E.U..

There were major accidents in Germany as well, but they were caused by
lack of careful maintenance or errors of the driver.

I think there were some non-fatal accidents in Southern Germany due to
software failures (or specification errors or whatever), but these
involved streetcars.