From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,732030daa45ab98a X-Google-Attributes: gid103376,public X-Google-Thread: 115aec,732030daa45ab98a X-Google-Attributes: gid115aec,public X-Google-ArrivalTime: 2001-04-27 08:53:26 PST Path: newsfeed.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!news.tele.dk!194.25.134.62!newsfeed00.sul.t-online.de!t-online.de!newsfeed.r-kom.de!news-nue1.dfn.de!news-han1.dfn.de!news.fh-hannover.de!news.cid.net!news.enyo.de!news1.enyo.de!not-for-mail From: Florian Weimer Newsgroups: comp.lang.ada,comp.realtime Subject: Re: European train deaths Date: 27 Apr 2001 17:52:43 +0200 Organization: Enyo's not your organization Message-ID: <87k846z6es.fsf@deneb.enyo.de> References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Xref: newsfeed.google.com comp.lang.ada:6980 comp.realtime:2427 Date: 2001-04-27T17:52:43+02:00 List-Id: 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.