- Full support for Ada 2012

- More extensive analysis for race conditions

- Support for elaboration code and order

- More precise preconditions

- Improved handling of unused assignments

A WEBINAR presenting the new features of CodePeer 2.1 tool will take place on April 10th:
http://www.adacore.com/home/products/gnatpro/webinars/

For more information on CodePeer, please visit:

Compiler:

- Complete Ada 2012 support

- New controlled type implementation (better memory usage)

- New warnings and improved error messages

- Array processing and composite return values optimizations

Tools:

- Many new options and pretty-printing improvements in gnatpp

- Coupling metrics now available in gnatmetric

New Components:

- GNATtest (new Automatic Test Framework) to create and maintain a complete unit testing infrastructure based on AUnit for complex projects. It is based on a simple idea: each visible subprogram should have (at least) one corresponding unit test.

A WEBINAR presenting the new GNATtest tool will take place on March 20th:
http://www.adacore.com/home/products/gnatpro/webinars/

TOULOUSE, France, PARIS and NEW YORK, February 1, 2012 – ERTS Congress - AdaCore today announced its participation in ‘Project P’ and ‘Hi-MoCo’ (High-Integrity Model Compiler), two open-source research efforts supported and partly funded by the French and Estonian national governments and the European EUREKA agency. The combined projects, which started in October 2011, aim to provide an open-source, tunable and qualifiable code generation framework for domain-specific modeling languages. The key idea is to allow control engineers (using Simulink, Stateflow and Scicos/XCos), system engineers (using SysML/MARTE and AADL), and software engineers (using UML) to easily collaborate for system-level model integration, verification, and final optimized code generation targeting the Ada 2012, C/C++ and VHDL languages.

AdaCore, the technical coordinator of the projects, is working closely with the IB Krates team led by Tõnu Näks and members from IRIT (Institut de Recherche en Informatique de Toulouse) led by Marc Pantel, the principal architects of the ITEA GeneAuto project and technology on which Project P and Hi-MoCo are based. AdaCore, IB Krates, and IRIT will be the principal contributors to the code generation technology at the heart of the toolset being developed. Together with Frédéric Pothon of ACG Solutions and chair of the Tool Qualification subgroup of the DO-178C committee, the three companies will play a major role in the cross-domain qualification effort spanning the avionics, space, and automotive domains. AdaCore’s expertise in developing and supporting the certification/qualification of tunable, open-source commercial-of-the-shelf (COTS) components and tools that meet safety and reliability certification standards such as DO-178 (avionics) and ECSS-E-ST-40 (space) will be especially relevant.

“The ultimate goal of these projects is to end the segregation between the control, system and software engineers,” said Franco Gasperoni, Managing Director of AdaCore. “A major bottleneck in the model-driven development of software for avionics, space, and automotive systems is the integration of heterogeneous models and the lack of comprehensive verification and code generation technologies. Project P and Hi-MoCo aim to solve this problem by developing an open-source, tunable and qualifiable code generation framework for heterogeneous models, while making cross-domain qualification material available.”

“The current state-of-the-art is to perform integration on generated sources,” concluded Matteo Bordin, project manager of the Project P and Hi-MoCo efforts at AdaCore. “We are proposing to do this at the model level to verify integration issues well before models are mature enough for code generation.”

About Project P
Project P is a three-year research project financially supported within the French FUI 2011 funding framework. Headed by Continental Automotive France, it involves the collaboration of 19 partners, including major industrial users from the avionics, automotive and space domains (Airbus, Astrium, Continental Automotive, Rockwell Collins, Safran, Thales Alenia Space and Thales Avionics), technology providers (AdaCore, Altair, STInformatique, Scilab Enterprise), service companies (ACG Solutions, Aboard Engineering, Atos Origins) and research centers (ENPC, IRIT-INPT/CNRS, INRIA, ONERA, Lab-STICC/Université de Bretagne Sud). Additional information can be found at http://www.open-do.org/projects/p.

About Hi-MoCo
Hi-MoCo is a two-year research project financially supported within the Eurostar 2011 funding framework. It supports the collaboration of IB Krates (Estonia), IRIT, and AdaCore.

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 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. The SPARK Pro toolset, available from AdaCore, is especially useful in such contexts.

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

Press Contacts

press@adacore.com
http://twitter.com/AdaCoreCompany

Jessie Glockner
Rainier Communications (for AdaCore)
Tel: 508-475-0025 x140
adacore@rainierco.com
http://twitter.com/JessieGlockner
]]> http://www2.adacore.com/2012/02/01/project-p-and-hi-moco/feed/ 0 http://www2.adacore.com/2012/02/01/adacore-launches-gnattest/ http://www2.adacore.com/2012/02/01/adacore-launches-gnattest/#comments Wed, 01 Feb 2012 10:30:50 +0000 AdaCore http://www2.adacore.com/?p=13769 Unit test harness generator reduces test development effort for large software projects

TOULOUSE, France, PARIS and NEW YORK, February 1, 2012 – ERTS Congress - AdaCore, provider of Ada tools and expertise for the mission-critical, safety-critical, and security-critical software communities, today announced the immediate availability of the GNATtest unit test harness generator for Ada. The GNATtest tool helps automate the essential, but tedious and error-prone, processes for developing and managing the large number of test cases that accompany the verification of large software systems.

