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
>