Articles
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
Open Source in High-Integrity Systems
Aviation Today
• Apr 09, 2014
Real Time Operating Systems Addressing the Certification, Security and Standards Dilemmas
JAXenter
• Apr 09, 2014
Security is one of the biggest problems for the IoT right now
Embedded.com
• Mar 29, 2014
Alternatives to C/C++ for system programming in a distributed multicore world
Military & Aerospace Electronics
• Mar 29, 2014
Software considerations for multicore hardware environments
Electronic Design
• Mar 20, 2014
ARMing Ada
Military Embedded Systems
• Mar 07, 2014
Safety certification concerns for UAVs in national airspace
Embedded Systems Programming
• Mar 06, 2014
AdaCore releases GNAT Pro 7.2 with more ARM support
Electronic Design
• Mar 05, 2014
Use Contracts To Enforce Effective Coding
Dr. Dobbs
• Mar 04, 2014
AdaCore Flies GNAT Pro 7.2
Embedded
• Feb 18, 2014
Parallelism joins concurrency for multicore embedded computing
John Day's Automotive Electronics
• Feb 04, 2014
Will My Car be Safe to Drive?
Business Computing World
• Jan 20, 2014