[pjmlp]

Ada is used in environments were human lifes are at risk life like life support systems, traffic control and so on.

From FOSDEM talks its use has been increasing thanks to C lack of safety, even with MISRA C.

[digi_owl]

Yeah i guess that having the language enforce the rules makes for safer code than trying to impose safety externally.