Re: Ada used in General Aviation (GA) applications?

[Marin David Condic <nobody@noplace.com>]

The "Compile Ada to C then compile C to the target..." approach has been 
enormously popular and successful, hasn't it? :-)

Nobody wants to use two compilers, nobody wants to cobble the whole mess 
together and nobody wants to fight all the rest of the development tools 
that will be targeted to C. The whole argument amounts to "Go out and 
spend lots of extra money, take lots of extra time and go through lots 
of extra pain in order to have the *privilege* of programming your 
little board in Ada - all for a job that might only involve a couple of 
guys for a few months." It has not sold well and I doubt it ever will. 
Ada is either right there on the shelf with an embedded development kit 
or the embedded guys go elsewhere.

MDC


Peter Amey wrote:
> 
> 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
> 


-- 
======================================================================
Marin David Condic
I work for: http://www.belcan.com/
My project is: http://www.jsf.mil/NSFrames.htm

Send Replies To: m   o   d   c @ a   m   o   g
                    c   n   i       c   .   r

     "Face it ladies, its not the dress that makes you look fat.
     Its the FAT that makes you look fat."

         --  Al Bundy

======================================================================