From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.6 required=5.0 tests=BAYES_05,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,ee087ca4ce0f4bb3,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1994-09-21 14:18:14 PST
Path: 
 bga.com!news.sprintlink.net!howland.reston.ans.net!EU.net!Germany.EU.net!news.dfn.de!urmel.informatik.rwth-aachen.de!zruty.dfv.rwth-aachen.de!sungate.fido.de!sungate-ftn.fido.de!f1.n1000.z2.fidonet.org!p83.confusion.fido.de!not-for-mail
Date: Mon, 19 Sep 1994 22:30:00 +0200
From: Peter_Klein@p83.confusion.fido.de (Peter Klein)
Subject: Scope of ACVC validation
Message-ID: <b090654f%fido.de@p83.f2.n8000.z242.fidonet.org>
Newsgroups: comp.lang.ada
Organization: Fido.DE domain gateway (IN e.V.)
X-Gateway: FIDOGATE 3.8.0BETA7
X-FTN-Tearline: CrossPoint v3.02 R
X-FTN-Origin: (242:8000/2.83)
X-FTN-Domain: Z242@fidode
X-FTN-Seen-By: 1000/1 2000/1 3000/1 4900/99 5000/8 8000/0 2 4
X-FTN-Path: 8000/2 0 1000/1
Date: 1994-09-19T22:30:00+02:00
List-Id: <comp.lang.ada>

Sorry for putting the same question out again, but I ran into problems
with my Internet feed before I could collect replies.

I'd be interested in getting some expert's opinion on ACVC validation
scope:

If a compiler vendor gets validation for a 680x0 cross compilation system
with a Run Time Executive for a specific VME board, what does this mean
for a different target system, say a multi-CPU system with an extended Run
Time Executive?

Which kind of testing on the extended Run Time Executive would one expect
to support the assumption, that the system can also be considered
validated for a different target?

I know, that validation does not specifically attack RTE function, but
certain Ada constructs (e. g. tasking, exception handling) implicitely
involve the Run Time Executive, hence ACVC validation should cover a fair
amount.

Tanks in advance for any helpful reply!

Cheers from Edinburgh, capital of Scotland,

Peter

Please reply to Peter_Klein@confusion.fido.de or in this forum.