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.1 required=5.0 tests=BAYES_00, PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: 103376,2def9aa85afa5d22 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-11-02 12:04:01 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!naxos.belnet.be!news.belnet.be!not-for-mail From: dirk@midgard.cs.kuleuven.ac.be (Dirk Craeynest) Newsgroups: comp.lang.ada Subject: Re: Joint Strike Fighter Date: 2 Nov 2001 21:03:50 +0100 Organization: Ada-Belgium, c/o Dept. of Computer Science, K.U.Leuven Message-ID: <9ruu76$ktl$1@midgard.cs.kuleuven.ac.be> References: <3BDCE159.39F6D422@adaworks.com> NNTP-Posting-Host: seven.kulnet.kuleuven.ac.be X-Trace: naxos.belnet.be 1004731433 14497 134.58.127.12 (2 Nov 2001 20:03:53 GMT) X-Complaints-To: abuse@belnet.be NNTP-Posting-Date: Fri, 2 Nov 2001 20:03:53 +0000 (UTC) Summary: Green Hills' AdaMULTI selected Cache-Post-Path: seven.kulnet.kuleuven.ac.be!unknown@midgard.cs.kuleuven.ac.be X-Cache: nntpcache 2.4.0b5 (see http://www.nntpcache.org/) Xref: archiver1.google.com comp.lang.ada:15693 Date: 2001-11-02T21:03:50+01:00 List-Id: In article <3BDCE159.39F6D422@adaworks.com>, Richard Riehle wrote: >Now that LMCO has been awarded the contract for >JSF, does anyone know if the original plan to do the >software in Ada remains unchanged? Check out the recent news at http://www.ghs.com/news/211031l.html. [start quote:] Green Hills Software's INTEGRITY(tm) Selected As Operating System For F-35 Joint Strike Fighter Green Hills to Provide Operating System and Development Environment for Largest Military Procurement in History Santa Barbara, CA, October 31, 2001 -- Green Hills Software, Inc., today announced that Lockheed Martin will be using Green Hills' INTEGRITY(tm) real-time operating system (RTOS) and AdaMULTI� 2000 software development tools to develop software for its Joint Strike Fighter (JSF) aircraft. Lockheed Martin's design for the JSF was selected by the Department of Defense (DoD) in a $200 billion award, the largest in US DoD history. Avionics software developed by Lockheed Martin will run on airborne PowerPC processors operating under the INTEGRITY RTOS. [end quote] And a bit further: [start quote:] Carbone continues, "The INTEGRITY RTOS, together with Green Hills' AdaMULTI IDE, and Ada 95/C/C++ compilers provides a complete single-vendor RTOS and development solution for developing real-time mission and safety-critical software systems capable of meeting the security and safety standards of ISO/IEC 15408 (Common Criteria) and RTCA DO-178B. [end quote] So, at the very least, use of Ada is still possible... Dirk (Dirk.Craeynest@cs.kuleuven.ac.be for Ada-Belgium e-mail) -- Dirk Craeynest | Email Dirk.Craeynest@offis.be | Ada-Belgium Offis nv/sa - Aubay Group | Phone +32(2)725.40.25 | Ada-Europe Weiveldlaan 41/32 | +32(2)729.97.36 (work) | ACM SIGAda B-1930 Zaventem, Belgium | Fax +32(2)725.40.12 | Team Ada *** Intl. Conference on Reliable Software Technologies - Ada-Europe'2002 *** June 17-21, 2002, Vienna, Austria *** http://www.ada-europe.org/ ***