Re: embedded hardware for Ada

[Georg Bauhaus <bauhaus@futureapps.de>]

M E Leypold wrote:
> "Gerd" <GerdM.O@t-online.de> writes:
> 
>> Peter Amey schrieb:


>>> 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 think Markus is right; in particular, I'm certain you will
get a very competent answer from the makers of the AdaMagic
front end as to whether the generated C is suitable for
proving software properties. Also about whether/how an Ada
tool chain can "see through" the C code (if via C's #line,
or more.)

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

It's worth a inquiry.

> How do you think about the feasability of starting from the other end:
> Look for supported and certified compilers / development systems, ask
> the compiler vendor for supported HW and evaluate wether the suggested
> HW would fit your problem? I think the vendor should know which are
> the usual and not so usual targets of their compiler and should be
> willing to point you into the right direction. 
> 
> 
> Regards -- Markus