Stack Analysis Tool - GNATstack – January 15, 2007

GNATstack is a software analysis tool that enables software development teams to accurately predict the maximum size of the memory stack required to host an embedded software application.

The GNATstack tool statically predicts the maximum stack space required by each task in an application. The computed bounds can be used to ensure that sufficient space is reserved, thus guaranteeing safe execution with respect to stack usage. The tool uses a conservative analysis to deal with complexities such as subprogram recursion, while avoiding unnecessarily pessimistic estimates.

More information on GNATstack »

GPS 4.0 – July 28, 2006

AdaCore is pleased to announce the immediate release of GPS 4.0.0 for the following platforms:

• alpha-tru64
• ia64-sgi_linux
• ia64-hp_linux
• pa-hpux
• ppc-darwin
• sparc-solaris
• x86-linux
• x86-solaris
• x86-windows
• x86_64-linux

The 4.0.0 version is a major release and provides many new improvements, including:

• Support for Remote Programming
• Powerful code completion in source editor
• New port: 64 bits x86_64
• VCS additions: support for branches, file status cache, revision view
• Improved user interface: new icons, new search/replace dialog, menus, …
• Ability to save breakpoints between debug sessions
• Customizable default project

GPS 4.0 is compatible with all versions of GNAT Pro from 3.15 through to 5.04

GPS 4.0 press release

For more information on the GNAT Programing Studio click here or contact sales@adacore.com

PolyORB 2.0 – March 14, 2006

The recent release of PolyORB 2.0 brings increased versatility to our generic middleware technology.

A comprehensive architecture review and strategic reorganization resulted in a clear isolation of the essential controlling logic of the core distribution library. This allowed us to build and verify formal models of the internal components of PolyORB, providing increased confidence in the code.

New scheduling policies are also supported, allowing better adaptation to specific application requirements. Profiling was performed on the distribution runtime. This allowed us to identify and remove performance bottlenecks.

In addition to the extensive interoperability features of previous releases, this latest version makes PolyORB suitable for safe and secure software development in distributed applications.

PolyORB 2.0 is available for the following platforms:

• sparc-solaris
• x86-linux
• pa-hpux

GNAT Pro 5.04 – January 30, 2006

AdaCore is pleased to announce the immediate availability of the GNAT Pro 5.04 release.

GNAT Pro 5.04 sees important enhancements in many areas, including:

• Support for all major 64-bit architectures
• Increased support for OS versions
• Altivec support
• Improved installation and usage of the toolset
• Stack size control and analysis
• Linker-level removal of unused subprograms (on Linux only so far)
• GNATCHECK (The new coding standard verification tool)
• Support for all major features of Ada 2005 including:
  • “Limited with” and “private with”
  • All new forms of anonymous access types
  • Complete interface feature (including task, protected, synchronized, and limited interfaces)
  • “Object.Operation” notation
  • Complete containers library

The 5.04 release is available for the following native platforms:

• alpha-tru64
• mips-irix
• pa-hpux
• ppc-aix
• ppc-darwin
• SPARC-solaris
• x86-linux
• x86-solaris
• x86-windows
• x86_64_linux
• ia64-hp_linux
• ia64-hpux
• ia64-sgi_linux

The remainder of our supported native platforms (e.g. alpha-openvms, ia64-openvms, x86-lynx) and cross configurations will be made available in the weeks to come.

GPS 3.1 – January 23, 2006

AdaCore is pleased to announce the immediate release of GPS 3.1.0 for the following platforms:

• alpha-tru64
• ia64-sgi_linux
• ia64-hp_linux
• ia64-hpux
• mips-irix
• pa-hpux
• ppc-darwin
• SPARC-solaris
• x86-linux
• x86-solaris
• x86-windows
• x86_64-linux

The 3.1.0 version is a major release and provides many new improvements, including:

• - New availability on ia64-sgi_linux, ia64-hp_linux, ia64-hpux, x86_64-linux
• - New cross-reference queries
• - Improved plug-in capabilities and python extensions
• - Refactoring (rename entity, name parameters, …)
• - More efficient and user-friendly locations view
• - Improved assembly view
• - Persistent bookmarks
• - VCS activities (group commit)
• - Enhanced tooltips and code completion
• - Improved graphs (better layout, ability to export in SVG format)
• - New call graph tree
• - Project Editor enhancements (extending projects, …)

GPS 3.1 is compatible with all versions of GNAT Pro from 3.15 through to 5.04

Read the GPS 3.1 press release

For more information GNAT Programing Studio click here or contact sales@adacore.com

GNAT Pro for ERC32 – November 4, 2005

AdaCore is pleased to announce GNAT Pro for ERC32:

GNAT Pro for ERC32 is a flexible cross-development environment, developed under ESA/ESTEC contract, supporting the Ada 95 Ravenscar tasking model for ERC32 (ATMEL TSC695 processor). It provides a full-featured visual programming environment for developing mission-critical real-time software on Ada, covering the whole development cycle: language-oriented editing, compiling, binding, inking, loading, and graphical tasking-aware debugging.

The toolchain has been tailored and streamlined for taking full advantage of the Ravenscar Profile restrictions. The reduced complexity of the run time, together with its configurability, make it an excellent choice for mission-critical real-time space applications in which certification or small size is needed. Software reliability and predictability is also increased by the exclusion of non-deterministic and non analyzable tasking features.

GNAT Pro for ERC32 supported hosts:

• SPARC Solaris
• GNU/Linux

GPS 3.0 – May 27, 2005

AdaCore is pleased to announce the immediate release of GPS 3.0 for the following platforms:

• alpha-tru64
• mips-irix
• pa-hpux
• SPARC-solaris
• x86-linux
• x86-solaris
• x86-windows

The 3.0 version is a major release and provides many new improvements, including:

• Automatic documentation generation from Ada sources
• Support for remote debugging/compilation
• Support for inter-process communication between GPS and external tools
• New visual comparison tool
• Visualization of Ada metrics
• Outline View, dynamically showing the code structure in the current editor
• Improved project editing, including support for: library projects, limited with, child projects
• Project dependency editor
• Improved MDI (multiple document interface)
• Improved graphical display of data structures while debugging

Related:

IPL and Praxis High-Integrity Systems provide a GPS 3.0 compatible plug-in for the AdaTEST 95 and SPARK Toolset

Read the GPS 3.0 press release

Visit the GNAT Programming Studio product page