AdaCore is Platinum sponsor of this event. Johannes Kanig will give a talk entitled, "Integrating Formal Program Verification with Testing". 

Johannes Kanig and David Lesens (Astrium Space Transportation) are presenting, "Formal Validation of Aerospace Software".

AdaCore is lead sponsor of this event. Tucker Taft is presenting an Ada 2012 tutorial and Robert Dewar will give a talk entitled "I'm as Mad as Hell, and I'm Not Going To Take This Anymore!".

AdaCore is exhibiting at this conference (booth #719). Tucker Taft will present the paper, "Systems Programming in the Distributed, Multicore World with Go, Rust, and ParaSail" and Ben Brosgol will give a talk entitled "Object-Oriented Programming for High-Integrity Systems: Pitfalls and How to Avoid Them". 

The research project is taking a proven design and generating a fully assured code implementation, starting from a single vehicle system component. The aim is to use SPARK Pro technology to prove that the software can be produced free of run-time exceptions under all operating conditions, as a first step to composing larger ultra-low-defect systems. Alternative approaches using conventional software development methods have fundamental limitations. Testing can only provide evidence for a limited set of conditions, and static analysis performed on existing code to check for vulnerabilities, or other errors, does not address the underlying problem of preventing the errors in the first place. Using the SPARK language, toolset and methods solves this basic issue and will provide a clear competitive advantage for this component.

About SPARK
SPARK is a programming language that supports the precise specification of design or requirements in source code using a notation for formal contracts, including pre-conditions and post-conditions for subprograms, and inter-module information flow dependencies. The SPARK Pro toolset can then be used to verify that the software correctly implements the design, or meets its requirements, by verifying that the source code logic complies with the specified contracts. 

SPARK can be used both to precisely express system requirements and to define an executable implementation, which can be formally shown to meet those requirements. Correctness can thus be demonstrated from the start, and maintained incrementally as the system evolves. This is a vastly different approach, and much more reliable, than developing a system and then using tests or static analysis to reduce the number of errors introduced in earlier life-cycle phases.

About SPARK Pro
SPARK Pro, a product jointly developed by Altran and AdaCore, provides a state-of-the-art language and toolset for engineering high-assurance software. It combines Altran’s SPARK language and verification tools with AdaCore’s GNAT Programming Studio (GPS) and GNATbench Integrated Development Environments. There are SPARK versions based on Ada 83, Ada 95, and Ada 2005, so all standard Ada compilers and tools work out-of-the-box with SPARK.

The SPARK Pro language and toolset is specifically designed for developing applications where correct operation is vital for safety or security. It offers static verification that is unrivalled in terms of its soundness (no “false negatives”), low false-alarm rate, depth and efficiency. The toolset generates evidence for correctness, including proofs of the absence of run-time errors that can be used to meet the requirements of safety and security certification schemes, such as ISO 26262, DO-178B, DO-178C and the Common Criteria. SPARK Pro is especially applicable in the context of the Formal Methods supplement to DO-178C.

About TOYOTA InfoTechnology Center Co., Ltd.
TOYOTA InfoTechnology Center Co., Ltd. provides cutting-edge technology and creates value with superior intelligence and greater innovation throughout the IT business related to automobiles. TOYOTA ITC as a whole has as its objective the development of advanced, world-class information technologies to meet market needs. This includes the research, development and evaluation of technologies, hardware and software research, analysis and planning of market and business models, and the management of intellectual property rights.

TOYOTA ITC has North America headquarters in Mountain View, CA and the main office in Tokyo, Japan. www.toyota-itc.com

About Altran
Altran is a leading-edge engineering consultancy that enables UK business to work smarter – from making critical national infrastructure work safely, to bringing products and services to market quickly for the automotive, aerospace and life sciences industries. Altran has in-depth expertise in embedded and critical systems, product lifecycle management and engineering services. We have a global network of over 20,000 employees operating throughout more than 20 countries, and 500 major clients. Altran leads the world in specific areas of advanced systems engineering and innovation such as ultra-low defect software engineering, Human Machine Interface (HMI), safety engineering for complex or novel systems and tools/methods for systems engineering. www.altran.co.uk

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, railway 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

Press Contacts

Jamie Ayre
AdaCore
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

Owen Burdekin
Altran
Tel: +44 (0) 203 117 0714
owen.burdekin@altran.com

CodePeer is fully integrated into the GNAT Pro development environment and comes with a number of complementary static analysis tools common to the technology – a coding standard verification tool (GNATcheck), a source code metric generator (GNATmetric), a semantic analyzer and a document generator.

CodePeer 2.2 introduces many improvements, driven by customer feedback, including:

• Integration into GNATbench, the GNAT Pro Ada plug-in for Eclipse and Wind River Systems Workbench
• Full support for GNAT project files
• Message review from HTML reports
• New “–level” switch to easily tune CodePeer messages and analysis time for any kind of code base
• More accurate analysis of math functions and floating point computations
• Export of messages to spreadsheets

“CodePeer 2.2 brings users an extra level of flexibility through interfaces to Eclipse, spreadsheets, and full HTML capabilities,” said Arnaud Charlet, CodePeer Product Manager at AdaCore. “This new release now provides solutions for the full range of Ada projects, including those with requirements for the highest levels of integrity and certification, as well as systems with large and complex code bases.”

Demonstration
A pre-recorded demo presented by Quentin Ochem introducing the latest CodePeer 2.2 features is currently available online. Please visit:  http://www.adacore.com/knowledge/demos/codepeer-2-2

About CodePeer
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 typical static analysis tools, CodePeer also produces a detailed analysis of each subprogram, including pre- and post-conditions. Such an analysis makes it easier to find potential bugs and vulnerabilities early: if the implicit specification deduced by CodePeer does not match the component’s requirements, a reviewer is alerted immediately to a likely logic error. During system development, CodePeer can help prevent errors from being introduced, and it can also be used as part of a systematic code review process to dramatically increase the efficiency of human review. Furthermore, CodePeer can be used retrospectively on existing code, to detect and remove latent bugs.

Pricing and Availability
CodePeer is immediately available. Please contact AdaCore (sales@adacore.com) for information on pricing and supported configurations.

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 open source 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 space-based systems, 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

Jamie Ayre
AdaCore
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

SAN JOSE, Calif., NEW YORK and PARIS, April 23, 2013 – Design West Conference –  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. As with all AdaCore products, GNAT Pro is Freely-Licensed Open Source Software (FLOSS).

The language related features in GNAT Pro 7.1 include updated and improved support for the Ada 2012 language revision, a new facility for automatic data endianness conversion, and support for dimensionality checking. Extended overflow check support and lock-free protected objects have been incorporated as run-time improvements, and the compiler technology has been migrated to the GCC 4.7 back-end.

New and enhanced tools that aid in all stages of the development of complex, multi-language software are also a major part of the GNAT Pro 7.1 release. These include the powerful and easy to use GPRBuild 2.0 tool that automates the construction of multi-language software, the GDB 7.5 debugger and new rules in the GNATcheck coding standard verification tool. GNAT Pro 7.1 also includes a major new release of AdaCore’s high-level graphical toolkit GtkAda, which provides a secure, user-friendly and extensible toolkit based on Gtk+. GtkAda 3 brings new widgets, a CSS based theming framework, and an improved application programming interface (API) that is more intuitive and that incorporates a more homogenous naming scheme.

“As usual, the new GNAT Pro release brings a combination of advantages: extreme stability for existing users, support for an increasingly wider range of platforms and targets, significant performance enhancements, and a wealth of new capabilities and features,” said Cyrille Comar, Managing Director of AdaCore. “The most striking new feature, support for automatic data endianness conversion, is already a customer favorite; who said that silver bullets were mythical?”

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 all new features in Ada 2012. GNAT Pro is based on the widely used GCC technology and is backed by rapid and expert support service.

Pricing and Availability
GNAT Pro 7.1 is available immediately on most supported platforms. Please contact AdaCore (sales@adacore.com) for further details on pricing and supported configurations.

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 open source 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 space-based systems, 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

Jamie Ayre
AdaCore
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

Matteo Bordin and Robertus Vingerhoeds will present the paper "Open Qualification Material Approach in the Project P".

Ben Brosgol will deliver  a talk entitled "Object-Oriented Programming for High-Integrity Software: Local Type Consistency Verification without Tears".

AdaCore is exhibiting at this event.

AdaCore is exhibiting at this event- hall 4, booth # 544f . Johannes Kanig will give a talk entitled "Integrating Formal Program Verification with Testing"

NEW YORK, PARIS and NUREMBERG, Germany, February 27, 2013 – Embedded World Conference – 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.

ARM processors are becoming more and more prevalent in the aerospace, defense, and transportation industries. This is due in large part to the vibrant support ecosystem that ARM enjoys, and to the growing popularity of these low-cost, low-power microprocessors.

The ARM platform adds to the GNAT Pro Safety-Critical product offering, which is already available for PowerPC and LEON boards, allowing easy portability among all three platforms. The technology does not require any underlying operating system, so it can be deployed on very small memory boards. The tool suite includes the following:
• Support for Ada 2012 (including the important “contract-based programming” features that make it easier to reflect the program’s intent) and all earlier versions of the Ada language
• Support for the Ravenscar tasking profile
• A set of static analysis tools
- GNATstack stack analysis tool
- GNATmetrics complexity metrics tool
- GNATcheck coding standard verification tool
• The GNATtest unit test harness generator
• The GDB visual debugger
• A native Integrated Development Environment (IDE) as well as an Eclipse plug-in

GNAT Pro Safety-Critical for bareboard ARM supplies a fully configurable / customizable run-time library and implements High-Integrity profiles that are especially relevant to safety-critical systems. The Zero Footprint Profile (ZFP) in particular defines an Ada subset that does not require any run-time routines, thus reducing the memory footprint to user code only.

“This new offering shows our commitment to providing a complete safety-oriented development toolset on a large range of targets,” stated Cyrille Comar, Managing Director of AdaCore. “This allows customers to benefit from the richness of the hardware platforms used by the wider market beyond safety-critical systems”

About GNAT Pro Safety-Critical
GNAT Pro Safety-Critical is a complete development environment for applications that need to meet the highest levels of safety-related standards found in industries such as aeronautics, space, railway, defense and medical systems. The product consists of the full GNAT Pro environment enhanced with a suite of tools — specifically GNATcheck, GNATmetric, and GNATstack — and specialized run-time libraries designed for usage in a safety certification context.

Owing to both the product’s technical features and the Ada language’s software engineering foundations, GNAT Pro Safety-Critical facilitates formal compliance with domain-specific safety standards. In addition to supporting RTCA DO-178B / DO-178C (also known as EUROCAE ED-12B / ED-12C), GNAT Pro Safety-Critical can help reduce the effort in certifying systems against standards such as DEF STAN 00-55 / 00-56 (defense), DO-278 / DO-278A (ground-based systems), CENELEC EN 50128 (rail) and ECSS-E-ST-40C / ECSS-Q-ST-80C (space).  GNAT Pro Safety-Critical has been used to develop systems that have been certified to DO-178B Level A.

Pricing and Availability
GNAT Pro Safety-Critical for ARM processors is immediately available. Please contact AdaCore (info@adacore.com) for information on pricing and supported configurations.

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

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

PARIS and NUREMBERG, Germany, February 28, 2012 – Embedded World Conference – AdaCore, a leading supplier of Ada development tools and support services, together with Wind River, a world leader in embedded and mobile software, today announced the availability of joint education and mentoring services in Europe. A natural extension to an already successful technology partnership, specialized training courses will allow customers to enhance the efficiency of their embedded system development.

The four-day training courses are provided by both AdaCore and Wind River technical experts and allow customers to learn how to best use the full development environment to build Ada and mixed-language Ada/C systems on the VxWorks platforms. Courses include:

- “GNAT Pro for VxWorks General Purpose Platform (GPP)” provides essential knowledge of how to use the Ada language and the GNAT Pro tool-chain in a VxWorks GPP environment.
- “GNAT Pro Safety-Critical for VxWorks Cert” describes how to use the GNAT Pro Safety-Critical environment on a VxWorks 6 Cert platform.
- “GNAT Pro Safety-Critical for VxWorks 653” describes how to use the GNAT Pro Safety-Critical environment on a VxWorks 653 platform.

Each course explains and uses dedicated language features, development techniques, and analysis tools specific to the VxWorks platforms and combines theory with practical lab exercises.

Through mentoring, customers have direct access to AdaCore and Wind River experts who will come onsite and help them to optimize the use of the products in the context of their project.

"GNAT Pro on Wind River platforms is an integrated solution, supported by two partner companies with extensive experience building joint products," said Michael Friess, Sales and Business Development Manager at AdaCore. "Joint training and onsite mentoring are the latest pieces in a cohesive offer ensuring that our customers are supported by toolchain and operating systems experts from day one."

These new offers are available immediately and customers should contact their AdaCore or Wind River sales or support organizations, or visit www.adacore.com/training, for more information.

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

twitter.com/AdaCoreCompany

AdaCore is a major sponsor of this event and will be exhibiting. Robert Dewar will present the paper "Testing and Proving: Strange bedfellows?"

AdaCore will give the following presentations: 

- "Simplifying the use of Formal Methods" and "Ada on Android" Jose Ruiz. 

- "Compile- Time Dimensionality Checking" Valentine Reboul.