Military Systems and Technology
Assuring Trust in Autonomy
7/1/2025
Articles
Wevolver
An Introduction to Memory Safe Concepts and Challenges
7/1/2025
Army Technology
Formal Methods for and Insecure World
7/1/2025
Future Rail
Building Trust on the Tracks
5/27/2025
Just Auto
Software at the Wheel
5/27/2025
Military Embedded Systems
Ada and the FACE approach: Enabling high-assurance, portable software for defense systems
5/20/2025
The New Stack
CHERI on Top: AdaCore’s Hardware ‘Fix’ for Legacy C/C++ Code
5/20/2025
Wevolver
Should I choose Ada, SPARK or Rust over C/C++?
5/20/2025
Wevolver
Let's write a safety monitor for a Mars Rover!
5/20/2025
eeNews Europe
Rust celebrates 10th anniversary
5/20/2025
Automotive News
Cybersecurity in connected vehicles: Learn supply chain best practices
4/1/2025
Automotive News
Ensuring automotive software safety: How formal verification and ISO 26262 reduce risk and recalls
3/25/2025
Automotive News
Securing the future: How SPARK and ISO 26262 ensure safe autonomous vehicles
3/25/2025
Just Auto
Ensuring software safety in the automotive industry
2/4/2025
Embedded Computing Design
Hacking the Linux Kernel in Ada - Part 3
12/10/2024
Aerospace Innovations
Making DO with Safety Standards
11/26/2024
Embedded Computing Design
Hacking the Linux Kernel in Ada - Part 2
11/26/2024
Embedded Computing Design
Hacking the Linux Kernel in Ada - Part 1
11/12/2024
Electronic Design
Why Commercial Rust Software is Critical for Critical Solutions
11/12/2024
Electronic Design
Comparing Rust, C, C++, Ada and SPARK.
11/12/2024
Aerospace Innovations
Ensuring Robust, Resilience Cyber Security for Civil Aircraft
11/12/2024
Tech Briefs
Adamant: A Soon-to-be Open Source, Mission Critical Flight Software Framework Written in Ada
7/31/2023
Electronic Design
Podcast on Fuzz Testing for Safe and Secure Software w/ Paul Butcher
4/25/2022
Aerospace Tech Review
Avionics Software Testing w/Ben Brosgol and Paul Butcher
4/22/2022
Unmanned Systems Technology
Making software FACE-conformant and fully portable: Coding guidance for Ada (page 20)
4/20/2022
Military Technology
Software Reuse/FACE, guest editorial by Ben Brosgol
4/10/2022
Le Journal de l'Aviation
Comment AdaCore s'impose toujours plus dans l'avionique et les systèmes embarqués
9/15/2021
IEEE Software Engineering Radio
Paul Butcher on Fuzz Testing
8/25/2021
Les Echos
Why3, la plateforme française de vérification des logiciels
6/3/2021
Electronic Design
Ada for the Embedded C Developer (7-part series)
5/27/2021
Electronic Design
Enforced Coding Using Ada Contracts
5/12/2021
Electronic Design
Make with Ada 2021
4/1/2021
Aerospace TechReview
Avionics Testing Is Meeting Complexity Challenges Head-On
3/23/2021
Military Embedded Systems
Making software FACE-conformant and fully portable: Coding guidance for Ada
3/15/2021
Embedded Computing Design
Embedded Insiders: How Much Are You Willing to Pay for Bad Software?
2/26/2021
Embedded Computing Design
Embedded Toolbox: Prove It! Proofs Start Where Static Analysis Stops
2/25/2021
Embedded Computing Design
The Place for MISRA C in Safe & Secure Programming - A Comparison with SPARK
2/2/2021
Avionics International
Embedded Executives Talk Next Generation Military Avionics Systems
2/2/2021
Military Embedded Systems
Top 10 military electronics stories of 2020
1/25/2021
Embedded Software Engineering.de
SPARK und MISRA-C – Die Vorteile von Sprach-Subsets
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
10/28/2020
Military Embedded Systems
Securing military embedded systems is a giant challenge
10/15/2020
ADS
ADS Member Spotlight – AdaCore
10/1/2020
Tech Briefs
Development Software Handles High-Integrity Space Applications - LASP and The CLARREO Pathfinder
9/14/2020
Military and Aerospace Electronics
2020 Military & Aerospace Technology Innovators Awards announced for aerospace and defense achievement
9/10/2020
Aviation Week
Tech Talk: Portability And High Assurance For Airborne Software: The FACE™ Approach
8/11/2020
L'embarqué
Les méthodes formelles sont désormais incontournables pour vérifier complètement les logiciels critiques
7/7/2020
Embedded Computing Design
Embedded Toolbox: Use Ada and Let the Compiler Do the Static Analysis
6/24/2020
Circuit Cellar
The Future of Safe Programming; How Programming Languages Evolve to Reduce Risks
5/21/2020
Electronic Design
Rust and SPARK: Reliability for Everyone
4/17/2020
Elektronik Praxis
Legacy Code in C mit Ada sicher aktualisieren
4/10/2020
Military Embedded Systems
DO-178C meets the FACE Technical Standard: High assurance and reusability for airborne software
4/1/2020
Embedded Computing Design
Qualifying the ISO 26262 Toolchain for Automotive Software Development
3/18/2020
Embedded Computing Design
Functional Safety on the Rise as ISO 26262 Takes Page from DO/178 Standards Book with Ada, Spark
3/18/2020
VDC Research
Functional Safety Development & Test Solutions
11/13/2019
Inria Research Centre
FIEEC Carnot Prize for Applied Research: Claude Marché “proves himself”
10/25/2019
Electronic Design
Learn to Use Ada and SPARK
10/25/2019
Elektronik Praxis embedded-softawre.engineer
ESA wählt Adacores Multitasking-Lösung für die Raumschiff-Softwareentwicklung
10/15/2019
Wind River
Wind River Redefines Embedded Software Development with New VxWorks Release
10/14/2019
Embedded Computing Design
SPARK security into your system software
10/4/2019
SAE MOBILUS
Software security, a scientific overview
4/22/2019
L'Embarqué
Conduite automatisée : certaines puces-systèmes Nvidia vont migrer vers le RISC-V et les langages Ada et Spark
3/6/2019
EEWeb
Introducing RISC-V and RISC-V Tools
2/14/2019
Electronic Design
Leveraging SPARK and Ada in Cutting-Edge Auto Systems
2/13/2019
NVIDIA
Maximum Security Vision: Securing the Future of Safe Autonomous Driving
2/5/2019
RISC-V Blog
AdaCore Joins The RISC-V Foundation To Provide C And Ada Compilation Support
1/30/2019
embedded-software.engineer
Die Zeit ist reif, um formale Testmethoden auch im Mainstream einzusetzen
1/30/2019
Elektronik Praxis
AdaCore wird Mitglied der RISC-V Foundation
1/30/2019
Military Embedded Systems
Portable, reliable, and efficient concurrency: Ravenscar Ada tasking and the FACE safety profiles
11/20/2018
Electronic Design
Ada Compiler Generates C Source
11/16/2018
Embedded Software Engineer
Verifikation von Embedded Software durch Integration von Test und Beweis
11/14/2018
Electronic Design
SSI: Continued Assurance from Requirements to Code
11/12/2018
Electronic Design
Halloween, Debugging, SPARK, and More
11/5/2018
Electronic Design
Ada—The Language of Cost Savings?
10/23/2018
Embedded Computing Design
So, How Secure are your Coding Practices? Ask AdaCore
10/19/2018
EE Times Europe
The AdaCore Edge: Development and Verification Technologies for Software that Matters
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
9/25/2018
Electronic Design
It’s Time to Use a Safer C
9/13/2018
Electronic Design
What's the Difference Between Sound and Unsound Static Analysis?
9/12/2018
Wind River Blog Network
Reliable, Safe and Secure? Ada and VxWorks Can Help!
8/13/2018
Electronic Design
You Can Now Learn SPARK and Ada Online
7/26/2018
Embedded Computing Design
Simple On-Line Training For Complex Topics
7/25/2018
l'Embarqué
Les outils de développement de logiciels système sûrs d’AdaCore se frottent à l’automobile
6/26/2018
Embedded Computing Design
AdaCore Technologies for cybersecurity, part 2: The challenge of secure software
6/21/2018
YouTube
AdaCore at TU Automotive 2018
6/7/2018
Intelligent Aerospace
System complexity, safety, security drive continued adoption of Ada, SPARK in aerospace and defense software engineering
6/1/2018
Embedded Computing Design
5 Minutes with...Yannick Moy
5/7/2018
Embedded.com
You think your software works? Prove it!
3/20/2018
Military Embedded Systems
Toward safety and security in FACE components: High assurance with portability
3/20/2018
Embedded News
Secure Programming with SPARK
3/13/2018
YouTube
Levels of Software Assurance in SPARK
2/13/2018
EE News
Model-level debugging: a bridge between control engineering and software engineering
2/13/2018
Embedded Computing Design
Where the software meets the road: Certifying the safety of self-driving cars
1/2/2018
Electronic Design
Improving Code Quality in the New Year
12/21/2017
Electronic Design
GNAT Pro Developer Cuts Ada, SPARK Development Costs
12/13/2017
EE Journal
Let the Formal Be With You Taking on Software Safety and Reliability with Formal Verification
12/13/2017
Embedded Computing Design
Where the software meets the road: Certifying the safety of self-driving cars
12/6/2017
The Ganssle Group
The Embedded Muse
12/5/2017
stickyminds.com
Hybrid Verification: Mixing Formal Methods and Testing
12/4/2017
Electronic Design
A Look Inside NIST’s “Dramatically Reducing Security Vulnerabilities” Report
11/29/2017
Electronic Design
Assessing the Ada Language for Audio Applications
11/13/2017
Embedded.com
Making robots with Ada, Part 2 - Driving the motors
9/6/2017
Embedded Computing Design
Code cleaning with SPARK and Ada: Cut development costs upfront
8/18/2017
Heise Developer
Bringing the aerospace safety Mindset to the Automotive Mode
8/8/2017
Lauterbach Newsletter
Lauterbach et AdaCore s’associent pour GNATcoverage
7/10/2017
COTS Journal
Ada Language: Trusted Tool for Safety Critical Systems (pages 24-26)
7/10/2017
RR Software
Code Quality Warnings: Highlighting Likely Bugs Before They Bite
6/9/2017
Embedded Computing
AdaCore booth video at TU Automotive Detroit 2017
6/8/2017
Embedded
Making robots with Ada
6/5/2017
Electronic Design
Before C, What Did You Use?
5/18/2017
Embedded Computing Design
Ada Competition: Look who's a judge!
5/18/2017
Electronic Design
Helpful Hints for Adopting SPARK
5/9/2017
Military Embedded Systems
Military & Commercial Unmanned Systems Designs Leverage Open Architectures
4/28/2017
Military & Aerospace
The challenge of controlling proliferating unmanned aircraft
4/26/2017
Methods and Tools
Ada: a C Developer's Perspective
4/24/2017
Intelligent Aerospace
Investing in test tools for modern and legacy aerospace systems
4/14/2017
EDN Europe
Tools for embedded software development: a life cycle perspective (page 17)
3/21/2017
ComputerWeekly.com
AdaCore vehemently verifies (software) verification
3/16/2017
Electronic Design
Q&A: Formal Methods Push Toward Zero-Defect Software
3/9/2017
Avionics
DO-178C: Software for NextGen Avionics, UAVs and More
3/1/2017
Military Embedded Systems
Formal program verification in avionics certification
3/1/2017
Embedded Computing Design
A source-annotation-based framework for structural coverage
2/21/2017
Markt & Technik
Ada für Embedded
2/14/2017
Embedded
The time has come for Ada
2/9/2017
Electronic Design
Learning from an Ada Neophyte
12/16/2016
Electronic Products
DO-178C helps to make flying safer
12/13/2016
EE Journal
Reducing the Odds of Failure
12/5/2016
ARM Connected Community
Ada Driver Library for ARM Cortex-M/R - Part 2
12/2/2016
SemiWiki
Ada in the IoT?
11/18/2016
ARM Connected Community
Ada Driver Library for ARM Cortex-M/R - Part 1
7/8/2016
VDC Research
The IoT & Embedded Technology Beat: with Quentin Ochem of AdaCore (Part 2)
7/7/2016
VDC Research
The IoT & Embedded Technology Beat: with Quentin Ochem of AdaCore (Part 1)
7/5/2016
Embedded FM
158: Programming is too difficult for humans
6/29/2016
Heise Developer
Traits-basierte Container in Ada
3/29/2016
L'Embarqué Media
AdaCore muscle ses outils de développement et de vérification pour la programmation à base de modèles
3/22/2016
Electronic Design
11 Myths About Ada
3/10/2016
Hackaday
Candy Dispenser Riddles You This
3/8/2016
Embedded World Handout Guide
Hybrid Verification for High-Integrity Software: Combining Formal Methods with Testing
2/23/2016
Electronic Design
Comparing Ada and C
1/29/2016
Electronic Design
What's the Difference Between Ada and SPARK?
11/19/2015
Electronic Design
What's the Difference Between Secure Comms and Secure Systems?
10/27/2015
EE Times
Bringing Ada and GNAT to DIYers on Raspberry Pi
9/21/2015
All-Electronics
Codegenerierung aus Simulink- und Stateflow-Modellen individuell anpassen
9/9/2015
Intelligent Aerospace
Reducing Cost of Defensive Code – The Ada 2012 Approach
9/9/2015
Electronic Design
The Day of the Three Glitches
8/31/2015
Electronic Design
Ada/SPARK Fixes Crazyflie Nano Quadrotor
8/25/2015
Embedded Computing Design
Vehicle automation: Who should have ultimate control?
7/12/2015
John Day's Automotive Electronics
Will MY Car be Hacker Proof?
4/23/2015
Military Embedded Systems
COTS software challenges in the military electronics market
4/13/2015
Embedded Computing Design
Drone safety, what's next?
4/10/2015
elektroniknet
Unterschiede von freie Software, Open Source und FLOSS (German only)
2/23/2015
Electronic Design
Requiem for a Bug – Verifying Software, Part 2: Formal Verification through SPARK 2014
1/12/2015
Bloor Research
SPARK 2014 lowers the barriers to low-defect programming
11/19/2014
Embedded Computing Design
Advanced static analysis for reusable libraries and subsystems
11/13/2014
Electronic Design
Verifying Software: Testing and Static Analysis
11/5/2014
CrossTalk (page 17)
Static Analysis Tools Pass the Quals
11/4/2014
Embedded Computing Design
Open Source Software Everywhere?
10/1/2014
John Day's Automotive Electronics
Automotive Automation: Lessons from Other Domains
9/30/2014
Electronic Design
ARMed and Ready
9/19/2014
LXer
Interview With Richard Kenner of AdaCore
9/4/2014
Embedded.com
Safe and secure object-oriented programming with Ada 2012's contracts
8/14/2014
Military Embedded Systems
Ada Watch: Bringing Ada onto the battlefield
8/8/2014
SD Times
Security is front and center for developers
7/29/2014
Electronic Design
Running Ada 2012 On The Cortex-M4
7/9/2014
Dr. Dobbs
After Heartbleed: A Look at Languages that Support Provability
6/4/2014
Electronics Weekly
Open Source in High-Integrity Systems
5/28/2014
Aviation Today
Real Time Operating Systems Addressing the Certification, Security and Standards Dilemmas
4/9/2014
JAXenter
Security is one of the biggest problems for the IoT right now
4/9/2014
Embedded.com
Alternatives to C/C++ for system programming in a distributed multicore world
3/29/2014
Military & Aerospace Electronics
Software considerations for multicore hardware environments
3/29/2014
Electronic Design
ARMing Ada
3/20/2014
Military Embedded Systems
Safety certification concerns for UAVs in national airspace
3/7/2014
Embedded Systems Programming
AdaCore releases GNAT Pro 7.2 with more ARM support
3/6/2014
Electronic Design
Use Contracts To Enforce Effective Coding
3/5/2014
Dr. Dobbs
AdaCore Flies GNAT Pro 7.2
3/4/2014
Embedded
Parallelism joins concurrency for multicore embedded computing
2/18/2014
John Day's Automotive Electronics
Will My Car be Safe to Drive?
2/4/2014
Business Computing World
Software Glitches: Why We Shouldn't Put Up With Them
1/20/2014
Embedded Computing Design
What will be hot in 2014 for Embedded and Mobile Software Development?
12/19/2013
Embedded.com
Contract-based programming: making software more reliable
8/25/2013
Embedded.com
SPARK 2014: Why I am backing a predictable winner
8/6/2013
Vector Software
Vector Software Announces Support for the AdaCore GNAT Pro Compiler for ARM Cortex
6/24/2013
Electronic Specifier Automotive
How Safe Are Our Roads?
6/11/2013
heise Developer
Nebenläufige Programmierung in Ada
5/17/2013
Avionics Today
Real-Time Operating Systems
5/13/2013
IEEE Software
Testing or Formal Verification: DO-178C Alternatives and Industrial Experience
5/3/2013
Electronic Specifier's digital magazine
Is it safe?
4/3/2013
Embedded Computing Design
Advanced static analysis meets contract-based programming
3/12/2013