My knowledge of safety critical software is not extensive and several years out of date, but my understanding is that the big two languages in safety critical s

My knowledge of safety critical software is not extensive and several years out of date, but my understanding is that the big two languages in safety critical software are still MISRA C (a subset of C designed to enforce safety via static analysis, see http://en.wikipedia.org/wiki/MISRA_C http://en.wikipedia.org/wiki/MISRA_C), and Ada. As far as I'm aware, Fortran and Algol are not widely used. But feel free to correct me.