Bloomberg Anywhere Remote Login Bloomberg Terminal Request a Demo

Bloomberg

Connecting decision makers to a dynamic network of information, people and ideas, Bloomberg quickly and accurately delivers business and financial information, news and insight around the world.

Company

Financial Products

Enterprise Products

Media

Customer Support

  • Americas

    +1 212 318 2000

  • Europe, Middle East, & Africa

    +44 20 7330 7500

  • Asia Pacific

    +65 6212 1000

Communications

Industry Products

Media Services

Follow Us


September 03, 2015 7:42 PM ET

Software

Company Overview of AdaCore, Inc.

Company Overview

AdaCore, Inc. provides commercial software solutions for Ada, a programming language for applications. The company offers a range of tools and services for developing native and embedded mission-critical applications in Ada and mixed-language environments; tools that assist in the static verification of software properties; and solutions for code coverage, hardware virtualization technology, and unit test support. Its products include GNAT Pro, a Ada development environment; GNAT Pro Mixed Language that offers a range of multi-language solutions that allow programmers to write code in Ada, C, and C++ development environment; CodePeer that assesses a program for potential bugs before it is ex...

104 Fifth Avenue

15th floor

New York, NY 10011

United States

Founded in 1994

Phone:

212-620-7300

Fax:

212-807-0162

Key Executives for AdaCore, Inc.

Co-Founder and Vice President
Co-Founder and Vice President
Co-Founder and Managing Director
Co-Founder and Managing Director
Member of Core Technical Team
Compensation as of Fiscal Year 2015.

AdaCore, Inc. Key Developments

AdaCore Releases CodePeer 3.0

AdaCore released CodePeer 3.0, a major new version of its advanced static analysis tool for the automated review and validation of Ada source code. CodePeer 3.0 includes a variety of enhancements that help developers detect potential runtime and logic errors early in the software life cycle, and its deep analysis can directly support formal certification against industryspecific safety standards. Among the new benefits of CodePeer 3.0, tool qualification material for both the avionics and railway domains is available as a product option. For avionics applications CodePeer has been qualified as a Software Verification Tool under DO178B, a standard that is required by certification authorities such as the FAA in the U.S. In particular, CodePeer automates a number of verification activities defined in paragraph 6.3.4f of the DO178B standard. These activities include detecting errors such as values outside the bounds of an Ada type or subtype, buffer overflows, integer overflow or wraparound, division by zero, use of uninitialized variables, and floating point underflow. The DO178B qualification material available as an option with CodePeer 3.0 demonstrates that the tool performs these activities. CodePeer has also been qualified for EN50128, the high international standard for safety integrity concerning software for railway control and protection, including communications, signaling and processing systems. The EN50128 qualification material addresses the following: Boundary value analysis to detect attempts to dereference a pointer that could be null, values outside the bounds of an Ada type or subtype, buffer overflows, integer overflow or wraparound, and division by zero. Control flow analysis to detect suspicious and potentially incorrect control flows, such as unreachable code, redundant conditionals, loops that either run forever or fail to terminate normally, and subprograms that never return. Data flow analysis to detect suspicious and potentially incorrect data flows, such as variables that are read before they are written (uninitialized variables), variables written more than once without being read (redundant assignments), variables that are written but never read, and parameters with an incorrect mode. CodePeer 3.0 also adds many new features, including support for precise IEEE 754 floating point semantics, added flexibility in analyzing complex projects, improved support for legacy Ada compilers, more precise diagnostic messages, and a new check on parameter aliasing.

AdaCore Releases GNAT Pro 7.3

AdaCore released GNAT Pro 7.3, the latest version of the company's Ada Development Environment. GNAT Pro 7.3 incorporates performance improvements, new functionality, and many other enhancements. GNAT Pro includes a full Ada compiler, Integrated Development Environments - the GNAT Programming Studio (GPS) and the Eclipse-based GNATbench - a comprehensive toolset including a visual debugger, and an extensive set of libraries and bindings. GNAT Pro 7.3 incorporates upgraded technology for the back end (GCC 4.9) and debugger (GDB 7.8) and includes more than 175 new features, many of which are based on customer recommendations. Enhancements include the following: improved diagnostic messages, fine-grained control over the treatment of warnings, extended support for non-default endianness, a math library on bare-board platforms, designed for use in safety-certified systems, support for large files on 32-bit systems, improved handling of inlining, overflow checks enabled by default and enhanced code generation and debugging capabilities.

AdaCore Announces the Release of QGen 1.0

AdaCore, Inc. announced the release of QGen 1.0, a qualifiable and customizable 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. The tool is highly configurable due to its visible intermediate representation. QGen handles around 100 Simulink blocks. These were selected as a safe subset that guarantees predictable code generation patterns, does not require any run-time support, and allows for tool qualification against software safety standards. Support for Stateflow models is expected during late second quarter 2015. The tool's static model verifier detects run-time errors such as integer overflow and division by zero. It also can find logic errors such as dead execution paths, and verify functional properties through Simulink Assertion blocks. QGen can be integrated with AdaCore’s GNATemulator and GNATcoverage tools to support Processor-in-the-Loop (PIL) testing and structural coverage analysis without any code instrumentation.

Similar Private Companies By Industry

Company Name Region
Insite Objects, Inc. United States
MP2 Solutions, Inc. United States
CyTeam, Inc. United States
ToolWatch Corporation United States
Phoenix Age, Inc. United States

Recent Private Companies Transactions

Type
Date
Target
No transactions available in the past 12 months.
 

Stock Quotes

Market data is delayed at least 15 minutes.

Company Lookup

Most Searched Private Companies

Company Name Geographic Region
Lawyers Committee for Civil Rights Under Law United States
Bertelsmann AG Europe
NYC2012, Inc. United States
Rush University United States
Citizens Budget Commission United States

Sponsored Financial Commentaries

Sponsored Links

Report Data Issue

To contact AdaCore, Inc., please visit www.adacore.com. Company data is provided by Capital IQ. Please use this form to report any data issues.

Please enter your information in the following field(s):
Update Needed*

All data changes require verification from public sources. Please include the correct value or values and a source where we can verify.

Your requested update has been submitted

Our data partners will research the update request and update the information on this page if necessary. Research and follow-up could take several weeks. If you have questions, you can contact them at bwwebmaster@businessweek.com.