DEV-TOOLSMarch 28, 20261 min read5 views

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

A comprehensive guide to using Ada and SPARK for secure embedded system development on ARM Cortex-M microcontrollers, featuring practical examples for Arduino and Nucleo boards.

| |

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: | |

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 |

Source: Hacker News

More in this category

dev-tools

Linux kernel will support $ORIGIN, sort of

Farid Zakaria shares his journey of proposing a patch to the Linux kernel to support relocatable binaries in Nix, which evolved into a powerful eBPF-based solution for binfmt_misc.

dev-tools

Five US tech giants' hidden debts soar to $1.65T on opaque AI funding

A Nikkei study reveals that off-balance-sheet debts at five major US tech companies have surged eightfold to $1.65 trillion, driven by massive AI investments like data center leases and GPU contracts.

dev-tools

Running Doom on Our Custom CPU and Going Viral

Two developers successfully built a custom CPU from scratch at the logic gate level, deployed it on an FPGA, and optimized its memory architecture to run the classic game DOOM.

dev-tools

Incremental – A library for incremental computations

Incremental is a library designed for building complex computations that update efficiently when inputs change. Inspired by self-adjusting computation research, it is highly useful for large-scale calculations, GUI views, and data synchronization.

dev-tools

Flock Credibility Lost as It Repeatedly Lies to City Councils, Police, & Public

Flock Safety, a prominent provider of automatic license plate readers (ALPR), is facing a severe credibility crisis after being caught repeatedly misleading city councils, police departments, and the public about its surveillance capabilities and data practices.

dev-tools

Human mathematicians are being outcounterexampled

In just a few weeks, advanced AI models like ChatGPT Sol and Claude Fable have disproved long-standing mathematical conjectures by finding precise counterexamples and auto-formalizing them in Lean.