Re: embedded hardware for Ada

["Gerd" <GerdM.O@t-online.de>]

Peter Amey schrieb:

> 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.
>

I'm not sure whether this would be an solution.

- We have to use certified compilers. An Ada to C with some C compiler
would rarly fit.

- I expect an Ada-aware environment to be able to handle even
Ada-tasks. I'm not sure that Ada-to-C translated code would work fine
for this in an environment designed only for C-programming.