Documentation for safety critical software

The paper briefly reviews some of the fundamental difficulties presented by the design and the validation of software for safety critical applications. It suggests that software formal documentation techniques may be one way to ameliorate the problems we describe. The principles behind a method of documenting both requirements and software design are presented. The method is based on concepts proposed by D.L. Parnas, H. D. Mills, and J. Madey …