Safety-critical Revision Requests

Safety-critical Revision Requests

[Charles H. Sampson]

     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

Re: Safety-critical Revision Requests

[John Goodenough]

To see which revision requests were considered relevant to the Safety-Critical
section of the Ada 9X Requirements, you should look in the Requirements
Rationale document, which is available by anonymous ftp from the ajpo machine
in the file public/ada9x/ada9x.reports/req-ratl-May91.9x (for an ASCII
version) or .ps for the postscript version.

There was no special report dealing with safety critical issues, although
there were several informal meetings whose outputs contributed to the contents
of this section of the requirements document.
John B. Goodenough					Goodenough@sei.cmu.edu
Software Engineering Institute				412-268-6391