Sat, 14 Dec 2002 09:49:56 -0500
"Dale Jr, William" wrote:
> I thought they had picked Greenhills Ada & RT (royalty free) for the JSF?
I think this is true for part of the aircraft. Pratt and Whitney has
selected Aonix's ObjectAda/Raven for the jet engines.
> 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]