Re: ada certification question

[tihor@acf4.UUCP (Stephen Tihor)]

blk@syteka.UUCP (Brian L. Kahn) writes: 
	... certification is given for an ADA compiler, it's runtime support, 
	running on a certain machine with a stated configuration, and 
	targeted for a certain machine with a certain machine with a stated 
	configuration.

	Thus a certified ADA cross compiler running on a Vax under UNIX and
	producing code for a SUN workstation would have to be recertified if 
	the code was to be used on some other 68000 machine.

	How much of this is true?  Sounds outrageous.

All of it is true.  Doesn't sound outrageous to me since any change in the 
target machine enviornment will require changes in the output of the compiler
or the run-time library or kernel in all but the most pathological cases.
Given what Ada certification is all about certification of the exact 
configuration of compiler host and target processors and O/S's is clearly 
desriable when producing important executables.

	If this is largely true, doesn't it mean that ADA can never be used on
	a new machine?  

Huh?
	A target machine must be at least as old as the certification process 
	is long?
True. Certification takes about a week plus paper shuffling under ideal 
circumstances. [Observed data from many many many runs of the ACVC tests 
here at NYU.]  Re-certification should approach ideal circumstances since
all the support tools and procedures that had to be worked out before
can just be used again.  New certification will also get faster as the 
APSE or at least some significant set of CAIS-implementation are available
and the tools need to certify are built in Ada.