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=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,732030daa45ab98a,start X-Google-Attributes: gid103376,public X-Google-Thread: 115aec,732030daa45ab98a,start X-Google-Attributes: gid115aec,public X-Google-ArrivalTime: 2001-04-27 05:43:22 PST Path: newsfeed.google.com!newsfeed.stanford.edu!news.tele.dk!134.222.94.5!npeer.kpnqwest.net!newsfeed.esat.net!news.heanet.ie!Colin_Paul_Gloster From: Colin_Paul_Gloster@ACM.org (Colin Paul Gloster) Newsgroups: comp.lang.ada,comp.realtime Subject: European train deaths Date: 27 Apr 2001 13:45:27 GMT Organization: Dublin City University Message-ID: Reply-To: Colin_Paul_Gloster@ACM.org NNTP-Posting-Host: ns.dcu.ie X-Trace: kenraki.heanet.ie 988379127 1549 136.206.1.3 (27 Apr 2001 13:45:27 GMT) X-Complaints-To: news@kenraki.heanet.ie NNTP-Posting-Date: 27 Apr 2001 13:45:27 GMT Summary: Seeking involvement of computerised systems in loss of life on locomotives User-Agent: slrn/0.9.5.3 (UNIX) Cache-Post-Path: ns.dcu.ie!unknown@tolka.dcu.ie X-Cache: nntpcache 2.3.3 (see http://www.nntpcache.org/) Xref: newsfeed.google.com comp.lang.ada:6969 comp.realtime:2421 Date: 2001-04-27T13:45:27+00:00 List-Id: 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.. At least one in the U.K. had to do with a light signalling error if memory serves correctly but I do not recall if this had anything to do with software. It may be worthwhile to investigate this -- would any of ye happen to remember if computers were involved in these locomotive incidents? Thank you, Colin Paul Gloster P.S. I apologise in advance for not promptly replying to any forthcoming responses. I will be out of touch for much of the coming month.