July 22, 2017 3:29 PM ET

Software

Company Overview of Ada Core Technologies, Inc.

Company Overview

Ada Core Technologies, Inc. provides development and verification software solutions for Ada, a programming language for applications. It offers GNAT Pro, an Ada development environment; GNAT Pro Mixed Language, a solution that allows programmers to write code in Ada, C, and C++; GNAT Pro Safety-Critical, a solution to address the programming challenges and requirements; and GNAT Pro High-Security, a solution to meet high-security requirements of top evaluation assurance levels (EAL). The company also provides QGen, a tool for code generation and model verification; CodePeer, a solution for automated code review and validation; and SPARK Pro, a tool that prevents, detects, and eliminates def...

150 West 30th Street

16th floor

New York, NY 10011

United States

Founded in 1994

Phone:

212-620-7300

Fax:

212-807-0162

Key Executives for Ada Core Technologies, 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 2017.

Ada Core Technologies, Inc. Key Developments

MHI Aerospace Systems Corporation Selects AdaCore’s QGen for Model-Based Development

AdaCore announced that MHI Aerospace Systems Corporation (MASC) has selected the QGen toolset to develop the software for the Throttle Quadrant Assembly (TQA) system. This avionics research project is being conducted to meet the Level C objectives in the DO-178C safety standard for airborne software and its DO-331 supplement on Model-Based Development and Verification. The use of a qualified code generator can help save significant effort in developing and verifying the software, and the future availability of qualification material from AdaCore factored strongly in MASC’s decision to choose QGen. The QGen code generator can be qualified at the highest Tool Qualification Level, TQL-1 (equivalent to a development tool in DO-178B). QGen’s qualifiable and customizable code generator processes a safe subset of Simulink® and Stateflow® models and generates optimized source code in the safety-oriented programming languages SPARK (a formally analyzable Ada subset) and MISRA C. QGen incorporates static model verification, processor-in-the-loop (PIL) testing on a real target or through emulation on the host robust, and powerful model-level debugging support for back-to-back testing between simulation and target execution.

AdaCore Releases New Versions of GNAT Pro, CodePeer, QGen and SPARK Pro

AdaCore announced the release of the latest version of its four major products: GNAT Pro 17.1 [2], a development environment for Ada and C, on native and cross platforms; CodePeer 17.1 [3], a deep static analysis tool for Ada that can identify bugs and vulnerabilities both during development and retrospectively on existing code bases; QGen 17.1 [4], a model-based development and verification toolset for Simulink® and Stateflow® models, which generates code in MISRA-C or SPARK; and SPARK Pro 17.1 [5], a verification environment that brings mathematics-based assurance to high-integrity software. GNAT Pro includes a full-featured build toolset for Ada and C, Integrated Development Environments (the GNAT Programming Studio (GPS [6]) and the Eclipse-based GNATbench [7]), a comprehensive suite of tools (a visual debugger, a coding standard checker, etc.), and an extensive set of libraries and bindings. The GNAT Pro 17.1 release, based on GCC 6 and GDB 7.10, includes improved debugger support under GPS, a better algorithm for Ada elaboration order, enhancements to the GPRbuild multi-language build tool, better integration of GNATtest and GNATcoverage, an implementation of the extended Ravenscar profile on bare metal targets, and support for SMP on leon3. CodePeer is an Ada source code analyzer that detects run-time and logic errors, including a number of weaknesses among the Common Weakness Enumeration (CWE) Top 25 Most Dangerous Software Errors. CodePeer 17.1 provides improvements in the handling of “false alarms”, more precise diagnostic messages, and a variety of user interface enhancements. The tool has been designated as “CWE Compatible” in the MITRE Corporation’s Common Weakness Enumeration Compatibility and Effectiveness Program. QGen is a qualifiable and tunable code generator and model verification toolsuite for a safe subset of Simulink® and Stateflow models, particularly oriented towards real-time control software in safety-critical systems. QGen 17.1 includes a model-level debugger that is unique in the industry, allowing synchronized views and execution control between the model and the generated code. QGen 17.1 also includes support for Processor-in-the-Loop (PIL) testing, an enhanced user interface, improved code generation, and the implementation of additional blocks. All V17.1 products are available now.

AdaCore Releases QGen 17.1 for Model-Based Development and Verification

AdaCore released QGen 17.1, the latest version of its model-based development and verification toolset. QGen bridges the gap between control engineering and software engineering, helping customers in the automotive and aerospace industries, as well as other safety-critical software-intensive domains, take full advantage of model-based development while retaining the low-level control necessary to achieve full integration with target hardware. QGen’s qualifiable and customizable code generator processes a safe subset of Simulink® and Stateflow® models and generates source code in the safety-oriented programming languages SPARK (a formally analyzable Ada subset) and MISRA C. QGen 17.1 incorporates an updated user interface, support for additional Simulink® blocks, an efficient and user-friendly set of compatibility checkers, and robust and powerful model-level debugging support for back-to-back testing between simulation and target execution. QGen 17.1 is compatible with MATLAB versions 2009b through 2016b. Using the GNAT Programming Studio (GPS) IDE, developers can debug not only “pure” Simulink® and Stateflow® models but also applications that combine manually prepared and auto-generated code. If a breakpoint is set on an individual block, the debugger will automatically set a breakpoint at the corresponding statement in the generated code. The debugger displays a full, graphical view of the Simulink® model, showing the values of signal variables as they are updated during execution. Signal values can be overridden by hand for testing purposes, to force the model into states that might be tedious to reach otherwise. The generated SPARK/Ada or MISRA C code can always be displayed side-by-side with the model, and the developer can easily jump back and forth between a point in the model and the corresponding position in the source code. The debugger can execute the program one step at a time, either at source-code level or block level, and can cross between auto-generated code and user-written code. QGen has been designed to be qualified at the high level for usage on safety-critical systems, in particular Tool Qualification Level TQL-1 for DO-178C (corresponding to a development tool under DO-178B), and qualification material is available. QGen 17.1 is available now.

Similar Private Companies By Industry

Company Name Region
'LightArrow Inc. United States
@RISK, Inc. United States
@YourGate LLC United States
100Insights, Inc. United States
101 Edu, Inc. United States

Recent Private Companies Transactions

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

The information and data displayed in this profile are created and managed by S&P Global Market Intelligence, a division of S&P Global. Bloomberg.com does not create or control the content. For inquiries, please contact S&P Global Market Intelligence directly by clicking here.

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
The Advertising Council, Inc. United States
Rush University United States

Sponsored Financial Commentaries

Sponsored Links

Request Profile Update

Only a company representative may request an update for the company profile. Documentation will be required.

To contact Ada Core Technologies, Inc., please visit www.adacore.com. Company data is provided by S&P Global Market Intelligence. 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.