gerd

As stated above, it should be the control device within vehicles
(agriculture and forestry engines).


Björn Lundin schrieb:

gerd

Jeffrey Creem schrieb:


The problem is not only to have an Ada-compiler, but the complete tool
chain. The problem is, that even the HWT (hardware tracer) and the ICE
(in circuit emulator) and the other test and debug tools must be Ada
aware.

gerd

Peter Amey schrieb:


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.

michael bode

"Gerd" <GerdM.O@t-online.de> writes:


Maybe this goes into the right direction:

http://www.bachmann.at/uk/index.php?...6&Item id=261

I don't think they sell Ada for their system, but AFAIK the system
runs VxWorks and there is a GNAT Pro for VxWorks. Some years ago they
were busy porting all their stuff to gcc.

m e leypold

"Gerd" <GerdM.O@t-online.de> writes:


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

georg bauhaus

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


It's worth a inquiry.