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
Scandinavian Real Heart Selects AdaCore Embedded Software Development Platform for Revolutionary Artificial Heart
Feb 27 18
AdaCore announced that Scandinavian Real Heart AB in Sweden is using a suite of AdaCore software solutions to develop reliable embedded software for its revolutionary Total Artificial Heart. The aim of Scandinavian Real Heart’s Total Artificial Heart is to function as much as possible like the natural heart and to serve as a temporary solution for patients waiting to get a heart transplant.
AdaCore Unveils Version 18.1 of its GNAT Pro, CodePeer, SPARK Pro, and QGen Products
Jan 31 18
AdaCore is unveiling Version 18.1 of its GNAT Pro, CodePeer, SPARK Pro, and QGen products. This latest version enhances the already robust, software suite with new tools and capabilities and marks the first release of GNAT Pro in its three product lines: GNAT Pro Assurance, GNAT Pro Enterprise and GNAT Pro Developer. AdaCore’s GNAT Pro, CodePeer, SPARK Pro and QGen are software development and verification tools of choice for safety-critical, high-security, and mission-critical applications across a growing number of markets, including aerospace and defense, automotive, energy, medical, railway, and the Internet of Things (IoT). The GNAT Pro Ada development environment provides new tools, improved code efficiency, several new targets and a variety of compiler enhancements with Version 18.1. All GNAT Pro subscriptions now include the SPARK Discovery verification technology, and GNAT Pro Assurance and GNAT Pro Enterprise also supply AdaCore’s GNATstack stack analysis tool. The GNAT Pro toolsuitefeatures GPRbuild project tool upgrades, new rules in the GNATcheck coding standard checker, GNATcoverage support for Lauterbach probes, and new options in the GNATtest unit testing framework. The GNAT Programming Studio (GPS) Integrated Development Environment (IDE) boasts performance and user interface improvements, including C/C++ navigation engine enhancements, while GNATbench adds support for Eclipse 4.8 Oxygen and Wind River Workbench 4.12. CodePeer, the advanced CWE-compatible static analysis tool for Ada, brings improved performance, easier analysis of non-GNAT code, fewer “false positives”, and integration of GNAT warnings into the tool output. An updated tool qualification kit for DO-178C is also available for CodePeer 18.1, with coverage of additional Ada constructs including exceptions, access types, and generic units. The SPARK Pro formal verification environment, co-developed by AdaCore and its partner Altran, has added contracts to units in the predefined environment and has enhanced the automation of proofs. SPARK Pro 18.1 also allows users to perform interactive proofs in GPS. QGen, AdaCore’s qualifiable model-based development tool kit which generates SPARK and MISRA C, has been enhanced with a compatibility checker to verify compliance of sample models with the supported safe subset of Simulink®/Stateflow® models. QGen 18.1 also implements several new blocks and supports Simulink®/Stateflow® versions up to 2017b.
Ada Core Technologies, Inc. Presents at Embedded Systems Conference & Expo 2017, Dec-06-2017 11:00 AM
Dec 4 17
Ada Core Technologies, Inc. Presents at Embedded Systems Conference & Expo 2017, Dec-06-2017 11:00 AM. Venue: San Jose Convention Center, San Jose, California, United States. Speakers: Rob Tice.