Forums

New book: Ada and SPARK on ARM Cortex-M

Started by Unknown June 13, 2015
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:

http://www.lulu.com/shop/maciej-sobczak/ada-and-spark-on-arm-cortex-m/paperback/product-22195745.html

The complete book content is still available on-line here:

http://inspirel.com/articles/Ada_On_Cortex.html

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,

-- 
Maciej Sobczak * http://www.inspirel.com
On Saturday, June 13, 2015 at 5:18:28 PM UTC-4, see.my....@gmail.com wrote:
> 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: > > http://www.lulu.com/shop/maciej-sobczak/ada-and-spark-on-arm-cortex-m/paperback/product-22195745.html > > The complete book content is still available on-line here: > > http://inspirel.com/articles/Ada_On_Cortex.html > > 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, > > -- > Maciej Sobczak * http://www.inspirel.com
Thanks. I may look into this soon.