Articles
Embedded Computing Design
• Nov 26, 2024
Hacking the Linux Kernel in Ada - Part 2
Embedded Computing Design
• Nov 12, 2024
Hacking the Linux Kernel in Ada - Part 1
Electronic Design
• Nov 12, 2024
Why Commercial Rust Software is Critical for Critical Solutions
Electronic Design
• Nov 12, 2024
Comparing Rust, C, C++, Ada and SPARK.
Aerospace Innovations
• Nov 12, 2024
Ensuring Robust, Resilience Cyber Security for Civil Aircraft
Tech Briefs
• Jul 31, 2023
Adamant: A Soon-to-be Open Source, Mission Critical Flight Software Framework Written in Ada
Electronic Design
• Apr 25, 2022
Podcast on Fuzz Testing for Safe and Secure Software w/ Paul Butcher
Aerospace Tech Review
• Apr 22, 2022
Avionics Software Testing w/Ben Brosgol and Paul Butcher
Unmanned Systems Technology
• Apr 20, 2022
Making software FACE-conformant and fully portable: Coding guidance for Ada (page 20)
Military Technology
• Apr 10, 2022
Software Reuse/FACE, guest editorial by Ben Brosgol
Le Journal de l'Aviation
• Sep 15, 2021
Comment AdaCore s'impose toujours plus dans l'avionique et les systèmes embarqués
IEEE Software Engineering Radio
• Aug 26, 2021
Paul Butcher on Fuzz Testing
Les Echos
• Jun 03, 2021
Why3, la plateforme française de vérification des logiciels
Electronic Design
• May 27, 2021
Ada for the Embedded C Developer (7-part series)
Electronic Design
• May 13, 2021
Enforced Coding Using Ada Contracts
Electronic Design
• Apr 01, 2021
Make with Ada 2021
Aerospace TechReview
• Mar 23, 2021
Avionics Testing Is Meeting Complexity Challenges Head-On
Military Embedded Systems
• Mar 16, 2021
Making software FACE-conformant and fully portable: Coding guidance for Ada
Embedded Computing Design
• Feb 27, 2021
Embedded Insiders: How Much Are You Willing to Pay for Bad Software?
Embedded Computing Design
• Feb 26, 2021
Embedded Toolbox: Prove It! Proofs Start Where Static Analysis Stops
Embedded Computing Design
• Feb 02, 2021
The Place for MISRA C in Safe & Secure Programming - A Comparison with SPARK
Avionics International
• Feb 02, 2021
Embedded Executives Talk Next Generation Military Avionics Systems
Military Embedded Systems
• Jan 25, 2021
Top 10 military electronics stories of 2020
Embedded Software Engineering.de
• Nov 16, 2020
SPARK und MISRA-C – Die Vorteile von Sprach-Subsets
Unmanned Systems Technology
• Oct 28, 2020
Behind the lines: why real-time operating systems are growing in importance and how the different types can be used
Military Embedded Systems
• Oct 15, 2020
Securing military embedded systems is a giant challenge
ADS
• Oct 01, 2020
ADS Member Spotlight – AdaCore
Tech Briefs
• Sep 15, 2020
Development Software Handles High-Integrity Space Applications - LASP and The CLARREO Pathfinder
Military and Aerospace Electronics
• Sep 10, 2020
2020 Military & Aerospace Technology Innovators Awards announced for aerospace and defense achievement
Aviation Week
• Aug 12, 2020