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
Overview
Press Releases
In the Press
Events
Newsletter
AdaCore In the Press
Embedded Software Engineering.de
SPARK und MISRA-C – Die Vorteile von Sprach-Subsets
Posted on 11/16/2020
Unmanned Systems Technology
Behind the lines: why real-time operating systems are growing in importance and how the different types can be used
Posted on 10/28/2020
Military Embedded Systems
Securing military embedded systems is a giant challenge
Posted on 10/15/2020
ADS
ADS Member Spotlight – AdaCore
Posted on 10/1/2020
Tech Briefs
Development Software Handles High-Integrity Space Applications - LASP and The CLARREO Pathfinder
Posted on 9/14/2020
Military and Aerospace Electronics
2020 Military & Aerospace Technology Innovators Awards announced for aerospace and defense achievement
Posted on 9/10/2020
Aviation Week
Tech Talk: Portability And High Assurance For Airborne Software: The FACE™ Approach
Posted on 8/11/2020
L'embarqué
Les méthodes formelles sont désormais incontournables pour vérifier complètement les logiciels critiques
Posted on 7/7/2020
Embedded Computing Design
Embedded Toolbox: Use Ada and Let the Compiler Do the Static Analysis
Posted on 6/24/2020
Circuit Cellar
The Future of Safe Programming; How Programming Languages Evolve to Reduce Risks
Posted on 5/21/2020
Elektronik Praxis
Legacy Code in C mit Ada sicher aktualisieren
Posted on 4/10/2020
Military Embedded Systems
DO-178C meets the FACE Technical Standard: High assurance and reusability for airborne software
Posted on 4/1/2020
Embedded Computing Design
Qualifying the ISO 26262 Toolchain for Automotive Software Development
Posted on 3/18/2020
Embedded Computing Design
Functional Safety on the Rise as ISO 26262 Takes Page from DO/178 Standards Book with Ada, Spark
Posted on 3/18/2020
VDC Research
Functional Safety Development & Test Solutions
Posted on 11/13/2019
Inria Research Centre
FIEEC Carnot Prize for Applied Research: Claude Marché “proves himself”
Posted on 10/25/2019
Electronic Design
Learn to Use Ada and SPARK
Posted on 10/25/2019
Elektronik Praxis embedded-softawre.engineer
ESA wählt Adacores Multitasking-Lösung für die Raumschiff-Softwareentwicklung
Posted on 10/15/2019
Wind River
Wind River Redefines Embedded Software Development with New VxWorks Release
Posted on 10/14/2019
Embedded Computing Design
SPARK security into your system software
Posted on 10/4/2019
SAE MOBILUS
Software security, a scientific overview
Posted on 4/22/2019
Military Embedded Systems
AdaCore’s code generator QGen wins BEST IN SHOW AWARD at Aerospace Tech Week 2019
Posted on 3/14/2019
L'Embarqué
Conduite automatisée : certaines puces-systèmes Nvidia vont migrer vers le RISC-V et les langages Ada et Spark
Posted on 3/6/2019
EEWeb
Introducing RISC-V and RISC-V Tools
Posted on 2/14/2019
Electronic Design
Leveraging SPARK and Ada in Cutting-Edge Auto Systems
Posted on 2/13/2019
NVIDIA
Maximum Security Vision: Securing the Future of Safe Autonomous Driving
Posted on 2/5/2019
RISC-V Blog
AdaCore Joins The RISC-V Foundation To Provide C And Ada Compilation Support
Posted on 1/30/2019
embedded-software.engineer
Die Zeit ist reif, um formale Testmethoden auch im Mainstream einzusetzen
Posted on 1/30/2019
Elektronik Praxis
AdaCore wird Mitglied der RISC-V Foundation
Posted on 1/30/2019
Military Embedded Systems
Portable, reliable, and efficient concurrency: Ravenscar Ada tasking and the FACE safety profiles
Posted on 11/20/2018
Electronic Design
Ada Compiler Generates C Source
Posted on 11/16/2018
Embedded Software Engineer
Verifikation von Embedded Software durch Integration von Test und Beweis
Posted on 11/14/2018
Electronic Design
SSI: Continued Assurance from Requirements to Code
Posted on 11/12/2018
Electronic Design
Halloween, Debugging, SPARK, and More
Posted on 11/5/2018
Electronic Design
Ada—The Language of Cost Savings?
Posted on 10/23/2018
Embedded Computing Design
So, How Secure are your Coding Practices? Ask AdaCore
Posted on 10/19/2018
EE Times Europe
The AdaCore Edge: Development and Verification Technologies for Software that Matters
Posted on 9/26/2018
Air & Cosmos
La nouvelle ligne de produits d’AdaCore réduit les coûts de certification DO‑178B/C pour l’avionique
Posted on 9/25/2018
Electronic Design
It’s Time to Use a Safer C
Posted on 9/13/2018
Electronic Design
What's the Difference Between Sound and Unsound Static Analysis?
Posted on 9/12/2018
Wind River Blog Network
Reliable, Safe and Secure? Ada and VxWorks Can Help!
Posted on 8/13/2018
Electronic Design
You Can Now Learn SPARK and Ada Online
Posted on 7/26/2018
Embedded Computing Design
Simple On-Line Training For Complex Topics
Posted on 7/25/2018
l'Embarqué
Les outils de développement de logiciels système sûrs d’AdaCore se frottent à l’automobile
Posted on 6/26/2018
Embedded Computing Design
AdaCore Technologies for cyber security, part 2: The challenge of secure software
Posted on 6/21/2018
YouTube
AdaCore at TU Automotive 2018
Posted on 6/7/2018
Intelligent Aerospace
System complexity, safety, security drive continued adoption of Ada, SPARK in aerospace and defense software engineering
Posted on 6/1/2018
Embedded Computing Design
5 Minutes with...Yannick Moy
Posted on 5/7/2018
Embedded.com
You think your software works? Prove it!
Posted on 3/20/2018
Military Embedded Systems
Toward safety and security in FACE components: High assurance with portability
Posted on 3/20/2018
Embedded News
Secure Programming with SPARK
Posted on 3/13/2018
YouTube
Levels of Software Assurance in SPARK
Posted on 2/13/2018
EE News
Model-level debugging: a bridge between control engineering and software engineering
Posted on 2/13/2018
Embedded Computing Design
Where the software meets the road: Certifying the safety of self-driving cars
Posted on 1/2/2018
Electronic Design
Improving Code Quality in the New Year
Posted on 12/21/2017
Electronic Design
GNAT Pro Developer Cuts Ada, SPARK Development Costs
Posted on 12/13/2017
EE Journal
Let the Formal Be With You Taking on Software Safety and Reliability with Formal Verification
Posted on 12/13/2017
Embedded Computing Design
Where the software meets the road: Certifying the safety of self-driving cars
Posted on 12/6/2017
The Ganssle Group
The Embedded Muse
Posted on 12/5/2017
stickyminds.com
Hybrid Verification: Mixing Formal Methods and Testing
Posted on 12/4/2017
Electronic Design
A Look Inside NIST’s “Dramatically Reducing Security Vulnerabilities” Report
Posted on 11/29/2017
Electronic Design
Assessing the Ada Language for Audio Applications
Posted on 11/13/2017
Embedded.com
Making robots with Ada, Part 2 - Driving the motors
Posted on 9/6/2017
Embedded Computing Design
Code cleaning with SPARK and Ada: Cut development costs upfront
Posted on 8/18/2017
Heise Developer
Bringing the aerospace safety Mindset to the Automotive Mode
Posted on 8/8/2017
Lauterbach Newsletter
Lauterbach et AdaCore s’associent pour GNATcoverage
Posted on 7/10/2017
COTS Journal
Ada Language: Trusted Tool for Safety Critical Systems (pages 24-26)
Posted on 7/10/2017
RR Software
Code Quality Warnings: Highlighting Likely Bugs Before They Bite
Posted on 6/9/2017
Embedded Computing
AdaCore booth video at TU Automotive Detroit 2017
Posted on 6/8/2017
Embedded
Making robots with Ada
Posted on 6/5/2017
Electronic Design
Before C, What Did You Use?
Posted on 5/18/2017
Embedded Computing Design
Ada Competition: Look who's a judge!
Posted on 5/18/2017
Electronic Design
Helpful Hints for Adopting SPARK
Posted on 5/9/2017
Military Embedded Systems
Military & Commercial Unmanned Systems Designs Leverage Open Architectures
Posted on 4/28/2017
Military & Aerospace
The challenge of controlling proliferating unmanned aircraft
Posted on 4/26/2017
Methods and Tools
Ada: a C Developer's Perspective
Posted on 4/24/2017
Electronic Design
Rust and SPARK: Reliability for Everyone
Posted on 4/18/2017
Intelligent Aerospace
Investing in test tools for modern and legacy aerospace systems
Posted on 4/14/2017
Embedded News TV
AdaCore Announces Availability of QGen Debugger at Embedded World 2017
Posted on 3/23/2017
EDN Europe
Tools for embedded software development: a life cycle perspective (page 17)
Posted on 3/21/2017
Embedded Computing Design
Embedded World 2017: AdaCore QGen Advances Code Quality in Mission-Critical Devices
Posted on 3/20/2017
Intelligent Aerospace
AdaCore upgrades GNAT Pro, CodePeer, QGen, and SPARK Pro software development, verification tools
Posted on 3/20/2017
ComputerWeekly.com
AdaCore vehemently verifies (software) verification
Posted on 3/16/2017
Electronic Design
Q&A: Formal Methods Push Toward Zero-Defect Software
Posted on 3/9/2017
Avionics
DO-178C: Software for NextGen Avionics, UAVs and More
Posted on 3/1/2017
Military Embedded Systems
Formal program verification in avionics certification
Posted on 3/1/2017
Embedded Computing Design
A source-annotation-based framework for structural coverage
Posted on 2/21/2017
Markt & Technik
Ada für Embedded
Posted on 2/14/2017
Embedded
The time has come for Ada
Posted on 2/9/2017
Electronic Design
Learning from an Ada Neophyte
Posted on 12/16/2016
Electronic Products
DO-178C helps to make flying safer
Posted on 12/13/2016
EE Journal
Reducing the Odds of Failure
Posted on 12/5/2016
ARM Connected Community
Ada Driver Library for ARM Cortex-M/R - Part 2
Posted on 12/2/2016
SemiWiki
Ada in the IoT?
Posted on 11/18/2016
Embedded Computing Design
Building trust in a model-based automatic code generator
Posted on 8/17/2016
ARM Connected Community
Ada Driver Library for ARM Cortex-M/R - Part 1
Posted on 7/8/2016
VDC Research
The IoT & Embedded Technology Beat: with Quentin Ochem of AdaCore (Part 2)
Posted on 7/7/2016
VDC Research
The IoT & Embedded Technology Beat: with Quentin Ochem of AdaCore (Part 1)
Posted on 7/5/2016
Embedded FM
158: Programming is too difficult for humans
Posted on 6/29/2016
Heise Developer
Traits-basierte Container in Ada
Posted on 3/29/2016