Adacore
Overview
Adacore is centered around helping developers build safe, secure and reliable software. They supply software development and verification tools for mission-critical, safety-critical, and security-critical systems. With over twenty years of experience working with the most respected companies in the avionics, space and defense industries, they build tools and provide services that ease the complex and often difficult process of developing high-integrity software. As the need for truly secure and reliable applications expands into industries such as automotive, medical, energy, and IOT, they’re bring their time-tested technologies, expertise and services to help a whole new generation of developers
Intro to / Advantages of Ada Language
Ada is a state-of-the art programming language that development teams worldwide are using for critical software: from microkernels and small-footprint, real-time embedded systems to large-scale enterprise applications, and everything in between. Why use Ada? In short, because you want to write reliable and efficient code, with confidence that it works, and not waste time and effort in the process. Ada is unique among languages in how it helps you detect and eliminate bugs early in the software life cycle, when they are the least expensive to correct. And as evidenced by the many successfully fielded applications that need to meet hard time or space constraints, Ada helps you build software that is reliable, safe and secure without sacrificing performance.
Adacore Products and Services
Adacore's products include the GNAT Pro Ada, C and C++ software development environments, the CWE-compatible CodePeer deep static analysis tool for Ada, the SPARK Pro formal methods-based verification environment, and the QGen qualifiable code generator and debugger for a safe subset of Simulink®/Stateflow® models. All products come with expert and timely support provided by the developers themselves and are available across a wide range of native and embedded target configurations.
Adacore Support for Microsemi Products
AdaCore supports Microsemi RISC-V boards with GNAT Pro Ada and C running bare metal. This includes the real time kernel Ravenscar, as well as a collection of tools for testing, static analysis as well as support for the SPARK language.
Contact Information
North American Office150 W. 30th Street, 16th floor |
European Office46 rue d’Amsterdam |