Important Notice: Our web hosting provider recently started charging us for additional visits, which was unexpected. In response, we're seeking donations. Depending on the situation, we may explore different monetization options for our Community and Expert Contributors. It's crucial to provide more returns for their expertise and offer more Expert Validated Answers or AI Validated Answers. Learn more about our hosting issue here.

Why GNAT Pro High-Integrity Edition for Servers?

April 26, 2017edition gnat Pro servers

0

Posted

Why GNAT Pro High-Integrity Edition for Servers?

1 Answer

0

Posted

AdaCore’s High-Integrity Edition for DO-178B solution has passed DO-178B Level A certification multiple times as a part of avionics systems and is a proven solution to meet this safety-critical standard requirements. GNAT Pro High-Integrity Edition for Servers satisfies ESARR 4 and 6 for the systems and software for Air Traffic Management (ATM) systems. The certification life cycle materials developed for DO-178B are available for GNAT Pro High-Integrity Edition for Servers, along with complete ISO Ada Conformity Assessment Test Suite (ACATS) results to show that the compiler and run-time system fully conform to the ISO Ada standard.