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
>
next prev 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