The task of writing and managing unit tests and their invocation framework is critical to the development of high-reliability software, but it is repetitive and cumbersome for large projects, and error-prone when done manually. Changes to the application software during development and maintenance, such as adding a subprogram to a package (module) or changing a subprogram’s specification (interface), require corresponding modifications to the test suite and its invocation harness. GNATtest addresses this issue by automatically creating and maintaining the harnessing code, as well as the unit test skeletons for each subprogram to be tested, taking into account all Ada semantics (subprogram overloading, visibility, etc.). The developer can thus focus on the high-value task of writing the actual test cases.

“At AdaCore, we emphasize the principle that developing critical software can be done more efficiently by combining rigor with the use of agile methods,” said Cyrille Comar, Managing Director of AdaCore. “This requires continuous testing, and a tool like GNATtest is essential for keeping quickly evolving software in sync with its unit tests.”

GNATtest is a valuable tool for developing all kinds of software, whether host-based or embedded, across the entire spectrum of application domains, and fits in smoothly with modern development approaches such as agile methods. It is especially valuable in systems requiring high levels of reliability, safety, and/or security, as it simplifies the effort required to implement test procedures and produce test cases that meet the objectives of certification standards such as DO-178B and DO-178C. These standards emphasize requirements-based testing as a critical part of the software verification process. Since individual subprograms often directly implement low-level requirements, the test harness and skeletons generated by GNATtest can become an immediate part of the application’s certification evidence. When combined with a coverage technology such as GNATcoverage, GNATtest offers a unique solution for verifying embedded Ada software.

For developers who are using the more advanced features of the Ada language, GNATtest handles object-oriented programs and can help verify type substitutability (known as the Liskov Substitution Principle) as required by DO-178C’s supplement on Object-Oriented Technology and Related Techniques (DO-332). GNATtest also takes advantage of Ada 2012 programming-by-contract capabilities, such as preconditions, postconditions and invariants.

GNATtest is included in GNAT Pro and supports all versions of Ada and all target configurations. It is based on, and replaces, the earlier AUnit technology.

Webinar
A webinar presenting unit-testing strategies using GNATtest and GNATcoverage will be held on Tuesday, March 20. For more information and/or to register, please visit: http://www.adacore.com/home/products/gnatpro/webinars/

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 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. The SPARK Pro toolset, available from AdaCore, is especially useful in such contexts.

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

Press Contacts

press@adacore.com
http://twitter.com/AdaCoreCompany

Jessie Glockner
Rainier Communications (for AdaCore)
Tel: 508-475-0025 x140
adacore@rainierco.com
http://twitter.com/JessieGlockner
]]> http://www2.adacore.com/2012/02/01/adacore-launches-gnattest/feed/ 0 http://www2.adacore.com/2012/01/19/autumn-2011/ http://www2.adacore.com/2012/01/19/autumn-2011/#comments Thu, 19 Jan 2012 14:46:00 +0000 AdaCore http://www2.adacore.com/?p=13711

NEW YORK, PARIS, and LEXINGTON, Mass., January 10, 2012 – AdaCore, a leading supplier of Ada development tools and support services, today announced a merger with SofCheck, Inc., a Lexington, Massachusetts-based automated software quality (ASQ) company. SofCheck’s staff has joined the AdaCore technical team, and SofCheck Founder Tucker Taft has been named as AdaCore’s Director of Language Research. AdaCore has acquired SofCheck’s products, including static error detection tools, the AdaMagic compiler front end technology, and also ParaSail, a new Parallel Specification and Implementation Language intended for high-reliability applications on multicore target platforms.

AdaCore and SofCheck personnel share a long and direct involvement in the design of the Ada programming language, and the two companies have specialized in software development tools that nicely complement each other. AdaCore’s major product is GNAT Pro, a development environment especially suited for long-lived systems with requirements for reliability, safety, and/or security. SofCheck’s advanced static analysis technology fits in smoothly with GNAT Pro, and prior to the merger the two companies jointly developed AdaCore’s CodePeer product, an efficient and accurate code reviewer that incorporates the SofCheck static analysis engine.

“AdaCore and SofCheck have worked towards common goals for a very long time,” said Tucker Taft, SofCheck’s Chairman and Founder. “This merger is a natural next-step for both our companies: the whole SofCheck team is very excited to be joining up with AdaCore where together we can continue adding capabilities to the industry-leading CodePeer static analysis technology, while creating new offerings for customers building and certifying high-integrity software as they move into the multicore era.”

“Our complementary skills, shared history, and dedication to the software engineering principles supported by the Ada programming language have made this merger a positive, seamless experience for both companies,” said Robert Dewar, AdaCore President and CEO. “We particularly welcome Tucker’s addition to AdaCore’s existing team of experts, which will help us move forward with our joint goal of improving software engineering capabilities for developers of safe, secure, and highly-reliable software applications.”

About SofCheck
Founded by a team of internationally recognized leaders in the development of programming languages and compiler technology, SofCheck has focused principally on the automated software quality (ASQ) domain for its products and services. The company’s tools have enabled software development organizations to build critical systems efficiently, through automated, advanced static error detection without unit testing or style checking. SofCheck has also developed a reusable Ada compiler front end technology that can be easily integrated into software tools. SofCheck Founder Tucker Taft was the lead designer of Ada 95 and a major contributor to the Ada 2005 and Ada 2012 language revisions. Recently, he has been working on the design of the ParaSail language.

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 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. The SPARK Pro toolset, available from AdaCore, is especially useful in such contexts.

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

Press Contacts

press@adacore.com
http://twitter.com/AdaCoreCompany

Jessie Glockner
Rainier Communications (for AdaCore)
Tel: 508-475-0025 x140
adacore@rainierco.com
http://twitter.com/JessieGlockner
]]> http://www2.adacore.com/2012/01/10/adacore-sofcheck-merge/feed/ 0