comp.lang.ada
 help / color / mirror / Atom feed
From: Peter Amey <peter.amey@praxis-cs.co.uk>
Subject: Re: embedded hardware for Ada
Date: Thu, 06 Jul 2006 15:21:17 +0100
Date: 2006-07-06T15:21:17+01:00	[thread overview]
Message-ID: <4h4kj1F1pmds0U1@individual.net> (raw)
In-Reply-To: <1152113040.757928.303260@l70g2000cwa.googlegroups.com>



Gerd wrote:
> Does anyone know an hardware that is suitable as (embedded, outdoor
> requirements) vehicle control and is programmable with Ada.
> 

One useful thing to bear in mind is here is cross-compilation from Ada 
to C.  We have had considerable success with this when using SPARK to 
target small and unusual processors.  See, for example,

http://www.praxis-his.com/sparkada/pdfs/ada_uml_and_c.pdf

Using these techniques pretty much makes /any/ hardware programmable in Ada.

regards


Peter




  parent reply	other threads:[~2006-07-06 14:21 UTC|newest]

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2006-07-05 15:24 embedded hardware for Ada Gerd
2006-07-05 19:38 ` Ludovic Brenta
2006-07-06  7:45   ` Gerd
2006-07-05 19:41 ` guillaume.portail
2006-07-06 12:00 ` Jeffrey Creem
2006-07-06 12:17   ` Dmitry A. Kazakov
2006-07-13 13:10   ` Gerd
2006-07-13 13:14     ` michael bode
2006-07-06 14:21 ` Peter Amey [this message]
2006-07-13 13:15   ` Gerd
2006-07-13 14:23     ` M E Leypold
2006-07-14 15:29       ` Georg Bauhaus
     [not found] ` <mailman.22.1152180794.30988.comp.lang.ada@ada-france.org>
2006-07-13 13:01   ` Gerd
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox