comp.lang.ada
 help / color / mirror / Atom feed
* Nuclear Reactors & Blackout
@ 2003-08-15 21:59 Robert C. Leif
  2003-08-16  1:26 ` Alexander Kopilovitch
                   ` (3 more replies)
  0 siblings, 4 replies; 20+ messages in thread
From: Robert C. Leif @ 2003-08-15 21:59 UTC (permalink / raw)
  To: Comp. Lang. Ada

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





^ permalink raw reply	[flat|nested] 20+ messages in thread
* RE: Nuclear Reactors & Blackout
@ 2003-08-22 11:02 Lionel.DRAGHI
  0 siblings, 0 replies; 20+ messages in thread
From: Lionel.DRAGHI @ 2003-08-22 11:02 UTC (permalink / raw)
  To: comp.lang.ada



| -----Message d'origine-----
| De: Hyman Rosen [mailto:hyrosen@mail.com]
...
| 
| Robert C. Leif wrote:
| > Since Ada is readable, design errors become more apparent.
| 
| As we remember from the Ariane 5 discussion, design issues are not
| always apparent from reading the code.
| 
Obviously, no programming langage can express directly all design decisions
(and even less architecture decisions).
But, as Robert said, since Ada is more readable (and more powerful), it
capture more of those decisions than other programming langages.

-- 
Lionel Draghi



^ permalink raw reply	[flat|nested] 20+ messages in thread

end of thread, other threads:[~2003-08-22 11:02 UTC | newest]

Thread overview: 20+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-08-15 21:59 Nuclear Reactors & Blackout Robert C. Leif
2003-08-16  1:26 ` 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

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