From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,8623fab5750cd6aa X-Google-Attributes: gid103376,public Path: g2news1.google.com!news1.google.com!news.glorb.com!wns13feed!worldnet.att.net!63.223.4.70!c01.usenetserver.com!news.usenetserver.com!elnk-atl-nf1!newsfeed.earthlink.net!stamper.news.atl.earthlink.net!newsread3.news.atl.earthlink.net.POSTED!d9c68f36!not-for-mail Message-ID: <40CD8FCC.2080804@noplace.com> From: Marin David Condic User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.0.1) Gecko/20020823 Netscape/7.0 (OEM-HPQ-PRS1C03) X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Improving Ada's image - Was: 7E7 Flight Controls Electronics References: <40b9c99e$0$268$edfadb0f@dread16.news.tele.dk> <40ba315a$0$254$edfadb0f@dread16.news.tele.dk> <04udnR-eHNChzSbdRVn-vw@gbronline.com> <7J0xc.7371$8k4.269106@news20.bellglobal.com> <1086630278.542788@master.nyc.kbcfp.com> <8xlxc.27603$sS2.845496@news20.bellglobal.com> <1086715817.122983@master.nyc.kbcfp.com> <1086733411.736049@master.nyc.kbcfp.com> <3Auxc.11998$XY6.1296622@read2.cgocable.net> <40C85035.4020706@noplace.com> <40C9EC3B.60304@noplace.com> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Date: Mon, 14 Jun 2004 11:45:57 GMT NNTP-Posting-Host: 209.165.23.211 X-Complaints-To: abuse@earthlink.net X-Trace: newsread3.news.atl.earthlink.net 1087213557 209.165.23.211 (Mon, 14 Jun 2004 04:45:57 PDT) NNTP-Posting-Date: Mon, 14 Jun 2004 04:45:57 PDT Organization: EarthLink Inc. -- http://www.EarthLink.net Xref: g2news1.google.com comp.lang.ada:1463 Date: 2004-06-14T11:45:57+00:00 List-Id: 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 ======================================================================