Ada and Spark on ARM Cortex-M – A Tutorial with Arduino and Nucleo Examples

| |

This tutorial was written for all those who are interested in programming embedded systems and who would like to explore the idea of using Ada and SPARK in systems based on ARM Cortex-M microcontrollers.

The accompanying code is available here: ada-on-cortex.zip

Bonus content:

| Read this book on-line: | You can also buy this book: | |

1. Introduction 10. Constant Values 11. Finite State Machines, Part 2 13. Interrupts 14. Shared State 15. Finite State Machines, Part 3 16. System Timer 17. Hello World! 20. Loose Ends |