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=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,3d6589e7b2c60444 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-05-03 18:31:39 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!nntp.cs.ubc.ca!freenix!enst.fr!not-for-mail From: "Alexandre E. Kopilovitch" Newsgroups: comp.lang.ada Subject: Re: employment with ada Date: Sun, 4 May 2003 05:32:56 +0400 (MSD) Organization: h w c employees, b f Message-ID: NNTP-Posting-Host: marvin.enst.fr Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: avanie.enst.fr 1052011898 69457 137.194.161.2 (4 May 2003 01:31:38 GMT) X-Complaints-To: usenet@enst.fr NNTP-Posting-Date: Sun, 4 May 2003 01:31:38 +0000 (UTC) To: comp.lang.ada@ada.eu.org Return-Path: X-Mailer: Mail/@ [v2.44 MSDOS] X-BeenThere: comp.lang.ada@ada.eu.org X-Mailman-Version: 2.1.1 Precedence: list List-Id: comp.lang.ada mail to news gateway List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Xref: archiver1.google.com comp.lang.ada:36923 Date: 2003-05-04T05:32:56+04:00 DPH wrote: >... >Starting out by saying that they are all personally Ada zealots, and >strongly believe the langauge to be superior to anything else around, >the company was forced, by business realities, to do their safety >critical software in the Joint Strike Fighter in a safety critical >subset of C. > >The safety critical subset of C is C with 172 restrictions, augmented >by a source code analyzer to look out for problems. Well, I think those "Ada zealots" shouldn't worry, and perhaps some Ada tools vendors may be satisfied enough with this decision... especially SofCheck, because it has Ada-to-C compiler, and probably will be able to adapt it for 172 additional restrictions on output. So, all production code will be in C, while use of Ada will be merely some kind of automation, which increases productivity of coders and reviewers. Alexander Kopilovitch aek@vib.usr.pu.ru Saint-Petersburg Russia