TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Proportional Font
Show Text Part by Default
Show All Mail Headers

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

Print Reply
Subject:
From:
Tucker Taft <[log in to unmask]>
Reply To:
Tucker Taft <[log in to unmask]>
Date:
Mon, 14 Feb 2000 12:42:25 -0500
Content-Type:
text/plain
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