comp.lang.ada
 help / color / mirror / Atom feed
From: "Robert C. Leif" <rleif@rleif.com>
To: "Comp. Lang. Ada" <comp.lang.ada@ada.eu.org>
Subject: Nuclear Reactors & Blackout
Date: Fri, 15 Aug 2003 14:59:48 -0700
Date: 2003-08-15T14:59:48-07:00	[thread overview]
Message-ID: <mailman.12.1060984846.299.comp.lang.ada@ada.eu.org> (raw)

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





             reply	other threads:[~2003-08-15 21:59 UTC|newest]

Thread overview: 20+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-08-15 21:59 Robert C. Leif [this message]
2003-08-16  1:26 ` Nuclear Reactors & Blackout Alexander Kopilovitch
2003-08-16  5:35   ` John R. Strohm
2003-08-17  1:58     ` Alexander Kopilovitch
2003-08-16  9:20 ` Preben Randhol
2003-08-16 16:21   ` Wes Groleau
2003-08-16 17:10     ` Robert I. Eachus
2003-08-16 14:10 ` Dmytry Lavrov
2003-08-16 14:26   ` Ludovic Brenta
2003-08-17 12:21     ` Dmytry Lavrov
2003-08-20 20:45       ` Robert I. Eachus
2003-08-16 17:57   ` Robert C. Leif
2003-08-17  7:23     ` Hyman Rosen
2003-08-17 19:04       ` Robert C. Leif
2003-08-18 14:42         ` Hyman Rosen
2003-08-18 22:36           ` Robert C. Leif
2003-08-22  3:15             ` Hyman Rosen
2003-08-16 15:00 ` Robert I. Eachus
2003-08-17  2:30   ` Alexander Kopilovitch
  -- strict thread matches above, loose matches on Subject: below --
2003-08-22 11:02 Lionel.DRAGHI
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox