Reinholtz Åke wrote:
>
> Subject: Safety Critical Certification
>
> I search for an Ada Run-Time System which can be used in a Safety Critical
> Application. The Ada RTS and the Ada libraries must be in compliance with
> FAA (Federal Aviation Administration) RTCA/DO-178B for airborne software
> systems. Please send me a reply if you have information about this.

I am pretty sure that Aonix, Rational, and DDC-I all have Ada run-times
(or subsets) that have been designed for use with DO-178B systems.
Other vendors (e.g. GNAT, Green Hills, Irvine, OCSystems) may also have
such products, or be working on them.  I would check their respective web
sites, or send mail to their sales departments.  Here are their web
addresses, in alphabetical order:

   http://www.aonix.com
   http://www.ddci.com
   http://www.ghs.com
   http://www.gnat.com
   http://www.irvine.com
   http://www.ocsystems.com
   http://www.rational.com

> Best Regards,
> Åke Reinholtz

--
-Tucker Taft   [log in to unmask]   http://www.averstar.com/~stt/
Technical Director, Distributed IT Solutions  (www.averstar.com/tools)
AverStar (formerly Intermetrics, Inc.)   Burlington, MA  USA