TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Classic View

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

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

Print Reply
"Dale Jr, William" <[log in to unmask]>
Fri, 13 Dec 2002 13:13:37 -0800
text/plain (39 lines)
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]
>

ATOM RSS1 RSS2