Articles
Military Embedded Systems
• Mar 20, 2018
Toward safety and security in FACE components: High assurance with portability
Embedded News
• Mar 13, 2018
Secure Programming with SPARK
YouTube
• Feb 13, 2018
Levels of Software Assurance in SPARK
EE News
• Feb 13, 2018
Model-level debugging: a bridge between control engineering and software engineering
Embedded Computing Design
• Jan 02, 2018
Where the software meets the road: Certifying the safety of self-driving cars
Electronic Design
• Dec 21, 2017
Improving Code Quality in the New Year
Electronic Design
• Dec 13, 2017
GNAT Pro Developer Cuts Ada, SPARK Development Costs
EE Journal
• Dec 13, 2017
Let the Formal Be With You Taking on Software Safety and Reliability with Formal Verification
Embedded Computing Design
• Dec 06, 2017
Where the software meets the road: Certifying the safety of self-driving cars
The Ganssle Group
• Dec 05, 2017
The Embedded Muse
stickyminds.com
• Dec 04, 2017
Hybrid Verification: Mixing Formal Methods and Testing
Electronic Design
• Nov 29, 2017
A Look Inside NIST’s “Dramatically Reducing Security Vulnerabilities” Report
Electronic Design
• Nov 13, 2017
Assessing the Ada Language for Audio Applications
Embedded.com
• Sep 06, 2017
Making robots with Ada, Part 2 - Driving the motors
Embedded Computing Design
• Aug 18, 2017
Code cleaning with SPARK and Ada: Cut development costs upfront
Heise Developer
• Aug 08, 2017
Bringing the aerospace safety Mindset to the Automotive Mode
Lauterbach Newsletter
• Jul 10, 2017
Lauterbach et AdaCore s’associent pour GNATcoverage
COTS Journal
• Jul 10, 2017
Ada Language: Trusted Tool for Safety Critical Systems (pages 24-26)
RR Software
• Jun 09, 2017
Code Quality Warnings: Highlighting Likely Bugs Before They Bite
Embedded Computing
• Jun 08, 2017
AdaCore booth video at TU Automotive Detroit 2017
Embedded
• Jun 05, 2017
Making robots with Ada
Electronic Design
• May 18, 2017
Before C, What Did You Use?
Embedded Computing Design
• May 18, 2017
Ada Competition: Look who's a judge!
Electronic Design
• May 09, 2017
Helpful Hints for Adopting SPARK
Military Embedded Systems
• Apr 28, 2017
Military & Commercial Unmanned Systems Designs Leverage Open Architectures
Military & Aerospace
• Apr 26, 2017
The challenge of controlling proliferating unmanned aircraft
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