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
New book: Ada and SPARK on ARM Cortex-M
Started by ●June 13, 2015
Reply by ●June 15, 20152015-06-15
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.comThanks. I may look into this soon.
