• Building enhancements
• Specify multiple toolchains per project
• Building without the ‘make’ utility
• Support for the make package
• Interruptible commands
• Better toolchain environment integration
• Navigation enhancements
• Navigation between specs and bodies without compilation
• Navigation between Ada specs & C/C++ bodies
• Jump from GNAT project explorer entities
• New commands and tool integrations
• Metrics
• Pretty printing
• Style checking
• Better project management
• Single project creation wizard
• Project conversion wizard
• Improved ease of use
• SPARK “notes” messages categorized in problems view
• Improved contextual menus
• Advanced references search

AdaCore will be exhibiting at this event.

Jose F. Ruiz will present the paper “Safe and Efficient Support for Embedded Multi-Processors in Ada”.

AdaCore is a major sponsor of this event and will be presenting the following papers:

New GNAT Pro 6.3 features include:

• Support for 64-bit code generation on Windows
• Support for Windows 7
• Improvements to a number of tools, including:
• Pretty printer (gnatpp)
• Coding standard verifier (GNATcheck)
• Stack size analyzer (GNATstack)
• Other tool enhancements:
• Unused dispatching subprogram elimination (gnatelim)
• More flexible project handling
• More efficient gnatmake and gprbuild
• C and C++ binding generation
• Compiler and debugger enhancements, including:
• Many additional warnings
• More flexible enabling/disabling of warnings
• Faster Unbounded_String implementation
• Removal of redundant run-time checks
• Support for Ada 2012 conditional expressions
• Code generation (speed and size) improvements
• More compact debugging information
• Improved interfacing with C++
]]> http://www.adacore.com/2010/02/17/gnat-pro-6-3-1/feed/ 0 http://www.adacore.com/2010/02/17/executing-software-contracts/ http://www.adacore.com/2010/02/17/executing-software-contracts/#comments Wed, 17 Feb 2010 07:35:58 +0000 AdaCore http://www2.adacore.com/?p=3656 http://www.adacore.com/2010/02/17/executing-software-contracts/feed/ 0 http://www.adacore.com/2010/02/09/gnat-pro-6-3/ http://www.adacore.com/2010/02/09/gnat-pro-6-3/#comments Tue, 09 Feb 2010 08:55:43 +0000 AdaCore http://www2.adacore.com/?p=3564 Ada development environment now supports 64-bit code generation on Windows

BRISTOL, United Kingdom, NEW YORK and PARIS, February 9, 2010 – Safety-Critical Systems Symposium – AdaCore, a leading supplier of Ada development tools and support services, today announced the latest major release of its GNAT Pro Ada development environment. GNAT Pro 6.3 is now available on several new platforms including 64-bit Windows, Windows 7, Mac OS X Snow Leopard, VxWorks MILS, and PikeOS (ARINC 653). The product incorporates performance improvements and a variety of enhancements, many based on customer feedback, and it offers the first implementation of new Ada 2012 features. GNAT Pro 6.3 works with a number of complementary tools, sold separately, including the CodePeer automated code review and validation tool.

“We continually strive to provide our customers with world-class development tools, technical consulting, and product support that exceed their expectations,” said Robert Dewar, President and CEO of AdaCore. “GNAT Pro 6.3 demonstrates our commitment to this goal and continues the company’s tradition of providing annual major releases for our products.”

“With this new release, GNAT Pro supports a wide range of additional platforms, with a particular emphasis on 64 bit architectures,” said Cyrille Comar, Managing Director, AdaCore Europe. “This regular adaptation to new environments is critical for many of our customers who work on safety critical applications whose lifespans cross many hardware generations and operating system transitions. Our challenge is to find, every year, more efficient ways of producing and qualifying to the highest standards, an increasing number of tools running on an increasing number of platforms.”

New GNAT Pro 6.3 features include:

