Ada
Een programmeertaal die rond 1980 in opdracht van het Amerikaanse ministerie van Defensie ontstond om de honderden talen in embedded systemen te vervangen. Vernoemd naar Ada Lovelace; de norm kreeg als nummer MIL-STD-1815, haar geboortejaar.
Ontworpen voor systemen waar falen mensenlevens kost: zeer sterke typering met eigen bereiktypen die tijdens het uitvoeren worden gecontroleerd, ingebouwde gelijktijdigheid met tasks en rendezvous, pakketten met een heldere scheiding tussen interface en implementatie, en uitzonderingen als kernonderdeel van de taal. Ada wordt gebruikt in de luchtvaart, bij spoorbeveiliging, in de ruimtevaart en in medische apparatuur. De subset SPARK gaat verder en maakt formeel bewijs mogelijk dat code vrij is van runtimefouten. Ironisch genoeg is het bekendste incident rond de taal de mislukte Ariane 5-lancering van 1996: een onafgevangen overflow bij een conversie in code die van Ariane 4 was hergebruikt. Een fout in de systeemtechniek, niet in de taal.