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.3 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
	INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,74b55538385b7366
X-Google-Attributes: gid103376,public
From: "Vladimir Olensky" <vladimir_olensky@yahoo.com>
Subject: Re: Ada safety road
Date: 1999/06/16
Message-ID: <929478724.676.65@news.remarQ.com>#1/1
X-Deja-AN: 489988983
References: <928083159.436.79@news.remarQ.com>
 <m33e0el4vr.fsf@deneb.cygnus.stuttgart.netsurf.de>
 <928174549.336.98@news.remarQ.com> <7iuqkc$ln6$1@nnrp1.deja.com>
 <928529202.956.79@news.remarQ.com> <928569312.951.42@news.remarQ.com>
 <7jb1l9$694$1@nnrp1.deja.com> <928703068.617.98@news.remarQ.com>
 <1999Jun6.181633.1@eisner> <yecwvxfrb96.fsf@king.cts.com>
 <376522E1.230D1736@tin.it> <37660F7A.870D2A3A@tin.it>
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3110.3
X-Complaints-To: newsabuse@remarQ.com
X-Trace: 929478724.676.65 K3TLTKYJOA5C9C7F8C qube-01.us-ca.remarq.com
Organization: Posted via RemarQ Communities, Inc.
NNTP-Posting-Date: Tue, 15 Jun 1999 20:32:04 GMT
Newsgroups: comp.lang.ada
Date: 1999-06-16T00:00:00+00:00
List-Id: <comp.lang.ada>


Franco Mazzanti wrote in message <37660F7A.870D2A3A@tin.it>...
>
>> Some time ago I did that job of collecting from all the RM all this
>> kind of information related to erroneous executions. It took a long
>> time,
>> and it has been a much harder job rather than what initially expected,
>> but in the end I think I succeded in getting the whole picture.
>> If anybody is interested, the report can downloaded by anonymous ftp
>> from:
>>   ftp://rep1.iei.pi.cnr.it/pub/mazzanti/publications/EEG.ps
>> (it is an IEI report)
>>
>
>Thanks to Jim Hopper, now a pdf version of the same report is also
>available:
>  ftp://rep1.iei.pi.cnr.it/pub/mazzanti/publications/EEG.pdf
>
>Franco Mazzanti


I looked through your report  and I was really impressed.
This is what I had in mind (and may be even more) talking about such kind of
document  in my previous posts.
This is very comprehensive document and it is really Ada safety roadmap.
Your report and ISO N359 document  can provide great help to those using Ada
in making their software more reliable.

Best regards,
Vladimir Olensky