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.9 required=3.0 tests=BAYES_00,FROM_ADDR_WS
	autolearn=no autolearn_force=no version=3.4.5-pre1
Date: 31 Dec 92 02:01:20 GMT
From: concert!uvaarpa!murdoch!holmes.acc.Virginia.EDU!dtl8v@gatech.edu  (Heracl
eitus)
Subject: Ada RTE/F.A.A.-certified?
Message-ID: <1992Dec31.020120.20770@murdoch.acc.Virginia.EDU>
List-Id: <comp.lang.ada>

  I recently came across a reference in the AIAA/IEEE 8th Digital
Avionics Systems Conference to an Ada RTE bassed on a U.S.
F.A.A.-certified executive in one or more commercial Ada compiler
systems.  I was hoping someone out there would be able to give me a
lead on this, as the article in the proceedings did not provide
specific detail, and there may be more than the author mentioned.

Doug Lamb
University of Virginia
dtl8v@Virginia.EDU