TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Classic View

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

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

Print Reply
Fri, 13 Dec 2002 16:38:35 -0500
text/plain (60 lines)
At 01:13 PM 12/13/2002 -0800, Dale Jr, William wrote:
>I thought they had picked Greenhills Ada & RT (royalty free) for the JSF?
>
>William Dale
>mailto:[log in to unmask]
>
>
>> -----Original Message-----
>> From: Terry Westley [mailto:[log in to unmask]]
>> Sent: Friday, December 13, 2002 12:19 PM
>> To: [log in to unmask]
>> Subject: JSF and C
>>
>>
>> I just heard that some organization (perhaps Lockheed or JSF SPO)
>> has chosen MISRA C over Ada for JSF flight software.
>>
>> According to http://www.misra.org.uk/> MISRA C is a standard
>> for a "restricted subset of a high-level language for programming
>> safety-related systems. The C programming language is being
>> increasingly
>> used for automotive applications, due largely to the inherent language
>> flexibility, the extent of support and its potential for portability
>> across a wide range of hardware. However the nature of the C language
>> is such that there are many areas of concern which potentially
>> jeopardise
>> the high level of integrity required from the final executable code."
>>
>> Why in the world would you choose an inherently unsafe language for
>> any safety-critical application?  I can't look at the standard because
>> you have to buy a copy.  I hope they recommend against the use of
>> pointers and C arrays, otherwise you can't make C safe.
>>
>> Surely Spark Ada would have been a better choice.
>>
>> --
>> Terry Westley
>> [log in to unmask]
>>
X-Sender: [log in to unmask]
X-Mailer: QUALCOMM Windows Eudora Pro Version 4.1
Date: Fri, 13 Dec 2002 15:46:38 -0600
To: [log in to unmask]
From: John McCormick <[log in to unmask]>
Subject: A Belated Happy Birthday to Ada Lovelace
In-Reply-To: <[log in to unmask]
 o.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"

At 01:13 PM 12/13/2002 -0800, Dale Jr, William wrote:


-------------------------------------------------------
John W. McCormick                [log in to unmask]
Computer Science Department
University of Northern Iowa        voice (319) 273-6056
Cedar Falls, IA 50614-0507       fax (319) 273-7123
http://www.cs.uni.edu/~mccormic/

ATOM RSS1 RSS2