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=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,bcdbb0729ae8fbff,start
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,CP1252
Path: 
 g2news1.google.com!postnews.google.com!j31g2000yqa.googlegroups.com!not-for-mail
From: =?ISO-8859-1?Q?Hibou57_=28Yannick_Duch=EAne=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Strange story with Ada validation
Date: Sun, 7 Feb 2010 23:47:24 -0800 (PST)
Organization: http://groups.google.com
Message-ID: 
 <4683c5b7-29ef-4cac-a69b-e7d14a69f40d@j31g2000yqa.googlegroups.com>
NNTP-Posting-Host: 86.66.190.226
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1265615244 10883 127.0.0.1 (8 Feb 2010 07:47:24
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 8 Feb 2010 07:47:24 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: j31g2000yqa.googlegroups.com; posting-host=86.66.190.226;
	posting-account=vrfdLAoAAAAauX_3XwyXEwXCWN3A1l8D
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1;
	fr),gzip(gfe),gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:8964
Date: 2010-02-07T23:47:24-08:00
List-Id: <comp.lang.ada>

Hello,

A bit randomly, I've landed on document talking about an =93 AJPO end of
mission =94.
http://sw-eng.falls-church.va.us/ajpofaq.html#mirror

and particularly on a quote :
<<
Q. What about compiler validation? Wasn't this one of AJPO's main
responsibilities?
A. Yes, as required by DoDD 3405.1 (1987). But this directive was
rescinded on April 29, 1997, and DoD's requirement for AJPO-validated
compilers was never reinstated, as AJPO had anticipated. The ACVC is
freely available for any interested party to use as they see fit, but
the official DoD Ada validation procedures and requirements no longer
exist.
>>

There is a link in the HTML version of the latter quote (about the
rescinded directive), pointing to
http://sw-eng.falls-church.va.us/oasd497.html
but which is just talking about the end of the requirement from the
DoD to use Ada for all software projects (this does not talk about
validation at all).

I had always though the AJPO was responsible of Ada compilers
validation and certifications. It seems I was driven into error by
historical documents I was believing to be up to date (from place to
place, I use to see the web site of this and this compiler vendor
proudly announcing the AJPO had validated its product).

Is still Ada a trademark of the DoD ?
Is still the validation a formal requirement ?
If yes (I suppose it is, while I may be wrong after all), who his
requesting it ?

Sorry if these ever seems to be clumsy idiot questions