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,e19490e677bf2a26,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2004-01-29 17:10:48 PST
Path: archiver1.google.com!postnews1.google.com!not-for-mail
From: gioia@pacbell.net (Gioia Tauro)
Newsgroups: comp.lang.ada
Subject: Use of Ada in the NIF
Date: 29 Jan 2004 17:10:48 -0800
Organization: http://groups.google.com
Message-ID: <4b0b52a9.0401291710.69a8f786@posting.google.com>
NNTP-Posting-Host: 67.116.51.39
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1075425048 17632 127.0.0.1 (30 Jan 2004 01:10:48
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 30 Jan 2004 01:10:48 +0000 (UTC)
Xref: archiver1.google.com comp.lang.ada:5077
Date: 2004-01-29T17:10:48-08:00
List-Id: <comp.lang.ada>

Look at this paper from the NIF staff "The National Ignition Facility:
Early Operational Experience with a Large Ada Control System"

http://www.acm.org/sigada/conf/sigada2002/SIGAda2002-CDROM/SIGAda2002-Proceedings/Carey.pdf

"The organization is aware that the rate of defect reporting is
increasing, and interprets this as a sign that the product is
immature. 

...

"Since control room operation started, the rate has been at its
highest, exceeding 300 per month (385 SCRs were filed in October 2002,
the last month for which data are available). The high rate is
attributable mostly to the intense scrutiny due to multiple test
cases, and to the first-ever
integration of all subsystems in a hardware test that fires
experimental shots."

Would you have the same situation when a control room staff operations
start up for a NASA satellite ? Absolutely not. I would suggest
keeping an eye on whatever can be known about the actual operations
for NIF to learn whether Ada and the software process it implies have
actually been applied.