CASE STUDY: NUCLEAR POWER PLANT

Herrmann, Debra S.: Software safety and reliability : techniques, approaches, and standards of key industrial sectors. – Computer Soc. Press : Los Alamitos, CA, 1999. – ISBN 0-7695-0299-7. Chapter 6, pages 229–273.

The book chapter mainly presents two standards for software reliability in nuclear power plants. You will have to use several other resources, taken for example from the literature references at the end of chapter 6.