TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show HTML Part by Default
Show All Mail Headers

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

Print Reply
Subject:
From:
Carlisle Martin C Dr USAFA/DFCS <[log in to unmask]>
Reply To:
Carlisle Martin C Dr USAFA/DFCS <[log in to unmask]>
Date:
Wed, 2 Apr 2003 11:03:17 -0700
Content-Type:
text/plain
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:
http://java.sun.com/products/jdk/1.2/LICENSE

"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"


Teamers:

   http://news.bbc.co.uk/2/hi/technology/2895177.stm

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

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

ATOM RSS1 RSS2