Articles
Methods and Tools
• Apr 24, 2017
Ada: a C Developer's Perspective
Intelligent Aerospace
• Apr 14, 2017
Investing in test tools for modern and legacy aerospace systems
EDN Europe
• Mar 21, 2017
Tools for embedded software development: a life cycle perspective (page 17)
ComputerWeekly.com
• Mar 16, 2017
AdaCore vehemently verifies (software) verification
Electronic Design
• Mar 09, 2017
Q&A: Formal Methods Push Toward Zero-Defect Software
Avionics
• Mar 01, 2017
DO-178C: Software for NextGen Avionics, UAVs and More
Military Embedded Systems
• Mar 01, 2017
Formal program verification in avionics certification
Embedded Computing Design
• Feb 21, 2017
A source-annotation-based framework for structural coverage
Markt & Technik
• Feb 14, 2017
Ada für Embedded
Embedded
• Feb 09, 2017
The time has come for Ada
Electronic Design
• Dec 16, 2016
Learning from an Ada Neophyte
Electronic Products
• Dec 13, 2016
DO-178C helps to make flying safer
EE Journal
• Dec 05, 2016
Reducing the Odds of Failure
ARM Connected Community
• Dec 02, 2016
Ada Driver Library for ARM Cortex-M/R - Part 2
SemiWiki
• Nov 18, 2016
Ada in the IoT?
ARM Connected Community
• Jul 08, 2016
Ada Driver Library for ARM Cortex-M/R - Part 1
VDC Research
• Jul 07, 2016
The IoT & Embedded Technology Beat: with Quentin Ochem of AdaCore (Part 2)
VDC Research
• Jul 05, 2016
The IoT & Embedded Technology Beat: with Quentin Ochem of AdaCore (Part 1)
Embedded FM
• Jun 29, 2016
158: Programming is too difficult for humans
Heise Developer
• Mar 29, 2016
Traits-basierte Container in Ada
L'Embarqué Media
• Mar 22, 2016
AdaCore muscle ses outils de développement et de vérification pour la programmation à base de modèles
Electronic Design
• Mar 10, 2016
11 Myths About Ada
Hackaday
• Mar 08, 2016
Candy Dispenser Riddles You This
Embedded World Handout Guide
• Feb 23, 2016
Hybrid Verification for High-Integrity Software: Combining Formal Methods with Testing
Electronic Design
• Jan 29, 2016
Comparing Ada and C
Electronic Design
• Nov 19, 2015
What's the Difference Between Ada and SPARK?
Electronic Design
• Oct 27, 2015
What's the Difference Between Secure Comms and Secure Systems?
EE Times
• Sep 21, 2015
Bringing Ada and GNAT to DIYers on Raspberry Pi
All-Electronics
• Sep 09, 2015
Codegenerierung aus Simulink- und Stateflow-Modellen individuell anpassen
Intelligent Aerospace
• Sep 09, 2015