Articles
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
Reducing Cost of Defensive Code – The Ada 2012 Approach
Electronic Design
• Aug 31, 2015
The Day of the Three Glitches
Electronic Design
• Aug 25, 2015
Ada/SPARK Fixes Crazyflie Nano Quadrotor
Embedded Computing Design
• Jul 12, 2015
Vehicle automation: Who should have ultimate control?
John Day's Automotive Electronics
• Apr 23, 2015
Will MY Car be Hacker Proof?
Military Embedded Systems
• Apr 13, 2015
COTS software challenges in the military electronics market
Embedded Computing Design
• Apr 10, 2015
Drone safety, what's next?
elektroniknet
• Feb 23, 2015
Unterschiede von freie Software, Open Source und FLOSS (German only)
Electronic Design
• Jan 12, 2015
Requiem for a Bug – Verifying Software, Part 2: Formal Verification through SPARK 2014
Bloor Research
• Nov 19, 2014
SPARK 2014 lowers the barriers to low-defect programming
Embedded Computing Design
• Nov 13, 2014
Advanced static analysis for reusable libraries and subsystems
Electronic Design
• Nov 05, 2014
Verifying Software: Testing and Static Analysis
CrossTalk (page 17)
• Nov 04, 2014
Static Analysis Tools Pass the Quals
Embedded Computing Design
• Oct 01, 2014
Open Source Software Everywhere?
John Day's Automotive Electronics
• Sep 30, 2014
Automotive Automation: Lessons from Other Domains
Electronic Design
• Sep 19, 2014
ARMed and Ready
LXer
• Sep 04, 2014
Interview With Richard Kenner of AdaCore
Embedded.com
• Aug 14, 2014
Safe and secure object-oriented programming with Ada 2012's contracts
Military Embedded Systems
• Aug 08, 2014
Ada Watch: Bringing Ada onto the battlefield
SD Times
• Jul 29, 2014
Security is front and center for developers
Electronic Design
• Jul 09, 2014
Running Ada 2012 On The Cortex-M4
Dr. Dobbs
• Jun 04, 2014
After Heartbleed: A Look at Languages that Support Provability
Electronics Weekly
• May 28, 2014