* AdaZ Validation?
@ 1990-12-20 11:50 Walter Dence
1990-12-21 13:28 ` MUNTS PHILLIP A
1990-12-21 19:31 ` Richard Pattis
0 siblings, 2 replies; 7+ messages in thread
From: Walter Dence @ 1990-12-20 11:50 UTC (permalink / raw)
AdaZ does not appear on the Nov90 or Dec90 validation lists. In
addition it does not appear as being in line to be validated. I for
one am extremely unhappy about unvalidated Ada compilers. Why have
Ada if there is no discipline?
^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: AdaZ Validation?
1990-12-20 11:50 AdaZ Validation? Walter Dence
@ 1990-12-21 13:28 ` MUNTS PHILLIP A
1990-12-21 19:31 ` Richard Pattis
1 sibling, 0 replies; 7+ messages in thread
From: MUNTS PHILLIP A @ 1990-12-21 13:28 UTC (permalink / raw)
In article <9012201150.AA05505@NSWC-WO.ARPA>, wdence@NSWC-WO.NAVY.MIL (Walter Dence) writes...
>
> AdaZ does not appear on the Nov90 or Dec90 validation lists. In
>addition it does not appear as being in line to be validated. I for
>one am extremely unhappy about unvalidated Ada compilers. Why have
>Ada if there is no discipline?
The first page of the manual, "Summary of Changes" lists as the last
item: "Validated under ACVC version 1.11."
On the other hand, it didn't come with a validation certificate like
another compiler I bought. On the third hand, I have only examined a small
sample (2) of compilers so I don't know whether the certificate is normal or
not.
You won't want to use AdaZ for production anyway.
Philip Munts N7AHL
NRA Extremist, etc.
University of Alaska, Fairbanks
^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: AdaZ Validation?
1990-12-20 11:50 AdaZ Validation? Walter Dence
1990-12-21 13:28 ` MUNTS PHILLIP A
@ 1990-12-21 19:31 ` Richard Pattis
1990-12-21 22:03 ` Michael Feldman
1990-12-21 22:04 ` December 1990 Validated Compiler List Michael Feldman
1 sibling, 2 replies; 7+ messages in thread
From: Richard Pattis @ 1990-12-21 19:31 UTC (permalink / raw)
In article <9012201150.AA05505@NSWC-WO.ARPA>, wdence@NSWC-WO.NAVY.MIL (Walter Dence) writes:
>
> AdaZ does not appear on the Nov90 or Dec90 validation lists. In
> addition it does not appear as being in line to be validated. I for
> one am extremely unhappy about unvalidated Ada compilers. Why have
> Ada if there is no discipline?
AdaZ is a product that uses the standard Meridian compiler, so I'm nor sure
if AdaZ (the product) must be validated independently of the compiler it
uses. Am I missing something?
Rich Pattis
^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: AdaZ Validation?
@ 1990-12-21 19:40 Ashok P. Nadkarni
1990-12-22 1:16 ` MUNTS PHILLIP A
0 siblings, 1 reply; 7+ messages in thread
From: Ashok P. Nadkarni @ 1990-12-21 19:40 UTC (permalink / raw)
In article <1990Dec21.132834.3779@ims.alaska.edu>, ftpam1@acad3.alaska.edu (MUNTS PHILLIP A) writes...
> You won't want to use AdaZ for production anyway.
Why not ? I'm thinking of buying this compiler for serious use (not just a
learning tool). Is there something I should be aware of :-?
/Ashok Nadkarni
^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: AdaZ Validation?
1990-12-21 19:31 ` Richard Pattis
@ 1990-12-21 22:03 ` Michael Feldman
1990-12-21 22:04 ` December 1990 Validated Compiler List Michael Feldman
1 sibling, 0 replies; 7+ messages in thread
From: Michael Feldman @ 1990-12-21 22:03 UTC (permalink / raw)
In article <14229@june.cs.washington.edu> pattis@cs.washington.edu (Richard Pattis) writes:
>
>AdaZ is a product that uses the standard Meridian compiler, so I'm nor sure
>if AdaZ (the product) must be validated independently of the compiler it
>uses. Am I missing something?
>
>Rich Pattis
No, Rich, you haven't missed anything. I've got it straight at this point:
the problem is that AdaZ is not the compiler but rather the "package."
The compiler and linker are in fact Meridian Ada 4.1, which appears indeed
on the validation list for December 1990. One of the certificate numbers is
900909W1.11034. The name AdaZ has been up in the air anyway, as regular
readers of this group know. Have no fears: the compiler inside AdaZ is
duly validated under ACVC 1.11.
Perhaps everyone's difficulty comes from the fact that AdaStudent, Meridian's
plain vanilla version 4.0 for students, was not validated and couldn't be
because of missing chap. 13 material. At that time, this was Meridian's
way of distinguishing the products. No more. Their way of distinguishing
current products is that AdaZ is real-mode only.
Jim Smith of Meridian tells me that indeed they haven't been including a
photocopy of the validation certificate, but will start doing so again as
its lack is causing folks to switch on their flamethrowers.
I will post a copy of the December 1990 list. Note that the list is
shorter than the November one, because it contains only 1.11-validated
compilers. An odd turn of events is that the expiration of 1.10
certificates occurred all at once (for the first time); I am told by
reliable sources that the Wright-Pat AVF and the vendors are working madly
to finish a bunch of pending 1.11 validations. Recall that under the new
rules, ALL validation certificates for ACVC version K expire one year after
the expiration of that version. 1.11 went into effect 2 months late, but
1.10 still expired on Dec. 1, 1989. So all the 1.10-validated compilers
turned into pumpkins on Dec. 1, 1990. Ah, bureaucracy...
Hope this helps to damp the flames. Back to technical matters.
Mike Feldman
^ permalink raw reply [flat|nested] 7+ messages in thread
* December 1990 Validated Compiler List
1990-12-21 19:31 ` Richard Pattis
1990-12-21 22:03 ` Michael Feldman
@ 1990-12-21 22:04 ` Michael Feldman
1 sibling, 0 replies; 7+ messages in thread
From: Michael Feldman @ 1990-12-21 22:04 UTC (permalink / raw)
File VAL-COMP.HLP: List of Ada
Compilers for December 1990.
(Form G10-1290, V10-1290;
AdaIC point of contact: Michele Kee)
The following are Ada compilers that have been validated by the Ada Joint
Program Office (AJPO). Compilers are listed in order of vendor. The list is
updated monthly, and presently includes 72 base compilers and 9 compilers
derived from base implementations, 47 compilers scheduled for on-site testing
and 8 compilers that have completed on-site testing. For the most current
information on validated Ada compilers, please contact the Ada Information
Clearinghouse at (703) 685-1477.
With the removal of all implementations that were validated under ACVC
1.10, the Validated Compilers List is considerably smaller. This may give an
inaccurate impression of the Ada compiler industry--considerable implementation
efforts continue -- so, we are here taking the exceptional step of including
current implementation efforts. Future versions of the Validated Compilers
List will include many more implementations as the current efforts complete
successfully.
Besides listing all currently validated compilers, this list contains
information about implementations that have recently completed validation
testing or are scheduled for validation testing. The information has been
obtained from the five Ada Validation Facilities (AVFs). Information about any
further implementation efforts may be provided by individual compiler vendors.
As described by the Ada Compiler Validation Procedures, Version 2.1, section
5.7, the confirmation by an AVF of a vendor's completion of particular events
in the validation process may be given if the vendor has provided a waiver of
confidentiality. (The particular events that may be confirmed by an AVF as per
section 5.7 are the AVF receipt of: a formal agreement for validation testing;
the pre-validation results; and the validation testing (on-site) results.) AVF
confirmation is made without expressed or implied judgement concerning the
success of these events. An implementation is not validated unless a
certificate has been awarded for it (and is not expired), or it has been
registered (based on a validated implementation).
For background information, please see "An Introduction to the Validation
Process", which follows at the end of the compiler list.
(Key: * = Validated through Registration, base system above)
(Key: (#YYMMDDFX.XXNNN): YYMMDD is the date on-site testing was completed;
F is the Ada Validation Facility;
X.XX is the ACVC Version;
NNN is a unique sequence number that is assigned by
the AVO)
For example, the certificate number #890113W1.10024 means the compiler
completed on-site testing January 13, 1989, at Wright-Patterson AFB under ACVC
1.10.
All Ada Validation Certificates issued for validations completed with
ACVC Version 1.10 expired on December 1, 1990. All Ada Validation
Certificates issued for validations completed with ACVC Version 1.11 will
expire on June 1, 1992.
*******************************************************************************
Ada COMPILERS LIST--1 December 1990
*******************************************************************************
Vendor & HOST TARGET
Compiler Machine Machine
===============================================================================
**Completed on-site testing
AETECH Unisys PW/2 386 under SCO Same as Host
IntegrAda, Unix 3.2
Version 5.1.0
POSIX
**Completed on-site testing
AETECH Northgate 386/25 under Phar Northgate 386/25 under MS
IntegrAda 386, Lap/DOS 3.3 Dos 3.3
Version 5.1.0
Aitech Defense VAXstation 3100 Cluster Tadpole TP880V (88100-based
Systems, Inc. (under VMS 5.3) VME board) (bare machine)
AI-ADA/88K
Version 2.4
(#900930W1.11030)
*Validated by Registration
Aitech Defense All DEC MicroVAX, Tadpole TP880V (88100-based
Systems, Inc. VAXstation, VAXserver, VME board) & Motorola
AI-ADA/88K, VAX-11, VAX 8xxx & VAX 6xxx MVME181 (88100-based VME
Version 2.4 series (under VMS versions board) (bare machines)
(BASE 5.0, 5.1, 5.2 & 5.3, as
#900930W1.11030) supported)
**Scheduled for on-site testing
Alsys IBM PS/2 Model 80 under Same as Host
AlsyCOMP_003 LynxOS v1.2
**Scheduled for on-site testing
Alsys CompuAdd 325 under DOS 3.3 Intel iSBC 386/12 (bare)
AlsyCOMP_016
**Scheduled for on-site testing
Alsys MULTITECH 1100 under SCO Same as Host
AlsyCOMP_034 Unix v.3.2
**Scheduled for on-site testing
Alsys PC-AT under MS/DOS v3.3 Motorola 68020 with ARTK
AlsyCOMP_028, v5.3 (bare machine)
Version 5.3
**Scheduled for on-site testing
Alsys SUN 3/140 under SunOS 4.1 Intel iSBC 386/116 (bare)
AlsyCOMP_031
**Scheduled for on-site testing
Alsys MicroVAX 3400 under VMS 5.2 Intel iSBC 386/31 (bare)
AlsyComp_030
**Scheduled for on-site testing
Alsys Apple Macintosh IIcx under Same as Host
AlsyCOMP_043 v6.0.3
Alsys IBM 9370 Model 90 (under Same as Host
AlsyCOMP_042, AIX/370 Version 1.2)
Version 5.3
(#900627N1.11013)
Alsys Sun-3/60 (under SunOS, Same as Host
AlsyCOMP_026, Version 4.0.3)
Version 1.82
(#900814I1.11040)
Alsys MIPS M/120-5 (under Same as Host
AlsyCOMP_025, RISC/os, Version 4.0)
Version 1.83
(#900814I1.11041)
Alsys Sony NEWS NWS-1850 (under Same as Host
AlsyCOMP_046, NEWS-OS 3.3)
Version 5.3
(#901022A1.11043)
Alsys Apollo DN4000 (under Same as Host
AlsyCOMP_004, Domain/OS SR10.2)
Version 5.3
(#901022A1.11044)
Alsys Bull DPX/2 320 (under Same as Host
AlsyCOMP_050, B.O.S. 02.00.05)
Version 5.3
(#901022A1.11045)
Alsys HP 9000s350 (under HP-UX Same as Host
AlsyCOMP_002, 6.5)
Version 5.3
(#901022A1.11046)
Alsys Sun-3/260 (under SunOS 3.2) Same as Host
AlsyCOMP_005,
Version 5.3
(#901022A1.11047)
Alsys CETIA Unigraph 6000 (under Same as Host
AlsyCOMP_035, Unigraph/X 3.1)
Version 5.3
(#901022A1.11048)
Alsys Compaq Deskpro 386 (under Same as Host
ALSYS_COMP_C16-38 MS-DOS 3.30, Phar Lap 2.0)
6
(#901102W1.11055)
Alsys CompuAdd 320 (under MS-DOS Same as Host
ALSYS_COMP_C16-38 3.30, Phar Lap 2.0)
6
(#901102W1.11056)
Alsys ALR Power Veisa 486 (under Same as Host
ALSYS_COMP_C16-38 MS-DOS 3.30, Phar Lap 2.0)
6
(#901102W1.11057)
Alsys HP Vectra RS/25C (under Same as Host
ALSYS_COMP_C03-AD MS-DOS 3.30)
A
(#901102W1.11058)
Alsys Zenith Z-248 Model 50 Same as Host
ALSYS_COMP_C03-AD (under MS-DOS 3.30)
A
(#901102W1.11059)
Alsys INMOS T800 transputer on a INMOS T800 transputer on a
Alsycomp_037, B403 TRAM (bare) with an B403 TRAM (bare) using an
Version 5.2 INMOS B008 Communications IBM PC/AT under MS-DOS 3.1
(#901114N1.11065) link implemented in an IBM running INMOS Iserver 1.3
PC/AT (under MS-DOS 3.1 and for file-server support via
INMOS Iserver V1.3) an INMOS B008 board link
Alsys HP 9000s350 (under HP-UX Motorola MVME101 (68000)
AlsyCOMP_012, 6.5) (bare machine, using ARTK
Version 5.3 Version 5.3)
(#901116A1.11066)
Alsys Apollo DN4000 (under Motorola MVME147-1
AlsyCOMP_036, Domain/OS SR10.2) (68030/68882) (bare machine,
Version 5.3 using ARTK Version 5.3)
(#901116A1.11067)
Alsys Sun 3/260 (under SunOS 3.2) Motorola MVME121 (68010)
AlsyCOMP_015, (bare machine, using ARTK
Version 5.3 Version 5.3)
(#901116A1.11068)
Alsys MicroVAX II (under VMS INMOS T425 transputer on a
Alsycomp_017, V5.3) B403 TRAM (bare) using the
Version 5.2 Host running INMOS Iserver
(#901118N1.11064) 1.3 for file-server support
via a CAPLIN QT0 board link
Alsys MicroVAX 3100 (under VMS Same as Host
AlsyCOMP_018 5.3)
Version 5.2
(#901120A1.11070)
Alsys IBM 9370 Model 90 (under Same as Host
AlsyCOMP_006, VM/IS CMS release 5.1)
Version 5.3
(#901125N1.11071)
Alsys IBM 370 3084Q (under MVS/XA Same as Host
AlsyCOMP_023, release 3.2)
Version 5.3
(#901125N1.11072)
Alsys VAX 6210 (under VMS 5.2) Motorola MVME135-1
AlsyCOMP_011, (68020/68881) (bare machine,
Version 5.3 using ARTK Version 5.3)
(#901127A1.11069)
**Scheduled for on-site testing
Concurrent Concurrent Computer Same as Host
Computer Corporation 3280 MPS under
Corporation OS/32, Version R08-03.2
C3 Ada, Version
R08-00V
Concurrent Concurrent Computer Same as Host
Computer Corporation 8400 (MIPS
Corporation R3000/3010) (under RTU
C3Ada, Version Version 5.1)
0.5
(#900427I1.11008)
*Validated by Registration
Concurrent Concurrent Computer Same as Host
Computer Corporation 8500 (MIPS
Corporation R3000/R3010) (under RTU
C3Ada, Version Version 5.1)
0.5
(BASE
#900427I1.11008)
CONVEX Computer CONVEX C220 (under ConvexOS Same as Host
Corporation 8.1)
CONVEX Ada,
Version 2.0
(#900910W1.11027)
DDC-I VAX 8530 (under VMS Version Same as Host
International A/S 5.3)
DACS VAX/VMS
Native Ada
Compiler System,
Version 4.6
(#901129S1.11050)
DDC-I MicroVAX 3100 (under VMS Motorola MVME133 board
International A/S Version 5.3) (68020/68881) (bare machine)
DACS VAX/VMS to
68020 Bare Cross
Compiler System,
Version 4.6
(#901129S1.11051)
**Scheduled for on-site testing
DDC-I, Inc. VAX 8530 running VMS Same as Host
DACS VAX/VMS to Version 5.3
80386 PM Bare Ada
Cross Compiler
System, Version
4.6
**Scheduled for on-site testing
DDC-I, Inc. VAX 8530 runninb VMS Bare Board iSBC 186/03A
DACS VAX/VMS to Version 5.3
80186 Bare Ada
Cross Compiler
System with Rate
Monotonic
Scheduling,
Version 4.6
**Scheduled for on-site testing
DDC-I, Inc. VAX 8530 running VMS Bare Board iSBC 186/03A
DACS VAX/VMS to Version 5.3
80186 Bare Ada
Cross Compiler
System, Version
4.6
**Scheduled for on-site testing
DDC-I, Inc. VAX 8530 running VMS Bare Board isBC 386/21
DACS VAX/VMS to Version 5.3
80386 PM Bare Ada
Cross Compiler
System with Rate
Monotonic
Scheduling,
Version 4.6
**Scheduled for on-site testing
DDC-I, Inc. Sun3/60 running SunOS, Same as Host
DACS Sun3/SunOS Version 4.0_Export)
Native Ada
Compiler System,
Version 4.6
**Scheduled for on-site testing
DDC-I, Inc. IBM PS/2 Model 80-311 Same as Host
DACS 80386 DMS/OS running LynxOS 386/PS2,
Ada Compiler Vresion 2.0A
System, Version
4.6
**Scheduled for on-site testing
DDC-I, Inc. ICL DRS300 running DRS/NX, Same as Host
DACS 80386 UNIX V Version 3.2 (UNIX System
Ada Compiler V/386 release 3.2)
System, Version
4.6
Digital Equipment VAX 8800 (under VMS Version Same as Host
Corporation 5.4)
VAX Ada, Version
2.2
(#901109S1.11053)
*Validated by Registration
Digital Equipment VAX 4000 Model 300; VAX Any Host
Corporation 6000 Model 200, 300 & 400
VAX Ada Version Series; VAX 8200, 8250,
2.2 8300, 8350, 8500, 8530,
(BASE 8550, 8600, 8650, 8700,
#901109S1.11053) 8800, 8810, 8820, 8830,
8840, 8842, 8974 & 8978;
VAX 9000-210, -410, -420,
-430 & -440; VAX-11/730,
/750, /780, /785;MicroVAX
II, 2000, 3100, 3300, 3400,
3500, 3600, 3800 & 3900;
VAXstation II, 2000, 3100
series, 3200, 3500, 3520 &
3540; VAXserver 3100, 3300,
3400, 3500, 3600, 3602,
3800, 3900; VAXserver
6000-310, 6000-410 &
6000-420; Ratheon Military
VAX Computer Model 860
(under VMS Version 5.4)
Digital Equipment VAX 8800 (under VMS Version MicroVAX II (under VAXELN
Corporation 5.4) Version 4.1, using VAXELN
VAX Ada, Version Ada Version 2.2)
2.2
(#901109S1.11054)
*Validated by Registration
Digital Equipment VAX 6000 Model 200, 300 & VAX 6000 Model 200, 300 &
Corporation 400 Series; VAX 8200, 8250, 400 Series; VAX 8200, 8250,
VAX Ada Version 8300, 8350, 8500, 8530, 8500, 8530, 8550, 8700, 8800
2.2 8550, 8600, 8650, 8700, & 8810; VAX-11/730 & /750;
(BASE 8800, 8810, 8820, 8830, MicroVAX II, 2000, 3100,
#901109S1.11054) 8840, 8842, 8974 & 8978; 3300, 3400, 3500, 3600, 3800
VAX-11/730, /750, /780, & 3900; VAXstation 2000,
/785; MicroVAX II 2000, 3100, 3150, 3200, 3500 &
3100, 3300, 3400, 3500, II/GPX; VAXserver 3100,
3600, 3800 & 3900; 3300, 3400, 3500, 3600,
VAXstation II, 2000, 3100 3602, 3800, 3900; VAXserver
series, 3200, 3500, 3520, 6000 Models 210, 220, 310,
3540 & 8000; VAXserver 320, 410 & 420; Ratheon
3100, 3300, 3400, 3500, Military VAX Computer Models
3600, 3602, 3800, 3900; 810 & 860; Norden Systems:
VAXserver 6000-310, Mil Vax II, IVAX 620 & 630;
6000-410 & 6000-420; VAX RTA; KA620-BA, rtVAX
Ratheon Military VAX 630, 1000, 3200, 3300, 3305,
Computer Model 860 (under 3400,3500, 3600, 3800, 8550,
VMS Version 5.4) 8700, rtVAX 6000 Model 200,
300 & 400 Series &
rtVAXstation 3100 Models 30
& 38 (under VAXELN Version
4.1, using VAXELN Ada
Version 2.2)
E-Systems/ECI Tolerant Eternity (under Same as Host
Division TX, 5.4.0)
Tolerant Ada
Development
System, Version
6.0
(#901003W1.11039)
**Scheduled for on-site testing
Encore Computer Series 91 under UMAX V Series 91 under uMPX
Corporation Revision 3.0 Revision 1.0
**Scheduled for on-site testing
Encore Computer Concept under MPX-32 Same as Host
Corporation Revision 3.5
APLEX Ada
Compiler,
revision 2.3
**Scheduled for on-site testing
Encore Computer Sun3 under Sun Unix Concept under MPX-32
Corporation Revision 3.5
APLEX Ada
Compiler,
revision 2.3
**Scheduled for on-site testing
Encore Computer Series 91 under UMAX V Same as Host
Corporation Revision 3.0
Harris Harris NH-4400 (under CX/UX Same as Host
Corporation, 5.1)
Computer Systems
Division
Harris Ada 5.1
(#900918W1.11028)
*Validated by Registration
Harris Harris NH-4400 (under CX/UX Any Host
Corporation, 5.1, CX/RT 5.1, OR CX/SX
Computer Systems 5.1)
Division
Harris Ada 5.1
(BASE
#900918W1.11028)
Harris Harris NH-3800 (under CX/UX Same as Host
Corporation, 5.1)
Computer Systems
Division
Harris Ada 5.1
(#900918W1.11029)
*Validated by Registration
Harris Harris NH-1200, NH-3400 & Any Host
Corporation, NH-3800 (under CX/UX 5.1,
Computer Systems CX/RT 5.1, OR CX/SX 5.1)
Division
Harris Ada 5.1
(BASE
#900918W1.11029)
Hewlett-Packard HP 9000 Series 300 Model Same as Host
Company 370 (under HP-UX, Version
HP 9000 Series A.07.00)
300 Ada Compiler,
Version 5.35
(#901022W1.11049)
*Validated by Registration
Hewlett-Packard HP 9000 Series 300 & 400, Any Host
Company all models (under HP-UX,
HP 9000 Series Version A.B7.03)
300 Ada Compiler,
Version 5.35
(BASE
#901022W1.11049)
**Completed on-site testing
International RISC System/6000, model Same as Host
Business Machines 7013-530, AIX 3.1
Corporation
AIX Ada/6000
Release 2,
Preliminary
Version
**Scheduled for on-site testing
KRUPP ATLAS VAX 6310 (under VMS 5.1) KRUPP ATLAS ELEKTRONIK GMBH
ELEKTRONIK GMBH MPR 2300 (under EOS 2300
KRUPP ATLAS Version 1.4)
ELEKTRONIK Ada
Compiler VVME
1.81
Meridian Software Sun-3/260 (under SunOS, Same as Host
Systems, Inc. Version 4.1)
Meridian Ada,
Version 4.1
(#900909W1.11031)
Meridian Software Sun-4/110 (under SunOS, Same as Host
Systems, Inc. Version 4.1)
Meridian Ada,
Version 4.1
(#900909W1.11032)
Meridian Software DECstation 3100 (under Same as Host
Systems, Inc. Ultrix, Version 3.0)
Meridian Ada,
Version 4.1
(#900909W1.11033)
Meridian Software IBM PS/2 Model 60 (with Same as Host
Systems, Inc. Floating-Point
Meridian Ada, Co-Processor) (under IBM
Version 4.1 PC-DOS 3.30)
(#900909W1.11034)
Meridian Software IBM PS/2 Model 30 (with Same as Host
Systems, Inc. Floating-Point
Meridian Ada, Co-Processor) (under IBM
Version 4.1 PC-DOS 3.30)
(#900909W1.11035)
Meridian Software ITT XTRA/286 (with Same as Host
Systems, Inc. Floating-Point
Meridian Ada, Co-Processor) (under MS-DOS
Version 4.1 3.20/OS286)
(#900909W1.11036)
Meridian Software 80 Data 386/25 (under Same as Host
Systems, Inc. 386/ix 1.0.6)
Meridian Ada,
Version 4.1
(#900909W1.11037)
Meridian Software Apple Macintosh II (under Same as Host
Systems, Inc. System 6.0.3)
Meridian Ada,
Version 4.1
(#900909W1.11038)
Meridian Software Apple Macintosh II (under Same as Host
Systems, Inc. A/UX 2.0)
Meridian Ada,
Version 4.1
(#901108W1.11060)
Meridian Software Stardent Titan P3 (under Same as Host
Systems, Inc. Stardent/Unix 3.0)
Meridian Ada,
Version 4.1
(#901108W1.11061)
Meridian Software MicroVAX 3100 (under Ultrix Same as Host
Systems, Inc. 3.1)
Meridian Ada,
Version 4.1
(#901108W1.11062)
Meridian Software MicroVAX II (under VMS 5.2) Same as Host
Systems, Inc.
Meridian Ada,
Version 4.1
(#901108W1.11063)
MIPS Computer MIPS M/2000 (under RISC/os R3200-6 CPU board (bare
Systems 4.50) machine)
MIPS ASAPP 3.0
(#900619W1.11010)
MIPS Computer MIPS M/2000 (under RISC/os Same as Host
Systems 4.50)
MIPS Ada 3.0
(#900619W1.11011)
**Completed on-site testing
R.R. Software, Northgate 386/25 under SCO Same as Host
Inc. Unix 3.2
JANUS/Ada,
Version 2.2.0
Unix
**Completed on-site testing
R.R. Software, IBM PS/2, Model 80 under IBM PS/2, Model 80 under MS
Inc. Phar Lap/DOS 3.3 DOS 3.3
JANUS/Ada,
Version 2.2.0
Phar Lap/DOS
SD-Scicon UK Ltd VAX Cluster (comprising Motorola MVME133XT board
XD Ada MC68020, VAXserver 3600, MicroVAX (MC68020) (bare machine)
Version 1.2 2000 (2) & MicroVAX II
(#901007N1.11042) machines) (under VMS
Version 5.3)
**Scheduled for on-site testing
SD_Scicon plc Local area digital VAX Fairchild F9450 on a SBC-50
XD Ada Cluster comprising a VAX board (MIL-STD-1750A) (bare
MIL-STD-1750A Server 3600, 2 microVAX machine)
V1.2 2000's and 1 microVAX II
**Scheduled for on-site testing
SD_Scicon plc Local area digital VAX MC68000 processor on an
XD Ada MC68000 Cluster comprising a VAX MVME117-3FP MPU VME module
V1.1 Server 3600, 2 microVAX (bare machine)
2000's and 1 microVAX II
**Scheduled for on-site testing
Siemens AG Siemens 7.590G (under Same as Host
Siemens BS 2000 BS2000/V9.0)
Ada Compiler V2.0
Silicon Graphics Iris-4D/380 (under IRIX Same as Host
Computer Systems Release 4D-3.3)
4D ADA 3.0
(#900703W1.11014)
Silicon Graphics Iris-4D/220S (under IRIX Same as Host
Computer Systems Release 4D-3.3)
4D ADA 3.0
(#900703W1.11015)
Silicon Graphics Iris-4D/25 (under IRIX Same as Host
Computer Systems Release 4D-3.3)
4D ADA 3.0
(#900703W1.11016)
SYSTEAM KG VAX 8530 (under VMS, Same as Host
SYSTEAM Ada Version 5.1)
Compiler VAX/VMS,
Version 1.82
(#900509I1.11009)
**Scheduled for on-site testing
Tartan Sun 3/60 (under Sun OS Same as Host
Laboratories Version 3.5)
Incorporated
Tartan Ada
Sun/Sun, Version
2.1
**Scheduled for on-site testing
Tartan VAXstation 3200 (under Fairchild F9450
Laboratories MicroVMS 4.7) (MIL-STD-1750A) (bare
Incorporated machine)
Tartan Ada
VMS/1750A,
Version 2.11
**Scheduled for on-site testing
Tartan VAXstation 3200 (under Intel 80960MC on an Intel
Laboratories MicroVMS 4.7) EXV80960MC board (bare
Incorporated machine)
VMS Ada960MC
Compiler R1.0
**Scheduled for on-site testing
Tartan SUN 3/50 (under SunOS 3.5) Intel 80960MC on an Intel
Laboratories EXV80960MC board (bare
Incorporated machine)
SUN Ada960MC
Compiler V2.0
**Scheduled for on-site testing
Tartan VAXstation 3100 (under VMS 320C30 on TI Application
Laboratories 5.1B) Board (bare machine)
Incorporated
Tartan Ada
VMS/C30, Version
2.2
**Scheduled for on-site testing
Tartan Sun 3/60 (under SunOS 3.5) 320C30 on TI Application
Laboratories Board (bare machine)
Incorporated
Tartan Ada
Sun/C30, Version
2.2
**Completed on-site testing
TeleSoft IBM 3083 under VM/SP HPO Same as Host
IBM Ada 370, Release 5.0
Version 1.1.0
**Completed on-site testing
TeleSoft IBM 4381 under MVS/XA Same as Host
IBM Ada/370, Release 3.8
Version 1.1.0
**Scheduled for on-site testing
TeleSoft VAXserver 3800 (under Motorola MVME133A-20
TeleGen2 Ada VAX/VMS Version 5.2) (MC68020) (bare machine)
Development
System for VAX to
E68K, Version 4.0
**Scheduled for on-site testing
TeleSoft Sun-4/280 SPARC Processor Same as Host
TeleSoft TeleGen2
Sun-4 Ada
Development
System, Version
4.01
**Scheduled for on-site testing
TeleSoft Sun-4/280 SPARC Processor Same as Host
TeleSoft TeleGen2
Sun-4 Ada
Development
System, Version
4.01
**Scheduled for on-site testing
TELESOFT VAXserver 3602 (under Same as Host
TeleGen2 Ada VAX/VMS Version 5.0)
Development
System for
VAX/VMS, Version
3.23
**Scheduled for on-site testing
TELESOFT Apple Macintosh IIx (under Same as Host
TeleGen2 Apple A/UX release 1.1)
Macintosh Ada
Development
System Version
1.4
**Scheduled for on-site testing
TELESOFT Sun-4/280 (SPARC Processor) Same as Host
TeleGen2 Sun-4 (under Sun UNIX Version
Ada Development 4.2, Release 4.0.3)
System Version
1.4
**Scheduled for on-site testing
TELESOFT Sun-3/280 (under Sun UNIX Same as Host
TeleGen2 Sun-3 4.2 Release 3.5)
Ada Development
System Version
4.0
**Scheduled for on-site testing
TELESOFT Sun-4/260 (SPARC Processor) Motorola MVME133A-20
TeleGen2 Ada (under Sun UNIX Version (MC68020) (bare machine)
Development 4.2, Release 4.0)
System, Version
1.4
**Scheduled for on-site testing
TELESOFT Sun-3/280 (under Sun UNIX Motorola MVME133A-20
TeleGen2+ Ada 4.2 Release 3.5) (MC68020) (bare machine)
Development
System, Version
1.4
Texas Instruments MIPS M/2000 (under RISC/os TI DP32 R3000 Processor
MIPS-Ada, Version 4.02) (bare machine, using TI DP32
3.0 RTE Version 1.0)
(#901030W1.11052)
**Scheduled for on-site testing
Verdix Sun4 (under SunOS 4.1) SPARC bare machine (Sun
Corporation SPARCengine 1E board)
VADS Sun-4/SPARC,
Sun4.0,
VAda-110-40440,
Version 6.0
**Scheduled for on-site testing
Verdix AT&T 3B/600G (Unix System Same as Host
Corporation V, rel 3.2)
VADS AT&T
3B/600G, UNIX
SysV3.2,
VAda-110-5151,
Version 6.0
**Scheduled for on-site testing
Verdix Sequent Balance 8000 Same as Host
Corporation (Sequent Dynix 3.0.4)
VADS Sequent
Balance 8000,
DYNIX3.0,
VAda-110-2323,
Version 6.0
**Scheduled for on-site testing
Verdix HP 9000/300 (HP-UX, version Motorola 68020/68030 bare
Corporation 7.0) machine, Motorola MVME
VADS 133A-10 (68020)
HP9000/300=>68020
(or 68030),
HP-UX7.0,
VAda-110-15125-1,
Version 6.0
**Scheduled for on-site testing
Verdix Sun 4 (under SunOS 4.1) Sun 3 (under SunOS 4.0)
Corporation
VADS Sun-4=>Sun3,
Sun4.0,
VAda-110-4013,
Version 6.0
**Scheduled for on-site testing
Verdix Intel 303 (Unix System Same as Host
Corporation V/386 rel 4)
VADS Intel 303,
UNIX SysV 4,
VAda-110-3232,
Version 6.0
**Scheduled for on-site testing
Verdix MicroVAX 3100 (under VMS Intel iSBC386/116; 386 bare
Corporation 5.2) (with WEITEK floating point
VADS add-on)
VAX/VMS=>386, VMS
5.2,
VAda-110-03315,
Version 6.0
**Scheduled for on-site testing
Verdix Data General Aviion (DG/UX Same as Host
Corporation release 4.20)
VADS Data General
Aviion, DG/UX
4.20,
VAda-110-8080,
Version 6.0
**Scheduled for on-site testing
Verdix Sun 4 (under SunOS 4.1) Motorola 68020/68030 bare
Corporation machine, Motorola MVME 147
VADS SUN-4=>68020 (68030)
(or 68030),
Sun4.0,
VAda-110-40125,
Version 6.0
Verdix DECstation 3100 (under Same as Host
Corporation ULTRIX 3.1)
VAda-110-6161,
Version 6.0.2
(#900228W1.11001)
*Validated by Registration
Verdix DECstation 2100, 5000; Any Host
Corporation DECsystem 5400, 5810, 5820,
VAda-110-6161, 5830, 5840 (under ULTRIX
Version 6.0.2 3.1)
(BASE
#900228W1.11001)
Verdix VAXsystem 3100 (under Same as Host
Corporation ULTRIX 3.1)
VAda-110-0202,
Version 6.0
(#900228W1.11002)
Verdix Sun 3/280 (under SunOS 4.0) Same as Host
Corporation
VADS Sun3 SunOS,
VAda-110-1313,
Version 6.0
(#900510W1.11003)
Verdix IBM PS/2 Model 80 (under Intel iSBC 386/12 (bare
Corporation AIX 1.1) machine)
VADS IBM PS/2 AIX
=> Intel 80386,
VAda-110-35315,
Version 6.0
(#900510W1.11004)
Verdix IBM PS/2 Model 80 (under Motorola MVME133A-20
Corporation AIX 1.1) (MC68020) (bare machine)
VADS IBM PS/2 AIX
=> 68K,
VAda-110-35125,
Version 6.0
(#900510W1.11005)
Verdix Sun 4/280 (under SunOS 4.0) Same as Host
Corporation
VADS Sun-4 SunOS,
VAda-110-4040,
Version 6.0
(#900510W1.11006)
*Validated by Registration
Verdix Sun-4/20, /65, /110, /150 & Any Host
Corporation /260; SPARCserver 310, 330,
VAda-110-4040, 370, 390, 470 & 490;
Version 6.0 SPARCstation SLC, 1, 1+, 2,
(BASE 310, 330 & 370; and
#900510W1.11006) SPARCengine 1 VME (under
SunOS 4.1)
Verdix Sun 3/280 (under SunOS 4.0) Motorola MVME147 (MC68030)
Corporation (bare machine)
VADS Sun3 SunOS
=> 68K,
VAda-110-13125,
Version 6.0
(#900510W1.11007)
Verdix IBM RISC System/6000 Model Same as Host
Corporation 530 (under AIX 3.1)
VADS IBM RISC
System/6000, AIX
3.1,
VAda-110-7171,
Version 6.0
(#900726W1.11017)
Verdix HP 9000/350 (under HP-UX Same as Host
Corporation 7.0)
VADS HP 9000/300,
HP-UX 7.0,
VAda-110-1515,
Version 6.0
(#900726W1.11018)
Verdix Prime EXL/320 (under UNIX Same as Host
Corporation System V/386 3.2)
VADS Prime
EXL/320, UNIX
System V/386 3.2,
VAda-110-3232,
Version 6.0
(#900726W1.11019)
Verdix MicroVAX 3100 (under Same as Host
Corporation VAX/VMS V5.2)
VADS VAX/VMS 5.2,
VAda-110-0303,
Version 6.0
(#900726W1.11020)
Verdix MicroVAX 3100 (under Motorola MVME147 (MC68030)
Corporation VAX/VMS V5.2) (bare machine)
VADS
VAX/VMS=>68k, VMS
5.2,
VAda-110-03125,
Version 6.0
(#900726W1.11021)
Verdix MicroVAX 3100 (under Intel iSBC 386/32 (bare
Corporation VAX/VMS V5.2) machine)
VADS
VAX/VMS=>Intel
386, VMS 5.2,
VAda-110-03315,
Version 6.0
(#900726W1.11022)
Verdix MicroVAX 3100 (under Ultrix Tektronix MV System, MV
Corporation 3.1) 68020 Support System, using
VADS TekDB Version 5.0.2
VAX/Ultrix=>68k, emulation software (bare
Ultrix 3.1, machine simulation)
VAda-110-02125,
Version 6.0
(#900726W1.11023)
Verdix DECstation 3100 (under Motorola MVME147 (MC68030)
Corporation Ultrix 3.1) (bare machine)
VADS
DEC-RISK=>68k,
Ultrix 3.1,
VAda-110-61125,
Version 6.0
(#900726W1.11024)
Verdix IBM RISC System/6000 Model Motorola MVME147 (MC68030)
Corporation 530 (under AIX 3.1) (bare machine)
VADS IBM RISC
System/6000=>68k,
AIX 3.1,
VAda-110-71125,
Version 6.0
(#900726W1.11025)
Verdix IBM RISC System/6000 Model Intel iSBC 386/116 (bare
Corporation 530 (under AIX 3.1) machine)
VADS IBM RISC
System/6000=>386,
AIX 3.1,
VAda-110-71315,
Version 6.0
(#900726W1.11026)
**Completed on-site testing
Wang Wamg VS 84xx under Wang VS Same as Host
Laboratories, OS
Inc.
Wang VS Ada,
Version 5.00.00
York Software Intergraph InterPro 3050 Same as Host
Engineering Workstation (under CLIX
Limited R3.1)
York Ada Compiler
Environment (ACE)
Release 5
(#901127N1.11073)
____________________________________________________________________________
CONTACT NAMES, ADDRESSES
AND PHONE NUMBERS
FOR COMPILER VENDORS
____________________________________________________________________________
COMPANY POINT of CONTACT PHONE NUMBER
AETECH James Dorman (619) 755-1277
380 Stevens Ave., Suite 212
Solana Beach, CA 92075
Aitech Systems Ltd Gabriel Leemor (408) 720-9400
1250 Oakmead Pkwy #210
Sunnyvale, CA 94086
Alliant Computer Systems Paul Rubin (508) 486-4950
1 Monarch Dr.
Littleton, MA 01460
Alsys Lori Heyman (617) 270-0030
67 South Bedford Street
Burlington, MA 01803-5152
Apollo Computer Roberta Anslow (508) 256-6600
330 Billerica Rd. ext: 4445
Chelmsford, MA 01824
BBN Advanced Computers Joe Walters (617) 873-3229
10 Fawcett St.
Cambridge, MA 02138
BiiN Support POC Unknown
Computer Sciences Corp. Ralph Mattei (609) 234-1100
Integrated Systems Division
304 West Rt. 38, P.O. Box N
Moorestown, NJ 08057
Concurrent Computer Corp. Michael Devlin (201) 758-7531
106 Apple St.
Titon Falls, NJ 07724
Control Data Robert Cunius (301) 468-8067
6003 Executive Blvd.
Rockville, MD 20852
CONVEX Computer Corp. Larry Grossman (214) 497-4383
3000 Waterview Parkway
P.O. Box 833851
Richardson, TX 75083
Cray Research Sylvia Crain (505) 988-2468
500 Montezuma, Suite 118
Sante Fe, NM 87501
Data General Corp. John Doyle (508) 366-8911
4400 Computer Dr.
Westboro, MA 01580
DDC International Mike Turner (602) 944-1883
P.O. Box 37767
Phoenix, AZ 85069
Digital Equipment Corp. Ms. Pat Bernard (603) 881-0247
MS: ZK2-1/M11
110 Spit Brook Rd.
Nashua, NH 03062
Elxsi Support POC Unknown (203) 661-9645
Encore Computer Gary Beerman (305) 587-2900
6901 W. Sunrise Blvd. ext: 5866
Ft. Lauderdale, FL 33313
Evans & Sutherland Ian Crook (801) 582-5847
P.O. Box 8700 ext: 5523
580 Arapeen Drive
Salt Lake City, UT 84108
Gould Gary Beerman (305) 587-2900
(now Encore) ext: 5866
6901 W. Sunrise Blvd.
Ft. Lauderdale, FL 33313
Harris Georgeanne Chitwood (305) 977-5573
2101 W. Cypress Creek Rd
Ft. Lauderdale, FL 33309
Hewlett-Packard Dave Graham (408) 725-8111
19447 Pruneridge Ave.
MS: 47LH
Cupertino, CA 95014
Honeywell Bull Milada Williamson (703) 827-3010
Honeywell Federal Systems Co., Inc.
7900 Westpark Drive
McLean, VA 22102
IBM James Hamilton (AIX OS) (416) 448-2113
IBM Canada Ltd Antony Niro (VM & MVS OS) (416) 448-2031
844 Don Mills
North York, Ontario
M3C 1V7 Canada
Intel Corporation Ellen Deleganes (503) 629-7600
Intel Scientific Computers
15201 NW Greenbrier Parkway
Beaverton, OR 97006
InterACT Paul Houlihan (212) 696-3700
417 Fifth Ave.
New York, NY 10016
Intermetrics, Inc. Burr Tupper (617) 661-1840
733 Concord Ave.
Cambridge, MA 02138
Irvine Compiler Joe Kohli (714) 250-1366
18021 Sky Park Circle
Suite L
Irvine, CA 92714
Krupp Atlas Elektronik GmbH Dieter Weigel +49-241/457-3058
Sebaldsbruecker Heerstr. 235
P.O. Box 44 85 45
D-2800 Bremen 44
Germany
Meridian Software Systems Eric Olsen (800) 221-2522
10 Pasteur St. (714) 727-0700
Irvine, CA 92718
MIPS Computer Systems Ankur Saha (408) 524-8095
928 Arques Ave.
Sunnyvale, CA 94086
MODCOMP Alan Scharf (305) 977-1317
1650 W. McNab Rd.
Ft. Lauderdale, FL 33340-6099
MOTOROLA, Inc. Mr. Jesse Winters (602) 438-3576
Motorola Micro-Computer Division
2900 South Diablo Way
Tempe, AZ 85282
NEC Corporation Mr. Noboru Kotani +81 3-456-7443
NEC-Daito-Tamachi-build.
14-22 Shibaura 4-Chome,
Minato-ku
Tokyo 108, Japan
New York University Bernard Banner (212) 998-3480
251 Mercer Street
New York, NY 10012
NIPPON TELEGRAPH & Mr. Shigeru Nishiyama +81-3-740-5717
TELEPHONE CORP.
NTT Software Laboratories
NTT TWINS Data Bldg 8F
1-9-1 Kohnan Minato-ku
Tokyo 108 Japan
Proprietary Software Systems Joel Fleiss (213) 394-5233
429 Santa Monica Blvd
Suite 430
Santa Monica, CA 90401
Pyramid Technology Corp. Cheryl Archer (415) 335-8912
1295 Charleston Road
Mountain View, CA 94043
R.R. Software Paul Fuller (608) 244-6436
2317 International Lane, Suite 212
Madison, WI 53704
Rational Diana Martin (408) 496-3990
3320 Scott Blvd.
Santa Clara, CA 95054-3197
Ready Systems Liz Parrish (408) 736-2600
470 Potrero Ave.
Sunnyvale, CA 94086
Rockwell International Don Stover (319) 395-5648
L Station 124-211
400 Collins Rd. NE
Cedar Rapids, IA 52498
ROLM Mil-Spec Computers Jon Elliott (408) 432-7701
3151 Zanker Rd.
San Jose, CA 95134-1928
SD_SCICON plc Bill Toscano or (617) 273-3030
(Systems Designer Software) Bill Mclaughlin
8 New England Executive Park
Burlington, MA 01803
Siemens AG Dr. Hoyer +49-89-63644234
ZFE F2 SOF21
Postfach 83 09 55
D-8000 Muenchen 83
Germany
Silicon Graphics Dave Bagshaw (415) 960-1980
2011 N. Shoreline Blvd.
P. O. Box 7311
Mountain View, CA 94039-7311
SofTech Mark Moore (617) 890-6900
460 Totten Pond Rd.
Waltham, MA 02254-9197
Software Leverage Glenn Allin (617) 648-1414
485 Massachusetts Ave.
Arlington, MA 02174
STERIA Patrick Chemla +33 1 39 46 97 97
26, Avenue de l'Europe
F-78140 Velizy
France
SYSTEAM KG Lori Heyman (617) 270-0030
(now Alsys Gmbh)
67 South Bedford Street
Burlington, MA 01803-5152
Tandem Computers Brian Ball (408) 725-6000
19191 Dalco Parkway
Cupertino, CA 95014
Tartan, Inc. Susan Englert (412) 856-3600
300 Oxford Drive
Pittsburgh, PA 15146
TeleSoft Tom Dent or (619) 457-2700
5959 Cornerstone Court West Karen Johnson
San Diego, CA 92121
THOMSON-CSF, Alain Kron +33 1 47 60 30 00
DIVISION CIMSA SINTRA
Parc d'Activites Kleber
160, Boulevard de Valmy
B.P. 82
F-92704 Colombes Cedex
France
TLD Systems Ms. Terry Dunbar (213) 542-5433
3625 Del Amo Blvd.
Suite 100
Torrance, CA 90503
Tolerant Systems Thelma Bataille (408) 433-5588
81 East Daggett Drive
San Jose, CA 95134
U.S. NAVY Bill Wilder (703) 602-8204
U.S. Navy NAVSEA PMS-412
Washington, D.C. 20362-5101
UNISYS Corp Jack Dobratz (215) 542-6209
Unisys U.S. Information Systems
P.O. Box 500, MS: B360
Blue Bell, PA 19424
Verdix Roger Baker (703) 378-7600
14130 A Sullyfield Circle
Chantilly, VA 22021
Wang Laboratories Fred Rozakis (508) 967-7002
One Industrial Ave.
MS: 019-890
Lowell, MA 01851
York Software Engineering Ltd Prof. I.C. Wand +44 904 432725
University of York
York, YO1 5DD, ENGLAND
*********************************************************************
*********************************************************************
AN INTRODUCTION TO THE VALIDATION PROCESS
An "Ada implementation" is an Ada compiler, linker and any other
necessary software with both its host computer (on which the compiler
is run) and the target computer (on which the generated code will be
run).
The purpose of validation is to encourage conformity of Ada
implementations with the standard -- the Ada Programming Language;
also referred to as ANSI/MIL-STD-1815A (1983). However, users are
cautioned that the yardstick of conformity testing is the collection
of test programs contained in the Ada Compiler Validation Capability
(ACVC). Thus, compliance is measured only within the limits of these
tests.
Also, characteristics not specified by the standard, such as
performance or suitability for a particular application, are outside
the scope of Ada validation.
The validation process is carried out by the Ada certification body;
this consists of: the Ada Joint Program Office (AJPO) for overall
direction; the Ada Validation Organization (AVO) and the ACVC
Maintenance Organization (AMO) for technical support; and the Ada
Validation Facilities (AVFs) for performing validations.
There are two ways of obtaining validated status: validation by AVF
testing; and for "derived" compilers only, validation by registration.
ADA COMPILER VALIDATION CAPABILITY (ACVC):
As indicated above, the Ada Compiler Validation Capability (ACVC) is a
suite of programs (and support software) that are designed to test
whether an Ada implementation complies with the Ada programming
language.
Before a new version of the ACVC test suite is used for validation, it
is released for a public review period of six months. During this
period, a compiler implementor (developer/vendor) or any interested
party may submit comments to the ACVC Maintenance Organization. At
the end of six months, the new version of the ACVC is released for
validation use for a period of 18 months. Effective October 1988, a
compiler's validation certificate expires one year after the
expiration date of the ACVC version used for the validation.
VALIDATION BY AVF TESTING:
In order to obtain a validation certificate, there are six steps that
must be completed by a customer and the Ada certification body. These
steps are:
(1) A formal validation agreement between the customer and
an AVF -- this is required in order to obtain validation
services.
(2) Prevalidation -- this consists of customer testing,
submission of results to the AVF, and resolution of any test
issues that may arise (for instance, a missing or incomplete
result to a test).
(3) Validation testing performed by an AVF at the customer's
site.
(4) A Declaration of Conformance -- this is completed and signed
by the customer not later than at validation testing. A
validation certificate will not be issued until a Declaration
of Conformance has been completed.
(5) A Validation Summary Report (VSR) -- this is prepared by the
AVF to document the validation by testing.
(6) A Validation Certificate -- this is issued by authority of
the AJPO for a successfully tested Ada implementation.
For each certificate issued, the AJPO makes an entry in the list of
validated Ada compilers. This entry will be removed when the
certificate expires.
VALIDATION OF A DERIVED COMPILER (VALIDATION BY REGISTRATION):
An Ada implementation may be "derived" from one that has been
validated by testing (a base implementation). The implementor of a
derived compiler may request that it be validated by registration,
rather than by AVF testing.
For a implementation to be derived, four conditions must be true:
(1) the validation certificate for the base implementation has an
expiration date at least three months beyond the time of
derivation;
(2) the host and target computer systems of both the base and
derived Ada implementations have compatible instruction sets
and operating systems;
(3) the derived Ada implementation contains an Ada compiler that
was obtained from the Ada compiler of the base implementation
by changes that are within the scope of accepted software
maintenance practices; and
(4) the "result profile" for the Ada implementation is either the
same as the base implementation or, if there are minor
differences, these differences are justified as being within
the scope of accepted software maintenance practices.
Two Ada implementations which pass a given ACVC version have the same
"result profile" when:
(a) they use the same customized test suite;
(b) inapplicable test programs in the customized test suite are
the same for both implementations;
(c) inapplicable test programs are inapplicable for the same
reasons; and
(d) any implementation dependent characteristics tested for by
the customized test suite are the same for both
implementations.
The AVF will review registration requests for completeness and
plausibility of information. A derived compiler that is accepted by
the AVF and the AVO will be forwarded to the AJPO to be added to the
public list of validated Ada compilers.
FOR FURTHER INFORMATION:
For further information, see "Ada Compiler Validation Procedures,
Version 2.0, May 1989". Copies are available through the Defense
Technical Information Center (DTIC) and the National Technical
Information Service (NTIS). The accession number is ADA 210 406.
NTIS
----
National Technical Information Service
U.S. Department of Commerce
5285 Port Royal Road
Springfield, Virginia 22161
(703) 487-4650
The National Technical Information Service sells documents to the
public.
DTIC
----
Defense Technical Information Center
Cameron Station
Alexandria, Virginia 22314
(703) 274-7633 AV 284-7633
The Defense Technical Information Center distributes documents only
to Military, government, or defense contractors who are registered
users of DTIC.
ADA VALIDATION FACILITY MANAGERS
Mr. Bobby Evans
Ada Validation Facility
Language Control Facility ASD/SCEL
Building 676, Room 135
Wright-Patterson Air Force Base
Ohio 45433-6503
(513) 255-4472
Ms. Jane Pink
Mr. Mike Ryan
The National Computing Centre, Ltd.
Oxford Road
Manchester
England, M1 7ED
+44 61 228 6333
Mr. Fabrice Garnier de Labareyre
AFNOR
Tour Europe, Cedex 7
F-92080 Paris la Defence
France
+33 1 42 91 5960
Dr. William Dashiell
National Institute of Standards and Technology
National Computer Systems Laboratory
Building 255, Room A266
Gaithersburg, MD 20899
(301) 975-2490
Mr. Michael Tonndorf
IABG, Dept ITE
Einsteinstrasse 20
W-8012 Ottobrunn
Germany
+49 89 6088 2477
*********************************************************************
*********************************************************************
^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: AdaZ Validation?
1990-12-21 19:40 AdaZ Validation? Ashok P. Nadkarni
@ 1990-12-22 1:16 ` MUNTS PHILLIP A
0 siblings, 0 replies; 7+ messages in thread
From: MUNTS PHILLIP A @ 1990-12-22 1:16 UTC (permalink / raw)
In article <18443@shlump.nac.dec.com>, nadkarni@ashok.dec.com (Ashok P. Nadkarni) writes...
>
>In article <1990Dec21.132834.3779@ims.alaska.edu>, ftpam1@acad3.alaska.edu (MUNTS PHILLIP A) writes...
>> You won't want to use AdaZ for production anyway.
>
>Why not ? I'm thinking of buying this compiler for serious use (not just a
>learning tool). Is there something I should be aware of :-?
I should have qualified my comment. If you are going to do any kind of
tasking or real time work, you won't want to use it. I can't yet say what its
basic code efficency is, but the size of the executables generated is not
encouraging.
Philip Munts N7AHL
NRA Extremist, etc.
University of Alaska, Fairbanks
^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~1990-12-22 1:16 UTC | newest]
Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1990-12-20 11:50 AdaZ Validation? Walter Dence
1990-12-21 13:28 ` MUNTS PHILLIP A
1990-12-21 19:31 ` Richard Pattis
1990-12-21 22:03 ` Michael Feldman
1990-12-21 22:04 ` December 1990 Validated Compiler List Michael Feldman
-- strict thread matches above, loose matches on Subject: below --
1990-12-21 19:40 AdaZ Validation? Ashok P. Nadkarni
1990-12-22 1:16 ` MUNTS PHILLIP A
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox