Bloomberg the Company & Products

Bloomberg Anywhere Login

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


May 05, 2015 2:33 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, Chief Executive Officer and President
Co-Founder and Vice President
Co-Founder and Vice President
Co-Founder and Managing Director
Co-Founder and Managing Director
Compensation as of Fiscal Year 2014.

AdaCore, Inc. Key Developments

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.

AdaCore Launches GNATdashboard a New Tool to Serves as a Control Panel for Monitoring and Improving the Quality of Ada Software

AdaCore announced the preview release of GNATdashboard, a new tool that serves as a control panel for monitoring and improving the quality of Ada software. GNATdashboard feeds code quality information from AdaCore's tools to the open source SonarQube code quality management platform and Squoring Technologies' SQUORE quality and performance decision support solution. GNATdashboard integrates and aggregates the results of AdaCore's various static and dynamic analysis tools within a common interface, helping quality assurance managers and project leaders understand or reduce their software's technical debt, and eliminating the need for manual input. It fits naturally into a continuous integration environment, providing users with metrics on code complexity, code coverage, conformance to coding standards, and more.

Similar Private Companies By Industry

Company Name Region
Gamebase USA, LLC United States
FinancialOxygen, Inc. United States
BusinessTech, Inc. United States
ConnectWise, Inc. United States
Senior Systems, 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
NYC2012, Inc. United States
Bertelsmann AG Europe
Rush University United States
Greater Houston Partnership 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.