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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,7a2660c6e1ebff5d
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news1.google.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nx01.iad01.newshosting.com!newshosting.com!198.186.194.249.MISMATCH!transit3.readnews.com!news-xxxfer.readnews.com!textspool1.readnews.com!news-out.readnews.com!postnews3.readnews.com!not-for-mail
Message-Id: <4c1245f0$0$30803$4d3efbfe@news.sover.net>
From: "Peter C. Chapin" <pcc482719@gmail.com>
Subject: Re: FYI -- Lunar lander project relies on SPARK programming language
Newsgroups: comp.lang.ada
Date: Fri, 11 Jun 2010 10:22:31 -0400
References: 
 <51923058-6376-4a47-929a-3524184d3b45@x21g2000yqa.googlegroups.com>
 <op.vd24p6c1xmjfy8@garhos> <4C1110AA.2090206@obry.net>
 <87cnjdFafdU1@mid.individual.net>
User-Agent: KNode/0.10.9
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7Bit
Organization: SoVerNet (sover.net)
NNTP-Posting-Host: 96d436b0.news.sover.net
X-Trace: 
 DXC=]=_G9MbV_8D6BT8k4cWNjBK6_LM2JZB_C1DQjNV`m[ZE3?@`i3kGa5K65nHJCd9UjEDl<R<Th0<T@
X-Complaints-To: abuse@sover.net
Xref: g2news2.google.com comp.lang.ada:12617
Date: 2010-06-11T10:22:31-04:00
List-Id: <comp.lang.ada>

Niklas Holsti wrote:

>> Right, would be nice to know which Ada compiler will be used to generate
>> the code for the target.
> 
> An earlier article on CubeSat (Ada User Journal, September 2008, page 
> 213) says that they use(d) SofCheck's AdaMagic Ada-to-C compiler, 
> followed by Rowley Associates' CrossWorks C compiler.

I can speak to this issue as I am directly involved with this project. And
yes, our intention is to compile the Ada to C using SofCheck's AdaMagic and
then compile the C with CrossWorks. We have experience doing this with an
earlier project and it works well. At the moment we are programming to the
bare metal without the assistance of an operating system (although that might
have to change at some point). SPARK is helpful here because the runtime
support required for SPARK programs is extremely minimal due to SPARK's
restrictions.

Peter