SAFECOMP ’93 pp 171-181 | Cite as

The Rigorous Retrospective Static Analysis of the Sizewell ‘B’ Primary Protection System Software

  • N. J. Ward
Conference paper


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.


Consultancy Service Code Change Pressurise Water Reactor Replacement Rule Mathematical Specification 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    IEC 880. Software for Computers in the Safety Systems of Nuclear Power Stations. International Electrotechnical Commission. 1986.Google Scholar
  2. 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. 3.
    TACS/020/17/2. MALPAS Management Guide. TA Consultancy Services Ltd. Issue 3, February 1992.Google Scholar

Copyright information

© Springer-Verlag London Limited 1993

Authors and Affiliations

  • N. J. Ward
    • 1
  1. 1.TA Consultancy Services LtdFarnhamEngland

Personalised recommendations