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=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,873e3ac877e7b6b6,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-08-15 15:00:49 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!kibo.news.demon.net!demon!mephistopheles.news.clara.net!news.clara.net!usenet-fr.net!enst.fr!not-for-mail
From: "Robert C. Leif" <rleif@rleif.com>
Newsgroups: comp.lang.ada
Subject: Nuclear Reactors & Blackout
Date: Fri, 15 Aug 2003 14:59:48 -0700
Organization: ENST, France
Message-ID: <mailman.12.1060984846.299.comp.lang.ada@ada.eu.org>
NNTP-Posting-Host: marvin.enst.fr
Mime-Version: 1.0
Content-Type: text/plain;
	charset="US-ASCII"
Content-Transfer-Encoding: 7bit
X-Trace: avanie.enst.fr 1060984848 29660 137.194.161.2 (15 Aug 2003 22:00:48
 GMT)
X-Complaints-To: usenet@enst.fr
NNTP-Posting-Date: Fri, 15 Aug 2003 22:00:48 +0000 (UTC)
To: "Comp. Lang. Ada" <comp.lang.ada@ada.eu.org>
Return-Path: <rleif@rleif.com>
X-Envelope-From: rleif@rleif.com
X-Envelope-To: <comp.lang.ada@ada.eu.org>
X-Mailer: Microsoft Office Outlook, Build 11.0.5329
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165
Thread-Index: AcNjeGS7qHS+p+Q0SxaYWcL6Ugg8fQ==
X-BeenThere: comp.lang.ada@ada.eu.org
X-Mailman-Version: 2.1.2
Precedence: list
List-Id: comp.lang.ada mail to news gateway  <comp.lang.ada.ada.eu.org>
List-Unsubscribe: <http://ada.eu.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada.eu.org?subject=unsubscribe>
List-Post: <mailto:comp.lang.ada@ada.eu.org>
List-Help: <mailto:comp.lang.ada-request@ada.eu.org?subject=help>
List-Subscribe: <http://ada.eu.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada.eu.org?subject=subscribe>
Xref: archiver1.google.com comp.lang.ada:41538
Date: 2003-08-15T14:59:48-07:00

According to the US press, the reactors in New York State and other areas
had to be shut down because there was a risk of an incident if the auxiliary
power from the rest of the grid was lost. This approach to hazard analysis
should be named Fail-For-Sure.

Since France and other countries obtain much of their power from nuclear
reactors, it is worthwhile to inquire what if anything they have done to
eliminate Fail-For-Sure? And obviously, does the use of Ada help in
eliminating Fail-For-Sure?

Bob Leif
Robert C. Leif, Ph.D.
Email rleif@rleif.com