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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,bac592b3eabe9307,start
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Sat, 07 Nov 2009 02:59:44 +0100
From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.5; en-US;
 rv:1.9.1.4pre) Gecko/20090915 Thunderbird/3.0b4
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Q: Ravenscar Guide
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <4af4d493$0$6588$9b4e6d93@newsspool3.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 07 Nov 2009 02:59:47 CET
NNTP-Posting-Host: f168dfc2.newsspool3.arcor-online.net
X-Trace: 
 DXC=\S2Jc<5b`W`>jlK2>IgHGdMcF=Q^Z^V3h4Fo<]lROoRa8kF<OcfhCOkG^6ahB9fHKiPCY\c7>ejVh^=CSEl^`L<h:l<5iLlS[9b
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:9020
Date: 2009-11-07T02:59:47+01:00
List-Id: <comp.lang.ada>

Looking for the

  "Guide for the use of the Ada Ravenscar Profile
   in high integrity systems", ISO/IEC 24718,

I noticed that the German title on the quite official
DIN/Beuth site is different.  It says "highly-integrated
systems" for "high integrity systems", in German:

  "Leitfaden zu Verwendung des Ada Ravenscar Profils in
  hoch-integrierten Systemen" [c&p]

That's not the same thing, is it?

Assuming they sell the English original, there is no
issue.  (I think the high officials have asked for the
report to be made freely available.)

An English report by Burns, Dobbing, and Vardanega
is freely available here and there (York, Karlsruhe).