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,DIET_1 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,f948976d12c7ee33
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-06-23 06:03:07 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!news-out.visi.com!petbe.visi.com!uunet!ash.uu.net!lore.csc.com!baen1673807.greenlnk.net!baen1673807!not-for-mail
From: "Martin Dowie" <martin.dowie@baesystems.com>
Newsgroups: comp.lang.ada
Subject: Re: Boeing and Dreamliner
Date: Mon, 23 Jun 2003 14:02:35 +0100
Organization: BAE SYSTEMS
Message-ID: <3ef6f9f6$1@baen1673807.greenlnk.net>
References: <20030619221951073-0500@library.airnews.net>
 <bd6lor$sq0$2@dagobert.svc.sysgo.de> <UnpZF+XVri0n@eisner.encompasserve.org>
 <3ef6f042$1@baen1673807.greenlnk.net> <ZAEpZ6ty2RK4@eisner.encompasserve.org>
NNTP-Posting-Host: 20.44.240.6
X-Trace: lore.csc.com 1056373386 14934 20.44.240.6 (23 Jun 2003 13:03:06 GMT)
X-Complaints-To: abuse@news.csc.com
NNTP-Posting-Date: Mon, 23 Jun 2003 13:03:06 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.50.4807.1700
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4807.1700
X-Original-NNTP-Posting-Host: glkc1363740.sd.edinbr.gmav.gecm.com
X-Original-Trace: 23 Jun 2003 14:00:38 +0100,
 glkc1363740.sd.edinbr.gmav.gecm.com
Xref: archiver1.google.com comp.lang.ada:39597
Date: 2003-06-23T14:02:35+01:00
List-Id: <comp.lang.ada>

"Larry Kilgallen" <Kilgallen@SpamCop.net> wrote in message
news:ZAEpZ6ty2RK4@eisner.encompasserve.org...
> Trusting such software to be perfect is precisely what is avoided by using
> hardware.

Very true but there are so few genuinely safety critical systems that having
a box sit there and basically waste CPU time isn't on - plus all the extra
weight of extra hardware etc. So, these certifiable OS, guarantee space
and, as you point out, *time* partitioning - so, that cinema system won't
hog a CPU.

It isn't easy to do - there is at least one OS from a well known vendor
that has allegedly had its 'brick wall partitioning' breached, but it isn't
impossible.