Hello,
I am pleased to announce that the tutorial titled "Ada on ARM Cortex-M", which was announced here in its early stages, evolved and finally became a regular printed book:
formatting link
The complete book content is still available on-line here:
formatting link
This book is intended as an introduction for Ada beginners and covers also the basic concepts of SPARK that allows to write programs that can be statically proven to be free from runtime errors, which a very efficient approach for embedded systems. The Arduino Due board was used as a base for practical examples, but the book is intended to highlight the exploration process from the very fundamental basics and as such can be used with other boards and other Cortex-M microcontrollers.
Regards,