TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced 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:
Greg Bek <[log in to unmask]>
Reply To:
Date:
Thu, 17 Feb 2000 10:02:06 -0800
Content-Type:
text/plain
Parts/Attachments:
text/plain (1 lines)
Rational offers the MARK (Minimal Ada Runtim Kernel).  Which is

a configurable kernel delivered as source code.



Contact is Eddie Glenn (mailto:[log in to unmask])



Greg



> -----Original Message-----

> From: Team Ada: Ada Advocacy Issues (83 & 95)

> [mailto:[log in to unmask]]On Behalf Of Reinholtz ┼ke

> Sent: Thursday, February 10, 2000 4:26 AM

> To: [log in to unmask]

> Subject: Safety Critical Certification

> 

> 

> 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.

> 

> Best Regards,

> ┼ke Reinholtz

> 

ATOM RSS1 RSS2