In my experience, military electronics design and test, and especially software design, implementation, integration, and verification do not follow modern practice. The production of software artifacts, as demanded by certification processes, does not produce more robust or reliable software...