TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show HTML Part by Default
Condense Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Sender:
"Team Ada: Ada Advocacy Issues (83 & 95)" <[log in to unmask]>
X-To:
Reinholtz Åke <[log in to unmask]>
Date:
Mon, 14 Feb 2000 12:42:25 -0500
Reply-To:
Tucker Taft <[log in to unmask]>
Subject:
From:
Tucker Taft <[log in to unmask]>
Content-Transfer-Encoding:
8bit
Content-Type:
text/plain; charset=iso-8859-1
Organization:
AverStar (formerly Intermetrics) Burlington, MA USA
MIME-Version:
1.0
Parts/Attachments:
text/plain (32 lines)
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

ATOM RSS1 RSS2