Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore`s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology.

GNAT Pro Overview 

GNAT Pro is a robust and flexible Ada development environment comprising a full Ada compiler, a comprehensive toolset including a visual debugger, and a set of libraries and bindings. On most platforms it also includes an Integrated Development Environment (GPS, the GNAT Programming Studio). GNAT Pro allows development of pure Ada applications (Ada 2005, Ada 95, or Ada 83) as well as Ada components in multilanguage systems. It is distributed with complete source code and comprehensive user documentation, and is based on the GNU GCC technology. It has been ported to more platforms, both native and embedded, than any other Ada technology. 

GNAT Pro is the natural Ada solution for VxWorks: a complete Ada implementation with real-time performance and functionality, integrated into Wind River`s tool suite and execution platform, offering several host development environments and memory protection models. The industry`s leading Ada development solution, GNAT Pro is a well-established and widely-used product on Wind River platforms. Its implementation on VxWorks 6 marks the continuation of a successful and longstanding partnership between AdaCore and Wind River in the area of high quality embedded software, and benefits from a large body of customer experience with GNAT Pro on real-time systems.  

GNAT Pro is ideal for developers seeking reliability, performance, and portability in real-time embedded environments. With GNAT Pro you can be confident that you are using a mature, dependable Ada technology backed by the world`s leading Ada experts.  

For information on the market-leading Ada development technology, please visit: www.adacore.com/home/gnatpro  

GNAT Pro High-Integrity Edition for DO-178B is a complete development environment with full DO-178B Level A certification materials. It has passed formal certification as a part of multiple avionics flight critical systems. It is the ideal solution for any safety critical development effort for avionics, high-speed rail, nuclear shutdown, medical, and other industries where top levels of safety must be assured.  

GNAT Pro High-Integrity Edition for DO-178B is an enhanced version of GNAT Pro, designed for building safe and secure software. Its many features help to reduce the cost of developing and certifying systems that have to meet safety standards such as RTCA/DO-178B, EUROCAE ED-12B, DEF Stan 00-55/56, and other high-integrity standards.  

For information on our GNAT Pro High-Integrity Edition, please visit: www.adacore.com/home/gnatpro/safety-critical  

GNAT Pro has been used by industry and government customers worldwide in professional, mission-critical software products ranging from small-footprint real-time embedded applications, including safety-critical systems at the highest levels of certification, to large-scale information management systems.  

Dependable support is intrinsic to all AdaCore products and is supplied by the GNAT Pro developers themselves. In essence, AdaCore serves as on-line consultants to the customer's project. Questions on all aspects of Ada and GNAT Pro are answered promptly, comprehensively, and accurately. Blocking issues receive immediate attention; if appropriate, a wavefront release with the relevant repair can be provided. AdaCore can also provide specialized consulting and/or training services based on specific customer requirements. 

For more information on AdaCore, please visit http://www.adacore.com/  or contact This e-mail address is being protected from spambots. You need JavaScript enabled to view it .