Wind River

AdaCore

GNAT Pro Ada Development

Compatible Wind River Operating Systems:Linux, VxWorks, VxWorks Cert DO-178B, VxWorks 653

Compatible Wind River Platforms: Industrial Automation, Network Equipment, Safety Critical

GNAT Pro is a comprehensive Ada development environment consisting of a full Ada compiler, an extensive toolset including a visual debugger, and a set of libraries and bindings. On Wind River platforms GNAT Pro comes with both the GPS (GNAT Programming Studio) Integrated Development Environment and the GNATbench plug-in for Workbench. GNAT Pro supports development of pure Ada applications (Ada 2005, Ada 95, or Ada 83) as well as Ada components in multilanguage systems. It comes with complete source code and comprehensive user documentation and is based on the GNU GCC technology. GNAT Pro is available on more platforms, both native and embedded, than any other Ada technology, and is in use by industry and government customers worldwide.

The specialized GNAT Pro High-Integrity product family supports development of safety-critical and high security systems. The GNAT Pro High-Integrity Edition for DO-178B is oriented around embedded systems requiring certification at the highest levels. It comes with a package of certification materials for its runtime libraries, compliant with DO-178B Level A, which have been used for formal certification of multiple avionics systems. The GNAT Pro High-Integrity Edition for Servers is intended for native systems with equally demanding safety certification requirements, and the GNAT Pro High-Integrity Edition for MILS is targeted to systems that need to comply with the highest levels of security standards such as the Common Criteria.

pg_34

FEAUTURES & BENEFITS

Dependable support is intrinsic to all AdaCore products and is supplied by the GNAT Pro developers themselves. Questions on all aspects of Ada and GNAT Pro are answered promptly and accurately.
GNAT Pro can be used for systems comprising thousands of modules, and millions of lines of code. Its Project Manager facility offers a flexible framework for organizing large development efforts.
Thanks to the open standards used by GCC, GNAT Pro eases the development of applications comprising Ada and other languages such as C and C++. Ada’s interfacing facilities are fully implemented.
GNAT Pro maps Ada tasks to system threads, implements a wide range of compiler optimizations, and provides efficient run-time libraries. These all contribute to well-tuned run-time performance.
GNAT Pro provides attributes and pragmas that ease the porting of existing Ada 83 or Ada 95 code to GNAT, and the Project Manager facility allows preserving the original file naming conventions.

TECHNICAL SPECS

Full Ada implementation, including all Specialized Needs Annexes, for Ada 83, and 95, and Ada 2005.
GPS (GNAT Programming Studio) and GNATbench (a plug-in for Workbench) Integrated Development Environments.
Visual debugging support, including a remote interface for debugging an embedded target.
Comprehensive toolsuite, including a heap usage monitor, a unit testing framework, a pretty printer, a program browser, an HTML generator, and a program metrics generator.
Libraries and bindings supplementing the standard Ada API, including packages for services such as operating system interfaces, text manipulation/pattern matching, and data structures/algorithms.