• Support for 64-bit code generation on Windows
• Support for Windows 7
• Improvements to a number of tools, including:
• Pretty printer (gnatpp)
• Coding standard verifier (GNATcheck)
• Stack size analyzer (GNATstack)
• Other tool enhancements:
• Unused dispatching subprogram elimination (gnatelim)
• More flexible project handling
• More efficient gnatmake and gprbuild
• C and C++ binding generation
• Compiler and debugger enhancements, including:
• Many additional warnings
• More flexible enabling/disabling of warnings
• Faster Unbounded_String implementation
• Removal of redundant run-time checks
• Support for Ada 2012 conditional expressions
• Code generation (speed and size) improvements
• More compact debugging information
• Improved interfacing with C++

GNAT Pro 6.3 also includes a new version of the GNAT Programming Studio (GPS) IDE, GPS 4.4.1, and an improved download interface in AdaCore’s GNAT Tracker support tool.

About GNAT Pro
The GNAT Pro development environment, available on more platforms than any other Ada toolset, is a full-featured, multi-language development environment complete with libraries, bindings and a range of supplementary tools. It provides a natural solution for organizations that need to create reliable, efficient, and maintainable code. GNAT Pro implements all three versions of the Ada language standard – Ada 83, Ada 95, and Ada 2005 – and the latest version of GNAT Pro implements some of the new features in Ada 2012. GNAT Pro is based on the widely used GCC technology and is backed by rapid and expert support service.

About AdaCore
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. AdaCore has an extensive world-wide customer base; see http://www.adacore.com/home/company/customers/ for further information.

Ada and GNAT Pro continue to see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains such as financial services.

AdaCore has North American headquarters in New York and European headquarters in Paris.

Press Contacts
press@adacore.com

]]> http://www.adacore.com/2010/02/09/gnat-pro-6-3/feed/ 0 http://www.adacore.com/2010/02/08/ada-and-spark-for-education-and-research/ http://www.adacore.com/2010/02/08/ada-and-spark-for-education-and-research/#comments Mon, 08 Feb 2010 09:11:49 +0000 AdaCore http://www2.adacore.com/?p=3552 Feb 23, 2010 - K.U.Leuven, Heverlee, Belgium.

AdaCore will be participating in this event targeting the academic community.

Robert Dewar will be giving a presentation entitled “What’s New in the World of Ada” and Rod Chapman will be giving a presentation entitled “SPARK – The Libre Language and Toolset for High-Assurance Software”.

]]> http://www.adacore.com/2010/02/08/ada-and-spark-for-education-and-research/feed/ 0 http://www.adacore.com/2010/01/26/support-for-pike-os/ http://www.adacore.com/2010/01/26/support-for-pike-os/#comments Tue, 26 Jan 2010 07:55:05 +0000 AdaCore http://www2.adacore.com/?p=3425 New Safety-Critical RTOS Platform for GNAT Pro High-Integrity Edition

SANTA CLARA, NEW YORK and PARIS, January 26, 2010 – Real-Time & Embedded Computing Conferences (RTECC) – AdaCore and SYSGO today further strengthened their partnership by announcing the release of the GNAT Pro High-Integrity Edition for DO-178B toolset targeting SYSGO’s PikeOS platform, a safety-critical real-time operating system (RTOS). GNAT Pro has been ported to this platform in direct response to growing customer demand. This new development follows GNAT Pro support for ELinOS™.

PikeOS has been gaining popularity with avionics developers as a next-generation RTOS for ARINC-653; with Ada’s and AdaCore’s proven track record in the safety-critical market, including avionics and rail transportation, GNAT Pro is a natural match. GNAT Pro High-Integrity Edition for PikeOS comes with the Zero Footprint (ZFP) and Ravenscar run-time libraries. The ZFP run-time library of GNAT Pro High-Integrity Edition for DO-178B has been used on multiple safety-critical projects and allows simple sequential application development that eases certification to DO-178B Level A. The Ravenscar run-time library adds support for deterministic multi-tasking. AdaCore provides both run-times libraries to allow developers to choose the one best suited to their application requirements.

PikeOS provides an embedded platform where multiple virtual machines can run simultaneously in a secure environment. The Safe and Secure Virtualization (SSV) technology allows multiple operating system APIs, called “Personalities”, to run concurrently on one machine, for example an ARINC-653 application together with Linux. GNAT Pro High-Integrity Edition for PikeOS provides ZFP and Ravenscar run-times for both PikeOS Native and APEX (ARINC 653) personalities.

