I am not advocating that every aspect of a system is tested by an agency, I am simply saying that there should be a body that ensures that safety-critical softw

I am not advocating that every aspect of a system is tested by an agency, I am simply saying that there should be a body that ensures that safety-critical software development follows a basic set of best practices - avoiding some of pitfalls mentioned in the article.