[eduardordm]

The actual language has little to do with the current widespread use of Ada in critical aviation software. The main reason lies in the certification process and reuse of certified tools. I wrote a little about it here: http://eduardo.intermeta.com.br/posts/2013/2/10/making-aviat...

[foobarqux]

C is usually supported as well as or better than Ada so it does have to do with the language.

[coolsunglasses]

A certified C compiler a la CompCert is still nothing like Ada Spark. C just lends itself too easily to error.

[seanmcdirmid]

With certified tools?