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=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,57fdbb6924278d19 X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!news.glorb.com!wn11feed!worldnet.att.net!bgtnsc05-news.ops.worldnet.att.net.POSTED!53ab2750!not-for-mail Newsgroups: comp.lang.ada From: anon@anon.org (anon) Subject: Re: Full-featured free Ada 95/2005 compiler? Reply-To: anon@anon.org (anon) References: <1184365202.780293.209020@i38g2000prf.googlegroups.com> <1184897050.879641.275990@g4g2000hsf.googlegroups.com> X-Newsreader: IBM NewsReader/2 2.0 Message-ID: Date: Fri, 20 Jul 2007 10:11:22 GMT NNTP-Posting-Host: 12.65.6.65 X-Complaints-To: abuse@worldnet.att.net X-Trace: bgtnsc05-news.ops.worldnet.att.net 1184926282 12.65.6.65 (Fri, 20 Jul 2007 10:11:22 GMT) NNTP-Posting-Date: Fri, 20 Jul 2007 10:11:22 GMT Organization: AT&T Worldnet Xref: g2news1.google.com comp.lang.ada:16525 Date: 2007-07-20T10:11:22+00:00 List-Id: Gnat Pro has extented specifications to meet the DO-178B Level A certification for writting program for Avionics systems which the GPL does not do. This is done by adding extra packages and coding standards that the Standard Ada does not have. The government of most counties have agreed that all programs for Avionics must meet the DO-178B Level A certification. Most people who use GPL GNAT does not need this level of reliability even if they use Ada on a real-time environment. Plus, the DO-178B certification is only use for Avionics. There are other standards for medical and military and even nuclears power plants that GNAT Pro does not have. So unless you are writting an Avionics system you do not need the DO-178B certification packages. Then again if you do need the DO-178B standard, the company for insurance reasons would pickup the tab for the GNAT Pro. The DO-178B certification package is not free and is one of a few reasons that explains why GNAT Pro is so costly! In <1184897050.879641.275990@g4g2000hsf.googlegroups.com>, interpretarian writes: >Dear Messers Obry and Krischik, > >Thank you for replying to my inquiry. > >Mr. Obry, > >On GNAT, I think I made a presumption that some features of the >language were unavailable on the GPL Edition. On the Libre site, I >found a chart which made me think that mission critical features of >Ada were not supported by GNAT GPL https://libre.adacore.com/dynamic/comp_chart.html >.. Am I in error? > >Mr. Krischik, > >Is it such that one must compile Ada with Real-Time systems features >on an RTOS or merely execute it on one? > >I'm simply trying to verify the full range of options out there for >Ada development (outside of a very high budget). > >Thanks again, > >Mark Genevieve >