46 rue d’Amsterdam

75009 Paris

Phone: +33 1 49 70 67 16

Fax: +33 1 49 70 05 52


AdaCore articles

Displaying 1 - 20 of 50

Sponsorship of High Integrity Software Conference renewed

Sponsorship of High Integrity Software Conference renewed
A renewed sponsorship of the annual High Integrity Software Conference has been announced by AdaCore and Altran, which will take place in Bristol on 1st November 2016. Following a successful conference in 2014 and 2015, organisers the University of Newcastle, AdaCore and Altran have once again compiled a complete technical programme to be delivered by prominent academic and industrial experts, covering topics including security, autonomy, standards and techniques and tools.
21st September 2016

Programming competition with €5000 top prize

Programming competition with €5000 top prize
  The launch of the programming competition, Make with Ada, has been announced by AdaCore. It is a contest that aims to help the embedded software community improve the quality of their code by encouraging the use of the Ada and SPARK programming languages.
22nd June 2016

Model-based development & verification toolset updated

AdaCore has released the latest version of its model-based development and verification toolset, QGen. QGen provides a qualifiable and customisable code generator from Simulink and Stateflow models to the safety-oriented programming languages SPARK (a formally analysable Ada subset) and MISRA C. QGen 2.1 supports essentially all constructs used for modelling safety-critical control systems.
15th February 2016

Code generator can handle 100 Simulink blocks

AdaCore has released QGen 1.0, a qualifiable and customisable code generator and model verifier for Simulink and Stateflow models. This tool can generate MISRA C and SPARK source code producing readable, traceable, and efficient code. It is particularly suited for developing and verifying high-integrity real-time control applications, especially where safety certification is required.
1st March 2015

Open code generation tool cuts design time & effort

Open code generation tool cuts design time & effort
During the last 10 years, model-based design environments have proved to be a significant innovation for developers of embedded control software. However, in safety-critical domains such as avionics, rail, and automotive systems, current off-the-shelf approaches raise several issues with respect to software verification.
27th January 2015

Analysis tool gets thumbs-up for avionics, rail industries

AdaCore’s CodePeer advanced static analysis tool for the automated review and validation of Ada source code has been qualified as a software verification tool for developers in both avionics and railway industries. CodePeer assesses the program before execution to find errors efficiently and early in the development life cycle. Using advanced mathematics, it analyses every line of software, considering every possible input and every path through the program.
24th October 2014

AdaCore to sponsor inaugural software engineering conference

Along with partner Altran, AdaCore will be sponsoring the inaugural High Integrity Software Conference (HIS), taking place in Bristol on the 23rd October 2014. HIS 2014, which is one day long, is a conference for sharing information about key challenges and recent developments within software engineering.
4th September 2014

Development & verification environment supports SPARK 2014

Development & verification environment supports SPARK 2014
Offering an integrated approach to the entire software development and verification lifecycle, Altran and AdaCore have released SPARK Pro 14.0. The integrated development and verification environment provides users with more powerful and easier to use tools that support the latest version of the SPARK language, SPARK 2014. The product brings software specification, coding, testing and unit verification by proof within a single integrated framework.
2nd May 2014

Cross-development environment targets processors running Android

GNAT Pro 7.2, for ARM Cortex processors running Android, is the latest Ada cross-development environment from AdaCore. The GNAT Pro product, hosted on Windows and Linux, comprises a complete Ada toolsuite for developing and maintaining Android applications using a mixture of Ada and Java. 
2nd April 2014

Development environment now offers support for ARM/Linux

GNAT Pro 7.2, the latest cross-development environment from AdaCore, extends support to ARM processors running Linux. This GNAT Pro ARM product provides a complete Ada development environment oriented towards embedded systems that require the flexibility and extensive services provided by Linux. Developers of such systems can now exploit the software engineering benefits of the Ada language, including reliability, maintainability, and portability.
28th February 2014

Upgraded tool assess bugs before program execution

