AdaCore, a leading supplier of Ada development tools and support services, today announced the release of CodePeer 2.0, the advanced source code analysis tool that helps developers detect potential run-time and logic errors in Ada programs.

AdaCore today announced that Airbus Military has successfully certified the Airbus Military Aerial Refueling Boom System (ARBS) on the A330 Multi Role Tanker Transport (MRTT).

AdaCore, provider of tools and expertise for mission-critical, safety-critical, and security-critical software development, today announced that EADS CASA is using the GNAT Pro High-Integrity Edition to implement the data exchange and air-to-ground data links systems for the nEUROn Unmanned Combat Air Vehicle (UCAV) demonstrator.

AdaCore, a leading supplier of Ada development tools and support services, today announced the release of GNATcoverage, a tool that analyzes and reports program coverage. Originally developed as part of the Couverture research project, GNATcoverage performs coverage analysis on both object code — instruction and branch coverage – and Ada and C language source code – statement, decision and Modified Condition/Decision Coverage (MC/DC). Unlik...

AdaCore, a leading supplier of Ada language tools and support services, today announced the release of GNAT Programming Studio (GPS) 5.0. This new major version of AdaCore’s graphical Integrated Development Environment (IDE) offers enhanced support for C and C++, more powerful source editing, simpler use, and integration of GNATstack (a static analysis tool that determines a program’s maximum stack requirements). GPS is provided with GNAT Pro...

AdaCore, a leading supplier of Ada language tools and support services, today announced the release of GNAT Programming Studio (GPS) 5.0. This new major version of AdaCore’s graphical Integrated Development Environment (IDE) offers enhanced support for C and C++, more powerful source editing, simpler use, and integration of GNATstack (a static analysis tool that determines a program’s maximum stack requirements.) GPS is provided with GNAT Pro...

Ada-Europe, the international organisation that promotes the knowledge and use of the Ada programming language in European academia, research and industry, is pleased to announce The Ada Way. This annual student programming contest aims to attract students and educators to Ada in a form that is both fun and instructive. Entries are now open for the 2010-11 competition and judging takes place in May next year.

AdaCore, a leading supplier of Ada development tools and support services, today announced the launch of Ada Web Server (AWS) for Wind River’s VxWorks Real-Time Operating System (RTOS). When used in conjunction with the GNAT Pro development environment, AWS enables developers to embed an Ada-based web server within any application, accessible through web browsers. With AWS for VxWorks, users can connect through a direct TCP/IP link to board-lev...

The company secunet Security Networks AG, one of Germany’s largest IT security providers, announced today that it has adopted the SPARK Pro development environment. SPARK Pro, a Freely Licensed Open Source Software (FLOSS) product created by AdaCore and Altran Praxis, will be used by secunet as a strategic technology to build highly robust security-critical applications.

AdaCore, together with Altran Praxis, CEA LIST, Astrium Space Transportation, INRIA ProVal and Thales Communications today announced the start of the Hi-Lite project. Financially supported by the French Government and the Essonne general council, Hi-Lite is an Open Source project designed to increase the use of formal methods in developing high integrity software, particularly to meet the forthcoming DO-178C avionics standard. It will achieve thi...

AdaCore, a leading supplier of Ada development tools and support services, today announced the selection of SPARK Pro by Rockwell Collins for use on selected projects that have stringent security and information assurance requirements.

AdaCore, a leading supplier of Ada development tools and support services, today announced the first major release of its GNAT Pro High-Integrity Edition for MILS. The High-Integrity Edition for MILS (Multiple Independent Levels of Security) product is a specialised security application development environment supporting the creation and security certification of applications at the high end for EALs (Evaluation Assurance Levels) 5 through 7, as ...

SPARK Pro 9, announced today by AdaCore and Altran Praxis, provides a major step forward for developers creating safety critical and high assurance systems. The advanced open source development environment now features increased security functionality, including the ability to verify and assure Multiple Independent Levels of Security (MILS) within the same application as well as support for the latest SPARK2005 language profile.

AdaCore today announced that global display company Barco has developed an advanced business jet avionics display system using the AdaCore GNAT Pro Ada development environment. Barco selected the GNAT Pro High Integrity Edition , along with the Traceability Kit, running on Wind River's VxWorks 653 RTOS in order to meet the highest levels of safety standard DO-178B.

AdaCore 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 ...

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.

AdaCore, a leading supplier of Ada development tools and support services, today announced the release of CodePeer, a source code analysis tool that detects run-time and logic errors in Ada programs. Serving as an efficient and accurate code reviewer, CodePeer identifies constructs that are likely to lead to run-time errors such as buffer overflows, and it flags legal but suspect code typical of logic errors. Going well beyond the capabilities of...

AdaCore, a leading supplier of Ada tools and support services, today announced the release of GNAT Programming Studio (GPS) 4.4. This new version of AdaCore’s graphical Ada-oriented Integrated Development Environment (IDE) offers an improved user interface, faster performance and greater integration with AdaCore’s Project Coverage and SPARK Pro toolsets. GPS is provided with GNAT Pro on most platforms, for both native and embedded software de...

AdaCore, a leading supplier of Ada development tools and support services, today announced a new release of its Ada Integrated Development Environment (IDE) plug-in, GNATbench 2.3.1. This new release supports Workbench 3.1 and VxWorks 6.7, the latest versions of Wind River’s Eclipse-based IDE and real-time operating system, offering real-time/embedded systems developers a sophisticated Ada programming environment tightly integrated into the Win...