Re: Reference-oriented language and high-integrity software

[Simon Wright <simon@pushface.org>]

"Dr. Adrian Wrigley" <amtw@linuxchip.demon.co.uk.uk.uk> writes:

> So the advantage is that you can attempt use existing programmers
> for writing high integrity/real-time software.  And the code
> produced can even be executed with standard compilers/runtimes,
> albeit without the benefits of the HI/RT environment.
> And of course, all the IDEs, code analysis tools can be used.
> Sounds rather useful.

I would have expected the cost of teaching a random programmer to
create good SPARK annotations would be quite a bit greater than the
cost of teaching a random Java programmer to write Ada (to the
equivalent level of competence, assuming that's acceptable of course).

We are developing a large-ish VxWorks application, but most of the
work is done on the host (Windows, eeew). With GNAT, you get the host
compiler as part of the cross-development bundle ...