Company Overview of AdaCore, Inc.
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
New York, NY 10011
Founded in 1994
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
Compensation as of Fiscal Year 2014.
AdaCore, Inc. Key Developments
SmartWard Pty Ltd Selects AdaCore Tools for Hospital Information System Development
May 28 14
AdaCore announced the adoption of its GNAT Pro Ada Development Environment and CodePeer static analysis tool by the Australian healthcare informatics company SmartWard Pty Ltd. for use in implementing its patient care management system. The SmartWard system needs to be highly reliable and secure from unauthorized access, it has to provide real-time response and 24x7 availability, and it also must be easy to use by hospital staff. After evaluating alternative potential approaches, the company selected the Ada language and AdaCore software development tools as the best solution for meeting these requirements. The SmartWard system replaces a paper-based, manual approach that is time-consuming and error prone. It runs on computers at each patient bedside and at all other points-of-care, providing up-to-date information on scheduled activities, patient alerts and vital signs and allowing real time entry of treatment records. It presents patient histories in user-friendly charts with decision support data, and validates medication and patient identity automatically via smart sensors.
Altran and AdaCore Release SPARK Pro 14.0
May 12 14
Altran Technologies, SA and AdaCore have announced the release of the SPARK Pro 14.0 integrated development and verification environment. This product marks a major step forward in software verification technology, providing users with more powerful and easier to use tools that support the latest version of the SPARK language, SPARK 2014. SPARK Pro 14.0 offers an integrated approach to the entire software development and verification lifecycle - bringing software specification, coding, testing and unit verification by proof within a single integrated framework. SPARK Pro 14.0 has been completely re-engineered to use the latest compiler and proof technology, providing advanced verification of an enhanced subset of the Ada language. The new technology also supplies an improved user interface: warnings generated by the tools are displayed as navigable messages mapped back to the source code with path information that helps users understand how the errors can occur. SPARK Pro 14.0 meets the requirements of all high-integrity software safety standards, including DO-178B/C (and the formal methods supplement DO-333), CENELEC 50128, IEC 61508, and DEFSTAN 00-56. The SPARK Pro toolset generates evidence that can be used to build a constructive assurance case and demonstrate conformance to the appropriate standard. SPARK Pro can also be used to help achieve the high Evaluation Assurance Levels (EAL) of the Common Criteria security standard. Building software that is right the first time avoids the costs associated with extensive test and debug cycles and expensive product failures and recalls. SPARK Pro 14.0 is the first version of the toolset to support SPARK 2014, the newest version of the language. SPARK 2014 is based on Ada 2012 and encompasses a rich subset of the language, excluding only those features which would make program verification unsound. SPARK uses and extends the contract notation introduced in Ada 2012, allowing software engineers to express and formally verify key properties that must be satisfied by a program.
AdaCore Releases GNAT Pro 7.2 for Android
Apr 1 14
AdaCore announced the release of its Ada cross-development environment, GNAT Pro 7.2, for ARM Cortex processors running Android. This GNAT Pro product, hosted on Windows and Linux, comprises a complete Ada toolsuite for developing and maintaining Android applications using a mixture of Ada and Java. Developers can now exploit the software engineering benefits of the Ada language, while also taking advantage of the Java libraries and services provided by the Android platform. Applications can also be written solely in Ada, or in a combination of Ada and other native languages. Android 2.3 and later versions are supported, on Cortex A8 and above. A recent trend is the use of COTS portable devices in mission-critical contexts, such as military command and control and industrial process management. In these systems the original OS and consumer-oriented applications are replaced by customized versions that include domain-specific software using proprietary and/or confidential algorithms. GNAT Pro for Android offers developers a solution by generating highly efficient, native ARM code for the algorithms, while giving access to the common Android graphics library for implementing the user interface. And with company's typing and other compile-time checks, GNAT Pro and supplemental static analysis tools, such as CodePeer, can detect many errors and vulnerabilities early in the development stage, an especially important advantage in embedded systems where recalls or updates may be expensive or impractical. Incorporating more than 120 new features, this GNAT Pro toolsuite implements the Ada 2012 language standard by default. Some of the new Ada 2012 language features include: Contract-based programming (preconditions, postconditions, type invariants); enhanced multiprocessor support (multiprocessor affinity and barriers); enhanced integration of concurrency and OOP; additional language-defined libraries (vector/matrix packages). GNAT Pro 7.2 includes a new version of GNATbench, the AdaCore plug-in extending Eclipse into an Ada IDE. Along with general enhancements, this new version includes a dedicated plug-in providing end-to-end support for mixed Ada-Java development on Android. Starting with a specific wizard that handles all the project setup details, users need only specify the Ada packages to be called from the Java application. Building the project automatically invokes AJIS, the Ada-Java Interfacing System, to generate all Java code required to call the Ada code, compiles the Ada code into a shared library referenced from the Java side, and makes both available to the Java project. Any changes to the set of Ada interface packages, or to the Ada code in those packages, are automatically detected and handled by the builder. The generated Java is high-level and thus avoids the error-prone direct use of JNI. Furthermore, the Ada and Java code are fully integrated within the IDE, allowing for example navigation within the editors. Finally, debugging the Ada code is supported via the normal Eclipse/CDT debugger GUI.
Similar Private Companies By Industry
Recent Private Companies Transactions
|No transactions available in the past 12 months.|