Ada Resource Association

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.

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 article is a tour of the new contract features in Ada 2012.

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.

Embedded.com denoted one of their weekly Tech Focus issues to Ada. This is the overview article, full of links to other Ada articles (most of which have been previously featured here).