TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy


Options: Use Forum View

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

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

Print Reply
Reply To:
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> 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]>
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