Ada and SPARK on ARM Cortex-M

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:

 Very Simple Scheduler

Read this book on-line:

You can also buy this book:

1. Introduction 2. Documentation and Tools 3. First Program 4. Linking and Booting 5. Digital Output 6. Very Simple Delays 7. Random Numbers 8. Digital Input 9. Finite State Machines, Part 1 10. Constant Values 11. Finite State Machines, Part 2 12. Machine Code Insertions 13. Interrupts 14. Shared State 15. Finite State Machines, Part 3 16. System Timer 17. Hello World! 18. Mixing Ada With C and C++ 19. Runtime Errors And SPARK 20. Loose Ends