Developing and analyzing high-level designs for safety-critical software systems

The author gives an introduction to software safety and a framework for developing and analyzing safety-critical high-level designs. The framework outlines important activities that should take place when developing critical designs, presents approaches for doing these activities, and suggests various methods and strategies that support designs for safety. The framework provides a design-independent approach and includes activities such as high-level-design hazard analysis, developing verificative information, and conducting a critical review