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,ec48dd7109576b68 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-03-28 00:28:34 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed.freenet.de!fu-berlin.de!uni-berlin.de!213.155.153.242!not-for-mail From: Peter Amey Newsgroups: comp.lang.ada Subject: Re: Eurofighter DA6 crash Date: Fri, 28 Mar 2003 08:30:22 +0000 Message-ID: <3E84081E.3010200@praxis-cs.co.uk> References: NNTP-Posting-Host: 213.155.153.242 Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Trace: fu-berlin.de 1048840113 706960 213.155.153.242 (16 [69815]) User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.0.2) Gecko/20030208 Netscape/7.02 X-Accept-Language: en-us, en Xref: archiver1.google.com comp.lang.ada:35781 Date: 2003-03-28T08:30:22+00:00 List-Id: Volkert wrote: > Last year an Eurofighter crashed in Spain. > Both engines failed. It looks like an sw > problem. > > Ada/Spark involved? > > Volkert I have no priveleged information about the crash itself but can say that the engine control software is not written in SPARK. In any case, speculation before the investigation is complete is usually a waste of time. Peter