Dependability Assessment of Software for Safety Instrumentation and Control Systems at Nuclear Power Plants

Defines a framework that represents the state of the art in assessment methodologies for safety and instrumentation and control software used at nuclear power plants. The book describes an approach for developing and communicating assessments based on claims, argument and evidence.