Not sure if I'm understanding your question correctly, but Wind River claims their Diab compiler is validated by TÜV NORD and is has been used for stuff up to S

Not sure if I'm understanding your question correctly, but Wind River claims their Diab compiler is validated by TÜV NORD and is has been used for stuff up to SIL4. In fact, they (http://windriver.com/products/product-overviews/PO_Diab_Compiler_1211.pdf http://windriver.com/products/product-overviews/PO_Diab_Comp...) say: Diab Compiler has been a reliable code generation tool for avionics products certified for DO-178B, products for the nuclear market certified to IEC 60880, railway applications certified to EN 50128, and industrial products certified to IEC 61508, and is now qualified for use in automotive applications certified to ISO 26262. Ada does have some built-in advantages, but I think my point still stands: the language is a small part of the entire SDLC, and I don't think it's the most important part.