TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Classic View

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

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

Print Reply
Greg Bek <[log in to unmask]>
Thu, 17 Feb 2000 10:02:06 -0800
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