At 7:21 AM -0400 7/24/97, Juan M. Rayas wrote:
> Hi teamers,
>
> I am currently involved in a proposal for a Mars orbiter that will
> carry various instruments to study/investigate the martian atmosphere
> and geology.The orbiter is to be launched in 2001.
>
> My involvement is in the flight software for the imaging spectrometer
> instrument of the orbiter. I would like to propose the use of Ada95 for
> this instrument. The proposed flight computer is a PowerPC 603 with
> a PCI bus.
>
> Before I go to battle on this, I would like to know if anybody has any
> experience (or recommendations) with Ada95 compilers for this target.
> The VxWorks OS is a strong possibilty, but not a requirement. Any
> information in this regard would be greatly appreciated. This is a
> very high profile project and I think that it would help Ada's image
> if I can pull this off.
>
> Thanks in advance for any help.
>
>
>+--------------------------+---------------------------+
>|      Juan M. Rayas       | Jet Propulsion Laboratory |
>|     Team-Ada Member      |    4800 Oak Grove Drive   |
>| Flight Software Engineer |     Pasadena CA, 91109    |
>+--------------------------+---------------------------+
>|           E-mail: [log in to unmask]          |
>+------------------------------------------------------+
>Date: 7/24/97   Time: 11:21:24 AM

Juan --

To answer the original question, I don't have experience with these
compilers, but we have thought about using Ada for the PowerPC to recompile
an existing GPS application -- ironically enough, the GPS group at JPL we
were working with insisted on C++ and their own homebrewed RTOS.  However,
I did learn the following vendors support PowerPC and VxWorks:

Green Hills
OC Systems
Rational (Solaris host only, and pricy!)

Aonix is also supporting the PowerPC, but doesn't have details on their web
page -- they say call them if you are interested.

For more information and contacts, go to
http://www.adahome.com/Resources/Compilers/Vendors.html and take a look.

Mike

-------------------------------------------------------
Michael Stark                                                   NASA/GSFC

Phone: (301) 286-5048                                   Code 552
Fax:    (301) 286-0245                                   Greenbelt, MD 20771
 e-mail: [log in to unmask]
"A civilization is not destroyed by wicked people; it is not necessary that
 people be wicked but only that they be spineless"  -- James Baldwin
-------------------------------------------------------