The Rigorous Retrospective Static Analysis of the Sizewell ‘B’ Primary Protection System Software
Sizewell ‘B’ is a Westinghouse designed Nuclear Pressurised Water Reactor (PWR) currently being built in Sizewell, Suffolk in the UK. It possesses two diverse protection systems whose role is to provide an automatic reactor trip when plant conditions reach safety limits and to actuate emergency safeguard features to limit consequences of a failure condition.
KeywordsConsultancy Service Code Change Pressurise Water Reactor Replacement Rule Mathematical Specification
Unable to display preview. Download preview PDF.
- 1.IEC 880. Software for Computers in the Safety Systems of Nuclear Power Stations. International Electrotechnical Commission. 1986.Google Scholar
- 2.Demonstrating Equivalence of Source code and PROM Contents. Paper by D J Pavey & L A Winsborrow of Nuclear Electric, presented at the Fourth European Workshop on Dependable Computing on April 8–10, 1992 in Prague, Czechoslovakia.Google Scholar
- 3.TACS/020/17/2. MALPAS Management Guide. TA Consultancy Services Ltd. Issue 3, February 1992.Google Scholar