A long term colleague of mine, Daniel Berinson, has published an article called Innovation and Practice in Software and Systems Engineering. In this article Berinson discusses issue with the manner in which safety critical systems are built, and laments the lack of instruction that graduates receive in the fundamentals of constructing safety critical systems.
Berinson makes some critical points: