Instead of starting with a long rationale for using Ada to program embedded systems, I'm just going to say this: "Why not"? After all, Ada was designed from the start as a safe and secure computer programming language, initially developed for the United States Department of Defense (DoD) to be used in embedded systems such as aircrafts, ships, radars, or command and control systems that operate in real time, as events are occuring. The following links will explain all of this (much better than I could ever do...) AdaCore's video: Developing Embedded Systems in Ada Jack Ganssle's video: Ada - Even on a Microcontroller! This blog will address the topic of using Ada on the following platforms: BBC Micro:Bit and STM32F4 Discovery . Edit: Although not exactly an embedded platform, there will also be examples about using AdaCore's GNAT and the Linux Simple I/O Library from Philip Munts on Raspberry Pi boards. Another thing that got me into starti...