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   Was: Which is right ...
Date: 1999/06/11
Message-ID: <929128919.557.95@news.remarQ.com>#1/1
X-Deja-AN: 488519925
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>
 <375F6F0B.AD735B5B@praxis-cs.co.uk> <7jo1d2$kno$1@pegasus.csx.cam.ac.uk>
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3110.3
X-Complaints-To: newsabuse@remarQ.com
X-Trace: 929128919.557.95 K3TLTKYJOA5C9C7F8C qube-02.us-ca.remarq.com
Organization: Posted via RemarQ Communities, Inc.
NNTP-Posting-Date: Fri, 11 Jun 1999 19:21:59 GMT
Newsgroups: comp.lang.ada
Date: 1999-06-11T00:00:00+00:00
List-Id: <comp.lang.ada>


Markus Kuhn wrote in message <7jo1d2$kno$1@pegasus.csx.cam.ac.uk>...
>Peter Amey <pna@praxis-cs.co.uk> writes:
>|> There certainly has been some work in this area.  At a pragmatic level
>|> there is the Ada HRG which has produced (under auspices of ISO) a
>|> guidance document on the use of Ada in high-intergrity systems.  The
>|> document identifies language features and combinations of features which
>|> are most likely to complicate reasoning about the behaviour of Ada
>|> programs; clearly this includes behaviour which might be erroneous.
>
>This document is freely available from
>
>  http://www.dkuug.dk/JTC1/SC22/WG9/n359.pdf
>


I looked through it and found it  very useful.

I was talking exactly about such kind of document (may be more comprehensive
though).

What is interesting it was published only 30 days ago (99-05-11).

It itself contains a lot of useful references.

What is good that it is an official Ada ISO document.

This document (and it's home)  should  be referenced from each Ada related
site.


Regards,

Vladimir Olensky