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
>
You may wish to look at
http://www.eurofighter.starstreak.net/forum/viewtopic.php?t=585
for all the information publicly available..
The reason was given there was a conflict between the software and the
engines fitted in the Development aircraft. (they were earlier
versions of the production standard)
Cheers
John Cook
Any spelling mistakes/grammatic errors are there purely to annoy. All
opinions are mine, not TAFE's however much they beg me for them.
Email Address :- Jwc...@ozemail.com.au
Eurofighter Website :- http://www.eurofighter-typhoon.co.uk
http://www.eurofighter.com/news/newsitem.asp?NewsItemID=116
http://www.eurofighter.com/news/newsitem.asp?NewsItemID=117
according with Iblnews (in Spanish) :
http://iblnews.com/news/noticia.php3?id=70853
"Hoax about software failure appeared a few minutes after the crash."
"That shows how much people expect software failure. Software failure
is an easy escape goat".
vol...@nivoba.de (Volkert) wrote in message news:<d37844cb.03032...@posting.google.com>...