Company Overview of Ada Core Technologies, Inc.
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
New York, NY 10011
Founded in 1994
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
May 24 17
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
Mar 14 17
AdaCore announced the release of the latest version of its four major products: GNAT Pro 17.1 , a development environment for Ada and C, on native and cross platforms; CodePeer 17.1 , 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 , 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 , 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 ) and the Eclipse-based GNATbench ), 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
Mar 14 17
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
Recent Private Companies Transactions
|No transactions available in the past 12 months.|