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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,3a4656a5edc0dab4
X-Google-Attributes: gid103376,public
Path: 
 controlnews3.google.com!news2.google.com!fu-berlin.de!uni-berlin.de!not-for-mail
From: Peter Amey <peter.amey@praxis-cs.co.uk>
Newsgroups: comp.lang.ada
Subject: Re: Ada used in General Aviation (GA) applications?
Date: Wed, 12 May 2004 11:01:39 +0100
Message-ID: <2geb04F1pte3U1@uni-berlin.de>
References: <c7ngsg$65r$1@news.sns-felb.debis.de>
 <409F69CB.8020604@noplace.com>
 <Xns94E5D0503CC17BerndSpechtgmxcom@151.189.20.10>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: http://news.individual.net/abuse.html
X-Trace: news.uni-berlin.de vFDATo1AqpwJj4AGPDZWNA9zmy/CQ7mj068FMi6SnrsqJUCzc=
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US;
 rv:1.4) Gecko/20030624 Netscape/7.1 (ax)
X-Accept-Language: en-us, en
In-Reply-To: <Xns94E5D0503CC17BerndSpechtgmxcom@151.189.20.10>
Xref: controlnews3.google.com comp.lang.ada:472
Date: 2004-05-12T11:01:39+01:00
List-Id: <comp.lang.ada>



Bernd Specht wrote:
> Marin David Condic <nobody@noplace.com> wrote in
> news:409F69CB.8020604@noplace.com: 
> 
>  
> 
>>If Ada wants to be a player in General Aviation avionics it needs to do
>>something to either a) target & capture some more "general" market that
>>will provide the $$$ that will build the tools/talent/support
> 
> 
> 
> There is a wide range of embedded applications on 8- and 16-bit processors 
> like 8051 and HC11. But - no (Ada-)compiler vendor offers a compiler for 
> such targets.
> 

There might not be general Ada solutions for these processors but there 
a SPARK one.  Because SPARK is designed to require little or no run-time 
library support it is possible to design and analyse in SPARK and then 
compile to C en route to running on small processors.  The translation 
is simple because SPARK in unambiguous and because issues like array 
bounds violation have all been dealt with and eliminated at the SPARK 
design level.  I am presenting a paper on this at Ada Europe this year.

Peter