adacore.comHomepage - AdaCore

skip to main content AdaCore AdaCore Products Overview GNAT Pro Overview Assurance Enterprise Developer Comparison Toolsuite CodePeer Overview Demos SPARK Pro Overview Demos Use Cases QGen Overview Demos Debugger FAQ Services Overview Mentorship Training On-Site Consulting Support Pricing Languages Industries Overview Domains Avionics ATM Space Rail Automotive Defense Security Medical Projects Standards DO-178 ESARR CAP670-SWO1 CWE EN 50128 FACE ISO 26262 IEC 61508 Company Overview About AdaCore Careers Our Customers Partners Executive Team Contact Us Legal Privacy Policy News Overview Press Releases In the Press Events Newsletter Resources Overview Books Tech Papers Documentation Videos Dev Log Ada Gems Learn.adacore.com Community Overview Download Academia Overview Projects Universities Register Login About Ada About SPARK Contact Login to GNAT Tracker Forgot your password? GT Login Request Pricing Press Center Consafe Logistics Selects AdaCore’s GNAT Pro for Critical Warehouse Control System Firmware -- Security and Defence Contractor QinetiQ Selects AdaCore’s Mentorship Service to Upgrade to the Latest Version of the SPARK Technology -- AdaCore Introduces GNAT Pro for the Wind River® Helix™ Virtualization Platform -- SPARK und MISRA-C – Die Vorteile von Sprach-Subsets Embedded Software Engineering.de Hitachi Rail STS France Chooses AdaCore Software Development Environment for its New Rail Platform -- Behind the lines: why real-time operating systems are growing in importance and how the different types can be used Unmanned Systems Technology Securing military embedded systems is a giant challenge Military Embedded Systems ADS Member Spotlight – AdaCore ADS Development Software Handles High-Integrity Space Applications - LASP and The CLARREO Pathfinder Tech Briefs 2020 Military & Aerospace Technology Innovators Awards announced for aerospace and defense achievement Military and Aerospace Electronics Quicklinks About AdaCore Learn about our long history of helping developers build software that matters Try Ada Now Learn about the different versions of GNAT and get started with Ada Request Pricing Request pricing or an evaluation for any of our products The Latest Press Release AdaCore’s Fifth Annual Make with Ada Programming Competition Launching July 31st Read the press release » Blog Introducing source code instrumentation in GNATcoverage Read the blog post » Video Using AdaCore's tools with VxWorks 653 3.x View on YouTube » Helping People Build Software that Matters At AdaCore our mission is to provide the best tools, services and expertise to developers who want to build safe and reliable software. Learn more about AdaCore » code Created with Sketch. Code Development The GNAT Pro product line offers a comprehensive toolset for Ada C, and C++. Different versions of the product — GNAT Pro Assurance , GNAT Pro Enterprise , and GNAT Pro Developer — support a wide range of project sizes and needs. loupe Created with Sketch. Static Analysis & Testing Use CodePeer to detect logic errors and vulnerabilities both during development of new code and retrospectively on existing codebases. Or tap into formal methods, test case generators; and source and object code coverage analyzers. model Created with Sketch. Model-Based Engineering Reduce development and verification effort through QGen , a qualifiable and customizable code generator and model verifier for a safe subset of Simulink® and Stateflow® models. QGen generates source code in SPARK or MISRA C. certBadge Created with Sketch. Formal Verification With the SPARK Pro integrated static analysis toolsuite you can verify high-integrity software through formal methods, proving properties such as absence of run-time errors. notebook Created with Sketch. Certification & Qualification Our qualifiable tools and high-integrity run-time libraries support software standards such as DO-178B/C, EN 50128 and ECSS-E-ST-40C / ECSS-Q-ST-80C. user Created with Sketch. Training & Consulting Experience has shown that Ada is an extremely learnable language and that programmers with basic knowledge in other languages can quickly get up to speed with Ada. Unrivaled Language and Platform Support for High-Integrity Development Languages We provide tools and support for the primary languages used in high-integrity development. Read about AdaCore's Language Support » Platforms We can assist our customers through hardware and OS evolution, facilitating code portability across an extremely wide range of platforms. View our Supported Platforms » Tried and Tested in the Most Demanding Industries AdaCore's products have a proven track record in helping customers develop and verify high-assurance software across domains such as avionics, air traffic management/control, railway systems, space, and automotive. Read our Industry Case Studies » Get Started with Ada Learn about the GNAT development environment and how to get started » Request Pricing Help us understand your development needs and request pricing or an evaluation » Products GNAT Pro CodePeer SPARK Pro QGen Services Support Industries Automotive IOT -- Automation -- Avionics Rail Air Traffic Space Defense Medical -- Security Resources Books Tech Papers Documentation Videos Devlog Company About AdaCore Executive Team -- Careers Contact Customer Support Login to GNAT Tracker Expert Support Contact Us Pricing News Press Releases AdaCore in the Press Events Inside AdaCore Community Download Getting Started About Ada About SPARK Academia Overview Projects Universities GAP Login Other AdaCore Sites The AdaCore Blog Learn.adacore.com Make with Ada Twitter LinkedIn YouTube GitHub RSS Copyright © 2021 AdaCore. All rights reserved. Legal | Privacy Policy | Code of Conduct...