Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
IEC 880. Software for Computers in the Safety Systems of Nuclear Power Stations. International Electrotechnical Commission. 1986.
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.
TACS/020/17/2. MALPAS Management Guide. TA Consultancy Services Ltd. Issue 3, February 1992.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag London Limited
About this paper
Cite this paper
Ward, N.J. (1993). The Rigorous Retrospective Static Analysis of the Sizewell ‘B’ Primary Protection System Software. In: Górski, J. (eds) SAFECOMP ’93. SAFECOMP 1993. Springer, London. https://doi.org/10.1007/978-1-4471-2061-2_19
Download citation
DOI: https://doi.org/10.1007/978-1-4471-2061-2_19
Published:
Publisher Name: Springer, London
Print ISBN: 978-3-540-19838-3
Online ISBN: 978-1-4471-2061-2
eBook Packages: Springer Book Archive