Ada Resource Association

The author discusses using Ada on a small microcontroller board, the STmicroelectronics STM32F407 Discovery board.

Micheal Silva discusses using a newly released GNAT system to program an STM32F4 Discovery board.

The author discusses using Ada on bare ARM microcontroller boards.

Michael Silva discusses using Ada 2012 on the ARM Cortex M3/M4 microcontroller.

William Wong discusses using Ada on a BeagleBone Black board, using an ARM Cortex-8 processor.

Stuart Matthews explains how SPARK 2014 uses and extends the features of Ada 2012 for automated verification of programs.

This two-part article discusses the benefits of developing code with automated static analysis, and then shows examples of doing so, using SPARK.

This article is a tour of the new contract features in Ada 2012.

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.)

Nelson H. F. Beebe at the University of Utah has used tools to search the collected bibliographies of over 784,000 publications to create a bibliography of publications on the Ada Programming Language, Charles Babbage, and Ada Lovelace. This bibliography is updated frequently, and contains (as of this writing) over 1500 entries. Additional versions and more information can be found at http://www.math.utah.edu/pub/tex/bib/index-table-a.html#adabooks; the tools used can be found at http://www.math.utah.edu/pub/bibtools.html. The bibliography doesn’t include articles in the Ada User Journal or SIGAda’s Ada Letters, these have their own bibliographies, http://ftp.math.utah.edu/pub//tex/bib/adauserj.pdf and http://ftp.math.utah.edu/pub//tex/bib/sigada.pdf, respectively.