From: Peter Amey <peter.amey@praxis-cs.co.uk>
Subject: Re: Eurofighter DA6 crash
Date: Fri, 28 Mar 2003 08:30:22 +0000
Date: 2003-03-28T08:30:22+00:00 [thread overview]
Message-ID: <3E84081E.3010200@praxis-cs.co.uk> (raw)
In-Reply-To: d37844cb.0303272359.2e3b6abf@posting.google.com
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
next prev parent reply other threads:[~2003-03-28 8:30 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-03-28 7:59 Eurofighter DA6 crash Volkert
2003-03-28 8:30 ` Peter Amey [this message]
2003-03-29 4:21 ` John Cook
2003-03-29 21:17 ` svaa
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox