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

[Marin David Condic <nobody@noplace.com>]

One might ask if it is possible to build a reliable, secure OS in any 
language - besides a trivial one. That's a really tall order and one 
that is far more dependent on the architectural design of the OS than it 
is on the language in which it is implemented. The holes in OS's don't 
all come from lack of array bounds checking, you know.

But I'll bet if you can do it in Ada, the world might just beat a path 
to your door. ;-) That *would* be adding genuine value to an application 
domain, even if it still looked in outward respects like Unix or 
Windows. (I'd still advise making it look like something *new* and 
*different* and go fix problems besides just security & reliability.)

MDC

Berend de Boer wrote:
> 
> So far the real world has not produced a reliable secure OS in C. Can
> it be done? I doubt it.
> 


-- 
======================================================================
Marin David Condic
I work for: http://www.belcan.com/
My project is: http://www.jsf.mil/NSFrames.htm

Send Replies To: m   o   d   c @ a   m   o   g
                    c   n   i       c   .   r

     "Face it ladies, its not the dress that makes you look fat.
     Its the FAT that makes you look fat."

         --  Al Bundy

======================================================================