Articles
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
Tech Talk: Portability And High Assurance For Airborne Software: The FACE™ Approach
L'embarqué
• Jul 07, 2020
Les méthodes formelles sont désormais incontournables pour vérifier complètement les logiciels critiques
Embedded Computing Design
• Jun 25, 2020
Embedded Toolbox: Use Ada and Let the Compiler Do the Static Analysis
Circuit Cellar
• May 21, 2020
The Future of Safe Programming; How Programming Languages Evolve to Reduce Risks
Electronic Design
• Apr 17, 2020
Rust and SPARK: Reliability for Everyone
Elektronik Praxis
• Apr 10, 2020
Legacy Code in C mit Ada sicher aktualisieren
Military Embedded Systems
• Apr 01, 2020
DO-178C meets the FACE Technical Standard: High assurance and reusability for airborne software
Embedded Computing Design
• Mar 19, 2020
Qualifying the ISO 26262 Toolchain for Automotive Software Development
Embedded Computing Design
• Mar 19, 2020