Re: Improving Ada's image - Was: 7E7 Flight Controls Electronics

["Warren W. Gay VE3WWG" <ve3wwg@cogeco.ca>]

Marin David Condic wrote:

> I sympathize - maybe from a different angle. "So writing an OS in Ada 
> would guarantee reliability and security? O.K. Show me. Go write one and 
> demonstrate that it works."
> 
> Its easy to *claim* that Ada would make a perfectly reliable and secure 
> OS, but its really tough to actually do it. And I doubt that Ada in and 
> of itself would get you the reliability and security imagined. But I'm 
> willing to be proven wrong by demonstration. :-)
> 
> MDC

Today's slashdot points out yet another exploit in Linux.

   http://slashdot.org/article.pl?sid=04/06/04/1212228&mode=thread&tid=126&tid=95

We like to deride Windows, but Linux, *NIX in general all suffer from
the same problem. Some of these are no doubt due to design issues
(which Ada may or may not help with). But surely, one has to wonder/hope
if/that some other fundamental change (language) can offer an
improvement. I think many are simply saying that they believe it
to be so.

If one can see major improvements on the projects that Ada is
used for, then by extension one has to expect a similar level
of improvement for an operating system.

But everyone's point is well taken: where is the Ada OS? We
have no implementation to point to for a comparison.
-- 
Warren W. Gay VE3WWG
http://home.cogeco.ca/~ve3wwg