The PikeOS microkernel architecture supports a range of domains, from cost-sensitive, resource-constrained devices to large, complex systems. Because of its simplicity and compactness, PikeOS is suitable for the most demanding real-time applications. PikeOS is certifiable to safety standards, including DO-178B, IEC 61508 and EN 50128. It is also MILS compliant.

“AdaCore has created an entire family of products to support development of both safety- and security-critical applications with our GNAT Pro High-Integrity Family,” said Robert Dewar, AdaCore President and CEO. “We strive to continuously expand the number of options available to our customers for safety- and security-critical development. Support for PikeOS is now the latest RTOS addition to our High-Integrity Family of products.”

“With new certifiable run-times and qualifiable tools, AdaCore has been strengthening its offering dedicated to the development of safety-critical systems,” said Michaël Friess, AdaCore EU Sales & Business Development Manager. “SYSGO has rapidly gained renown and trust in the safety-critical market. It was a natural choice for AdaCore to expand our GNAT Pro High-Integrity Edition family to the PikeOS platform, foster the fruitful partnership with SYSGO, and provide our joint customers with a flexible and efficient solution.”

“Our product PikeOS has one of the fastest growth rates in the sectors requiring safety and security critical applications,” declares Jacques Brygier, VP Marketing at SYSGO. “The successful partnership we have built with AdaCore regarding our embedded Linux product ELinOS makes our collaboration in the safety-critical domain even more logical, as both companies have in common an excellent reputation and experience in this very demanding business.”

About AdaCore
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. AdaCore has an extensive world-wide customer base; see http://www.adacore.com/home/company/customers/ for further information.

Ada and GNAT Pro continue to see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains such as financial services.

AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com

About SYSGO
SYSGO excels in providing operating system technology, middleware, and software services for the real-time and embedded device market. A differentiating capability of SYSGO is the secure and certifiable PikeOS™ paravirtualization operating system which is built upon a small, fast, and safe microkernel and supports the cohabitation of independent operating system personalities on a single platform, including ELinOS™, SYSGO’s embedded Linux development environment. SYSGO supports international customers with services for embedded Linux, real-time capabilities and certification for safety-critical applications. Target markets include Aerospace & Defense, Industrial Automation, Automotive, Transportation and Network Infrastructure. SYSGO customers include Airbus, Honeywell, Thales, Daimler, Raytheon, Rheinmetall, Rockwell-Collins, Siemens and Rohde & Schwarz. Today, the company has six facilities in Europe, including Germany, France and The Czech Republic and offers a global distribution and support network, extending to North America and the Pacific Rim.

SYSGO, ELinOS and PikeOS are trademarks or registered trademarks of SYSGO AG in Germany and in several other countries all over the world. Linux is the registered trademark of Linus Torvalds in the U.S. and other countries. All other product and service names mentioned are the trademarks of their respective companies.

Press Contacts
press@adacore.com

]]> http://www.adacore.com/2010/01/26/support-for-pike-os/feed/ 0 http://www.adacore.com/2010/01/18/erts-2010/ http://www.adacore.com/2010/01/18/erts-2010/#comments Mon, 18 Jan 2010 13:12:40 +0000 AdaCore http://www2.adacore.com/?p=3363 May 19-21 2010, Toulouse, France

AdaCore is a sponsor at this event and will be presenting the following papers:


• “Tokeneer: Beyond Formal Program Verification” by Yannick Moy and Angela Wallenburg


• “Verifying Model Compilers” by Matteo Bordin and Franco Gasperoni


• “Couverture: An Innovative and Open Coverage Analysis Framework for Safety-Critical Applications” by Matteo Bordin, Cyrille Comar, Tristan Gingold, Jérôme Guitton, Olivier Hainque, and Thomas Quinot


]]> http://www.adacore.com/2010/01/18/erts-2010/feed/ 0