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

Inspirel banner
About Us Products Articles News Contact Support YouTube LinkedIn


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     Ada on Cortex book cover

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

 


Copyright (c) 2007-2024, Inspirel