Ada
Un linguaggio commissionato dal Dipartimento della Difesa degli Stati Uniti intorno al 1980 per sostituire le centinaia di linguaggi allora usati nei sistemi embedded. Prende il nome da Ada Lovelace; lo standard fu numerato MIL-STD-1815 dal suo anno di nascita.
Progettato per sistemi in cui un guasto costa vite umane: tipizzazione molto forte, con tipi a intervallo definiti dall'utente e controllati a runtime; concorrenza integrata con task e rendezvous; package con una netta separazione tra interfaccia e implementazione; eccezioni come parte del linguaggio di base. Usato in avionica, segnalamento ferroviario, voli spaziali e dispositivi medici. Il sottoinsieme SPARK va oltre e consente di dimostrare formalmente l'assenza di errori a runtime. Ironia della sorte, l'incidente più celebre del linguaggio è il fallimento dell'Ariane 5 nel 1996 — un overflow in una conversione non gestita, in codice riutilizzato dall'Ariane 4: un errore di ingegneria dei sistemi, non del linguaggio.