From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-0.5 required=3.0 tests=BAYES_05,MSGID_SHORT
	autolearn=no autolearn_force=no version=3.4.5-pre1
Date: 21 Aug 91 17:31:16 GMT
From: sampson%cod.nosc.mil@cod.nosc.mil  (Charles H. Sampson)
Subject: Safety-critical Revision Requests
Message-ID: <3256@cod.NOSC.MIL>
List-Id: <comp.lang.ada>

     Section 9 of the Ada 9X Requirements addresses safety-critical and
trusted systems issues.  I'm trying to find the revision requests (RRs)
that engendered this section, without any success.  Can someone point me
in the right direction?  I have Supplement 1 to the January 1990 Revision
Request Report available, but the terms _safety-critical_ and _trusted_
don't even appear in the index of key technical terms.

     Also, did the 9X effort produce a report addressing these issues,
similar to the reports on shared variables, character sets, pragmas,
and fixed-point issues?

                                Charlie