Quand on parle de systèmes embarqués, on parle surtout de programmation embarquée.
Il s'agit d'un type spécifique de programmation qui prend en charge la conception d'appareils qui utilisent leur propre système d'exploitation et pas un système d'exploitation traditionnel comme sur un ordinateur.
Plusieurs langages de programmation se veulent destinés à cet usage parmi lesquels se trouve Ada.
Des langages proches de la machine comme le C et dans une moindre mesure le C++ sont aussi utilisés.
Le langage assembleur reste encore un choix approprié pour les systèmes soumis à des contraintes sévères de temps réel.
Un système informatique embarqué reçoit des informations du monde extérieur par le moyens de capteurs (ou senseurs).
Il mémorise et traite ces informations par l'unité de traitement (le microprocesseur) puis renvoie des informations vers le monde extérieur par l'intermédiaire des actionneurs (ou actuateurs).