Ada ‐ A Proven History of Meeting Safety and Security Standards
AdaCore offers a family of High-Integrity solutions designed to meet the specific software development needs of safety-critical and security-critical applications. Key to these packages is the Ada programming language itself, a language designed from the start to support safety-critical and security-critical software development.
The GNAT Pro High-Integrity Edition products support the development of safety-critical and security-critical applications for embedded systems, servers and workstations.
The GNAT Pro High-Integrity Edition for DO-178B
The GNAT Pro High-Integrity Edition for DO-178B supports safety-critical development with the tools and certification materials needed to meet this leading safety-critical standard, or similar standards such as: IEC 61508 for industrial automation, RIA-23 for railway systems, Def Stan 00-55/56, and other related standards. This package is the ideal environment for developing any high-reliability / safety-critical embedded application.
DO-178B Level A certification materials are available. This package has already passed formal certification as a part of multiple avionics flight critical systems.
High Integrity Edition for DO-178B Product Page »
The GNAT Pro High-Integrity Edition for Servers
The GNAT Pro High-Integrity Edition for Servers supports application development for servers or workstations where safety or security is critical. This package is accompanied by the tools and certification materials needed for ground based avionics systems that need to meet Air Traffic Management standards such as DO-278, CAP670/SW01, ESARR 4/6, or where the application must meet other high-reliability requirements.
High Integrity Edition for Servers Product Page »