Inspirel banner

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:

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


Ada on Cortex book cover