Article
Sep 22 '14
Published
in EmbeddedRelated.com by Michael Silva
Michael Silva shows how Ada can be used to program a 7-segment display on a microcontroller, and how Ada detected a bug in his program that would have gone undetected in some other commonly used languages.
Article
Sep 19 '14
Published
in Electronic Design by Jerry Petrey
The author discusses using Ada on a small microcontroller board, the STmicroelectronics STM32F407 Discovery board.
Article
Aug 4 '14
Published
in EmbeddedRelated.com by Michael Silva
Micheal Silva discusses using a newly released GNAT system to program an STM32F4 Discovery board.
Article
Jul 7 '14
Published
in Electronic Design by William Wong
The author discusses using Ada on bare ARM microcontroller boards.
Article
Apr 25 '14
Published
in EmbeddedRelated.com by Michael Silva
Michael Silva discusses using Ada 2012 on the ARM Cortex M3/M4 microcontroller.
Article
Mar 19 '14
Published
in Electronic Design by William Wong
William Wong discusses using Ada on a BeagleBone Black board, using an ARM Cortex-8 processor.
Article
Aug 4 '13
Published
in Emebedded.com by Stuart Matthews
Stuart Matthews explains how SPARK 2014 uses and extends the features of Ada 2012 for automated verification of programs.
Article
Apr 9 '13
Published
in Dr. Dobbs by Robert Dewar
This article is a tour of the new contract features in Ada 2012.
Article
Apr 9 '13
Published
in Embedded.com by Jack Ganssle
Jack Ganssle describes and discusses the McCormick, Singhoff, and Hugues book on embedded programming in Ada, suggesting that embedded programmers should read it, regardless of which language they currently use. (He calls it “new”, but it’s been around a while, having an April 2011 publication date and it’s been posted here for a while.)