Assessing potential bugs before program execution, CodePeer 2.3 is the latest version of AdaCore's static analysis tool for the automated review and validation of Ada source code. The tool is able to find errors efficiently and early in the development life cycle.
7th February 2014

Analysis tool updated to include hardware probe functionality

Supporting all levels of safety certification, GNATcoverage 1.2 is the leatest version of AdaCore's source and object code coverage analysis tool. The release includes supports usage with an iSystem hardware probe generating Nexus trace data, as well as usage with Valgrind on Linux.
5th February 2014

AdaCore Brings Ada to Wind River Linux

AdaCore today announced the availability of the GNAT Pro Ada development environment on the Wind River Linux platform. This new implementation continues a long, successful relationship between AdaCore and Wind River, marked by hundreds of joint customers worldwide, and brings the Ada language’s reliability benefits to the increasingly popular Wind River Linux platform.
2nd July 2013

Astrium Selects AdaCore’s GNAT Pro and PolyORB for International Space Station

AdaCore announced that Astrium, a wholly owned subsidiary of EADS, has selected AdaCore’s GNAT Pro development environment and PolyORB middleware toolset for use in the Core Ground System - CGS forms the basis to operate the Columbus laboratory, the European contribution to the International Space Station. The CGS ensures efficient communication across a network of User Support and Operation Centres distributed throughout Europe.
12th June 2013

AdaCore Announces Successful Completion of Project Hi-Lite

AdaCore and its research partners today announced the successful completion of Project Hi-Lite, a three-year, €3.9 million effort aimed at popularising formal methods in the development of high integrity software by combining formal verification and testing.
30th May 2013

Are High Reliability Applications Safe?

We increasingly rely on systems where an error could cause financial disaster, organisational chaos, or in the worst case, death. Could the mandatory use of open source software improve safety and security in High Reliability applications? Robert Dewar, Co-founder and President of AdaCore, explores this question in detail in this insightful article from ES Design magazine.
9th May 2013

AdaCore Releases Major New Version of CodePeer Static Analysis Tool

AdaCore today announced the release of CodePeer 2.2, the advanced static analysis tool that helps developers detect potential run-time and logic errors in Ada programs. CodePeer is able to find non-trivial problems by systematically analyzing every possible input and path through the program, and can be employed very early in the development cycle to identify defects when they are the least costly to repair.
23rd April 2013

AdaCore Releases GNAT Pro 7.1

AdaCore today announced the availability of GNAT Pro 7.1, a major new version of the company’s flagship development environment. This release incorporates a number of enhancements, many based on user suggestions, including several Ada language related features, run-time improvements, and new and enhanced tools.
23rd April 2013

AdaCore Releases GNAT Pro Safety-Critical For ARM Processors

AdaCore today announced the availability of its GNAT Pro Safety-Critical product for ARM Cortex micro-controllers. This bareboard GNAT Pro Safety-Critical product provides a complete Ada development environment, oriented towards systems that are safety-critical or have stringent memory constraints. Developers of such systems can now exploit the software engineering benefits of the Ada language, including reliability, maintainability, and portability.
20th March 2013

GNAT Pro Safety-Critical used by Terma A/S for Space Monitor Project

AdaCore today announced that Terma A/S has selected the GNAT Pro Safety-Critical development environment to develop onboard software for the Atmosphere-Space Interactions Monitor that will be mounted on the Columbus module of the International Space Station. Terma will use GNAT Pro Safety-Critical combined with the GNATemulator and GNATcoverage dynamic testing tools to develop and test the application prior to deployment on the actual LEON 3 embedded processor.
17th December 2012

Sign up to view our publications

Sign up

Sign up to view our downloads

Sign up

Wearable Technology Show 2017
7th March 2017
United Kingdom ExCel, London
embedded world 2017
14th March 2017
Germany Nürnberg Messe
electronica China 2017
14th March 2017
China Shanghai New International Expo Centre
Southern Manufacturing
21st March 2017
United Kingdom FIVE, Farnborough
Microwave & RF 2017
22nd March 2017
France Paris expo Porte de Versailles