Ada
Språk beställt av USA:s försvarsdepartement runt 1980 för att ersätta de hundratals språk som användes i inbyggda system. Uppkallat efter Ada Lovelace; standarden fick numret MIL-STD-1815 efter hennes födelseår.
Designat för system där fel kostar liv: mycket stark typning där du kan deklarera egna intervalltyper som kontrolleras vid körning, inbyggd samtidighet med tasks och rendezvous, paket med tydlig åtskillnad mellan gränssnitt och implementation, och undantag som del av språkkärnan. Används i flygelektronik, tågsignalsystem, rymdfart och medicinteknik. Delmängden SPARK går längre och tillåter formell bevisföring av att koden saknar körtidsfel. Ironiskt nog är språkets mest kända incident Ariane 5:s haveri 1996 — ett ohanterat konverteringsspill i kod återanvänd från Ariane 4, alltså ett systemtekniskt fel snarare än ett språkfel.