Ada
A language commissioned by the US Department of Defense around 1980 to replace the hundreds of languages then used in embedded systems. Named after Ada Lovelace; the standard was numbered MIL-STD-1815 after her birth year.
Designed for systems where failure costs lives: very strong typing where you can declare your own range types checked at runtime, built-in concurrency with tasks and rendezvous, packages with a clear separation between interface and implementation, and exceptions as part of the core language. Used in avionics, rail signalling, spaceflight and medical devices. The SPARK subset goes further and permits formal proof that code is free of runtime errors. Ironically the language's most famous incident is the Ariane 5 failure of 1996 — an unhandled conversion overflow in code reused from Ariane 4, a systems engineering failure rather than a language one.