From: "Peter C. Chapin" <pcc482719@gmail.com>
Subject: Re: FYI -- Lunar lander project relies on SPARK programming language
Date: Fri, 11 Jun 2010 10:22:31 -0400
Date: 2010-06-11T10:22:31-04:00 [thread overview]
Message-ID: <4c1245f0$0$30803$4d3efbfe@news.sover.net> (raw)
In-Reply-To: 87cnjdFafdU1@mid.individual.net
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
next prev parent reply other threads:[~2010-06-11 14:22 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-06-10 12:16 FYI -- Lunar lander project relies on SPARK programming language melampus
2010-06-10 12:52 ` Yannick Duchêne (Hibou57)
2010-06-10 16:19 ` Pascal Obry
2010-06-10 18:01 ` Niklas Holsti
2010-06-11 11:14 ` Colin Paul Gloster
2010-06-11 14:22 ` Peter C. Chapin [this message]
2010-06-11 14:34 ` (see below)
2010-06-12 12:12 ` Peter C. Chapin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox