Re: How many classes?!? (was: Question)
Re: How many classes?!? (was: Question)
- Subject: Re: How many classes?!? (was: Question)
- From: Matt Majka <email@hidden>
- Date: Mon, 3 Dec 2001 15:37:20 -0700
To be specific #5 applies only to the higher levels
of certification (Level A & maybe B). Level C
and lower do not require object code traceability
if I remember correctly.
C++ has been used by Honeywell in one of their most
recent systems.
On Monday, December 3, 2001, at 10:16 am, Erik M. Buck wrote:
5) C++ is not used and classes are probably not used because older safer
compilers are used. Verification needs prevent almost all compiler
optimizations. For example, loop unrolling, template code generation,
code
reordering, inlining, peep hole optimizations etc. can not be used. For
verification, it must be possible to trace every byte of object code to
exactly one line of source code in a reasonably direct way.
C, Ada, custom Java variants, and even PL1 are fairly popular for aircraft
software development. I have never heard of anyone using C++ unless they
were only using the "better C" subset. I obviously don't know everything
that is happening in the industry, but I have worked with Rockwell
Collins,
Boeing, Northrop, Lockeed Martin, Honeywell, Cessna, Bell-Textron,
Grumman,
Raytheon, Dasseau, Canada Air, Beech, Air Bus, GE, USAF, USMC, DARPA...