comp.lang.ada
 help / color / mirror / Atom feed
From: anon@anon.org (anon)
Subject: Re: Full-featured free Ada 95/2005 compiler?
Date: Fri, 20 Jul 2007 10:11:22 GMT
Date: 2007-07-20T10:11:22+00:00	[thread overview]
Message-ID: <eT%ni.177829$Sa4.46467@bgtnsc05-news.ops.worldnet.att.net> (raw)
In-Reply-To: 1184897050.879641.275990@g4g2000hsf.googlegroups.com

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 <interpretarian@gmail.com> 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
>




  parent reply	other threads:[~2007-07-20 10:11 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-07-13 22:20 Full-featured free Ada 95/2005 compiler? interpretarian
2007-07-14  8:18 ` Martin Krischik
2007-07-20  2:04   ` interpretarian
2007-07-20  6:14     ` Martin Krischik
2007-07-20 10:11     ` anon [this message]
2007-07-14  8:35 ` Pascal Obry
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox