Re: ARIANE-5 Failure (DC-X works)

[dewar@cs.nyu.edu (Robert Dewar)]

Ken asks

"I don't know if I need a waiver or not. When I've asked this question in the
past, I've always been told that a waiver is not required. Could you cite
where you think the policy excludes the output from consideration? This is
pretty important, since some F-22 Ada code is auto-generated, and by your
definition I would need a waiver for all these cases!"

To me, the issue is quite clear. If the Ada code is delivered and will be
maintained at the Ada level, then the method used in generating it is
irrelevant, and certainly the Ada policy is complied with.

If what is delivered is the 4GL code, and Ada acts merely as an intermediate
language which will never be looked at by a person, let alone maintained,
then the program really is written in another language, and a waiver really
is required (though, if a very hgh level language is being used appropriately),
such a waiver is certainly reasonable (and in fact I may be wrong, but I think
there is some kind of blanket permission to use high level tools of the 4GL
type).