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/