Skip to main content

Software Verification and Validation of Digital Nuclear Instrumentation System

  • Conference paper
  • First Online:
Nuclear Power Plants: Innovative Technologies for Instrumentation and Control Systems (SICPNPP 2019)

Abstract

With the popularity of digital electronic instruments, more and more attention is paid to the safety-related software quality. RPN (nuclear instrumentation system) is a class 1E protection system. RPN is designed to provide a snapshot of neutron activity within the reactor core. RPN provides the snapshot throughout all operational phases, from start-up to full power and post-accident situations. In order to verify the reliability of the software of the digital RPN, the software verification and validation activities are carried out, according to HAD102/16-2004 and IEC60880-2006. The activities include compiling software verification and validation plan, determining the software lifecycle model, verifying the system specification, verifying software requirement, verifying software design, analying code rule, carrying out software unit test, carrying out software integration test and carrying out validation test. These works show that the reliability of the software of the RPN meets the requirements of HAD102/16-2004 and IEC60880-2006, and the performance meets the requirements of the technical specifications.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Nuclear Safety Law of the People’s Republic of China (2017)

    Google Scholar 

  2. Regulation of the State Council of the People’s Republic of China on the Supervision and Administration of Civil Nuclear Safety Equipment No. 500 (2007)

    Google Scholar 

  3. HAF003 Nuclear Power Plant Quality Assurance Safety Regulations (1991)

    Google Scholar 

  4. HAF102 Nuclear Power Plant Quality Design Safety Regulations (2004)

    Google Scholar 

  5. HAD102/16 Nuclear power plants—Instrumentation and control systems important to safety—Software aspects for computer–based systems (2004)

    Google Scholar 

  6. IEC 60880 Nuclear power plants—Instrumentation and control systems important to safety—Software aspects for computer–based systems performing category a functions (2006)

    Google Scholar 

  7. NB/T 20054 Nuclear power plants—Instrumentation and control systems important to safety—Software aspects for computer–based systems performing category a functions (2011)

    Google Scholar 

  8. IEEE 1012 Standard for Software Verification and Validation (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Ju-Zhi Wang .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Singapore Pte Ltd.

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Zhang, M., Wang, JZ., Huang, WJ., Huang, BC. (2020). Software Verification and Validation of Digital Nuclear Instrumentation System. In: Xu, Y., Sun, Y., Liu, Y., Wang, Y., Gu, P., Liu, Z. (eds) Nuclear Power Plants: Innovative Technologies for Instrumentation and Control Systems. SICPNPP 2019. Lecture Notes in Electrical Engineering, vol 595. Springer, Singapore. https://doi.org/10.1007/978-981-15-1876-8_32

Download citation

  • DOI: https://doi.org/10.1007/978-981-15-1876-8_32

  • Published:

  • Publisher Name: Springer, Singapore

  • Print ISBN: 978-981-15-1875-1

  • Online ISBN: 978-981-15-1876-8

  • eBook Packages: Physics and AstronomyPhysics and Astronomy (R0)

Publish with us

Policies and ethics