TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy


Options: Use Classic View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

Topic: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Content-Type: text/plain
Sender: "Team Ada: Ada Advocacy Issues (83 & 95)" <[log in to unmask]>
From: Carlisle Martin C Dr USAFA/DFCS <[log in to unmask]>
Date: Wed, 2 Apr 2003 11:03:17 -0700
MIME-Version: 1.0
X-To: Jacob Sparre Andersen <[log in to unmask]>
Reply-To: Carlisle Martin C Dr USAFA/DFCS <[log in to unmask]>
Parts/Attachments: text/plain (48 lines)
Have submitted the following:

While I agree with Ken Nelson that Java represents a significant improvement
over C in this regard, you certainly won't find any Boeing 747's running
Java.  Note the following quotation from:

"4.  High Risk Activities.  Notwithstanding Section 2, with respect to high
risk activities, the following language shall apply: the Software
is not designed or intended for use in on-line control of aircraft, air
traffic, aircraft navigation or aircraft communications; or in the
design, construction, operation or maintenance of any nuclear facility. Sun
disclaims any express or implied warranty of fitness for
such uses."

In such cases, Boeing and others who must meet FAA certification have shown
a clear preference for Ada, whose strong typing facilities promote secure
coding.  In fact, the SPARK subset of Ada allows programmer to actually have
automated proofs that software doesn't contain major categories of errors,
well beyond those mentioned in this article.

Martin C. Carlisle, PhD
Associate Professor and Advisor-in-Charge
Department of Computer Science
United States Air Force Academy

-----Original Message-----
From: Jacob Sparre Andersen [mailto:[log in to unmask]]
Sent: Monday, March 31, 2003 7:43 AM
To: [log in to unmask]
Subject: BBC on "responsible coding"


Does anybody feel up to writing a comment that mentions Ada
in a sensible way?

"If you think Tuck has said something that is completely
 wrong, you are almost certainly missing something :-)"