GNAT Pro Assurance is a complete Ada solution for projects with the most stringent requirements for reliability, long-term maintenance or certification.
Get ahead of the curve with Ada.
Ada was designed against a set of language requirements for reliable and efficient software and has been used successfully since the mid 1980s to implement applications at the highest levels of criticality. From small-footprint bare metal embedded systems to essential enterprise applications, Ada has gotten the job done.
A language is only as good as its implementation, and AdaCore’s GNAT technology has been supporting Ada customers since the company’s inception. GNAT Pro includes a rich IDE and a variety of tools that can help you to become productive with Ada quickly, and to produce reliable code that will make your customers happy.
The control panel for all your development is either GNAT Studio or the GNATbench Eclipse plug-in. These intuitive and adaptable IDEs are easy to learn but with advanced capabilities to support evolving project needs.
Catch bugs earlier. Save money in the long run.
The earlier that errors are detected, the cheaper they are to correct. That philosophy is intrinsic to the Ada design, with data type errors (such as pointer misuses) caught by the compiler, and run-time errors (such as buffer overrun) caught by checks in the compiled code. In many cases optimization or static analysis can eliminate the run-time checks, so performance is not impacted.
Cost of finding errors
Reliable software is just good business.
Software development is hard, and an effective programming language is critical to helping you get the job done. That’s where Ada comes in. If you are tired of using the debugger to chase down errors, and you want code that is reliable, readable, and efficient, then GNAT Pro can introduce you to the many benefits that the Ada language offers.
Work smarter, not harder.
Another way to look at software reliability is to identify who or what is responsible for error detection/prevention. Are errors prevented by virtue of the language rules? Can they be detected by supplemental static analysis tools? Or does the programmer need to show (through manual analysis or testing, which can be expensive) that the error cannot occur? With Ada, much more than with other languages, a large percentage of errors is either directly prevented because of the language’s compile- and run-time checks, or can be detected through static analysis.
Integral to every one of our products are the consulting and support services we provide to our customers. While every company says they offer excellent support, for us it‘s a critical part of our business model and something we take very seriously.