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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,be9bf965710b207c X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-07-22 00:04:16 PST Path: archiver1.google.com!newsfeed.google.com!postnews1.google.com!not-for-mail From: hfrumblefoot@yahoo.com (Hambut) Newsgroups: comp.lang.ada Subject: Re: official recommendations of Ada Date: 22 Jul 2001 00:04:16 -0700 Organization: http://groups.google.com/ Message-ID: References: NNTP-Posting-Host: 62.188.132.14 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 995785456 14813 127.0.0.1 (22 Jul 2001 07:04:16 GMT) X-Complaints-To: groups-support@google.com NNTP-Posting-Date: 22 Jul 2001 07:04:16 GMT Xref: archiver1.google.com comp.lang.ada:10415 Date: 2001-07-22T07:04:16+00:00 List-Id: hfrumblefoot@yahoo.com (Hambut) wrote in message news:... > Hi, > > It's been a dull evening tonight, so I thought I'd have a wade through > the stuff I've got to hand to see what I can find with respect to Ada > recommendations. This may help - it might at least be a starting > point. > Another reference: Extracted from "NASA Guidebook for Safety Critical Software - Analysis and Development", NASA-GB-1740.13-96 "5.3.11.8 Programming Languages: Conclusions A technique for evaluating safety-critical languages has been described along with other considerations for implementers and for choosing a vendor. The Ada subset we have described is suitable for safety-critical systems. Although a Pascal subset is suitable it was not described because Ada is rapidly becoming the most common language on new projects. The choice of "C" is to be avoided for our domain of interest because the language lacks the features that permit robust, reliable programming. The Ada subset minimizes the insecurities that were discussed in this entry by restricting the misuse of certain features. The objective of the subset is to define an unambiguous syntax so that the semantics can be used for proofs if necessary. All Ada implementations have defects and implementers of safety-critical systems should review the historical defect list to verify that the problems have been addressed and fixed in a timely fashion"