Articles
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
Functional Safety on the Rise as ISO 26262 Takes Page from DO/178 Standards Book with Ada, Spark
VDC Research
• Nov 13, 2019
Functional Safety Development & Test Solutions
Inria Research Centre
• Oct 25, 2019
FIEEC Carnot Prize for Applied Research: Claude Marché “proves himself”
Electronic Design
• Oct 25, 2019
Learn to Use Ada and SPARK
Elektronik Praxis embedded-softawre.engineer
• Oct 15, 2019