1-6 of 6
Software verification
Close
Save search
Follow your search
Access your saved searches in your account
Would you like to receive an alert when new items match your search?
Close Modal
Sort by
Proceedings Papers

Technical Architecture About Safety I&C System Software V&V in Nuclear Power Plant

Shengchao Wang, Pengfei Gu, Wangping Ye, Weihua Chen
Proc. ASME. ICONE25, Volume 1: Operations and Maintenance, Engineering, Modifications, Life Extension, Life Cycle and Balance of Plant; I&C, Digital Controls, and Influence of Human Factors, V001T04A009, July 2–6, 2017
Paper No: ICONE25-66369
DOI: https://doi.org/10.1115/ICONE25-66369
View Paper
PDF
Topics: Computer software, Nuclear power stations, Safety, Failure, Instrumentation, Quality control, China, Computers, Control systems, Regulations
Proceedings Papers

Research on Special Analysis of Verification and Validation in Nuclear Power Instrument and Control System

Jingbin Liu, Yan Feng, Ning Qiao, Yunbo Zhang, Zhongqiu Wang
Proc. ASME. ICONE25, Volume 1: Operations and Maintenance, Engineering, Modifications, Life Extension, Life Cycle and Balance of Plant; I&C, Digital Controls, and Influence of Human Factors, V001T04A049, July 2–6, 2017
Paper No: ICONE25-67871
DOI: https://doi.org/10.1115/ICONE25-67871
View Paper
PDF
Topics: Control systems, Instrumentation, Nuclear power, Computer software, China, Cycles, Hazard analysis, Risk analysis, Security analysis, Software verification
Proceedings Papers

A Study About Safety I&C System Software V&V in Nuclear Power Plant

Pengfei Gu, Shengchao Wang, Weihua Chen, Suyuan Yu
Proc. ASME. ICONE24, Volume 1: Operations and Maintenance, Aging Management and Plant Upgrades; Nuclear Fuel, Fuel Cycle, Reactor Physics and Transport Theory; Plant Systems, Structures, Components and Materials; I&C, Digital Controls, and Influence of Human Factors, V001T04A005, June 26–30, 2016
Paper No: ICONE24-60125
DOI: https://doi.org/10.1115/ICONE24-60125
View Paper
PDF
Topics: Computer software, Nuclear power stations, Safety, China, Design, Instrumentation, Maintenance, Pressurized water reactors, Software development, Software verification
Proceedings Papers

Effective Software Verification and Validation Approach for Nuclear Power Plant Digital Instrumentation and Control Systems

Steve Yang, Jun Ding, Huifang Miao, Jianxiang Zheng
Proc. ASME. ICONE18, 18th International Conference on Nuclear Engineering: Volume 1, 659-665, May 17–21, 2010
Paper No: ICONE18-29264
DOI: https://doi.org/10.1115/ICONE18-29264
View Paper
PDF
Topics: Control systems, Instrumentation, Nuclear power stations, Software verification, Cycles, Failure, Safety, China, Computer software, Construction
Proceedings Papers

Digital Instrumentation and Control Systems Upgrades in Current Generation Nuclear Power Plants

Steven A. Arndt
Proc. ASME. ICONE18, 18th International Conference on Nuclear Engineering: Volume 1, 903-910, May 17–21, 2010
Paper No: ICONE18-30358
DOI: https://doi.org/10.1115/ICONE18-30358
View Paper
PDF
Topics: Control systems, Instrumentation, Nuclear power stations, Safety, Design, Computer security, Computer software, Hardware, Licensing, Light water reactors
Proceedings Papers

Quantification Frameworks and Their Application for Evaluating the Software Quality Factor Using Quality Characteristic Value

Chansoo Kim, Chang-Hyun Chung, Kwang Won Ahn
Proc. ASME. ICONE12, 12th International Conference on Nuclear Engineering, Volume 2, 411-417, April 25–29, 2004
Paper No: ICONE12-49142
DOI: https://doi.org/10.1115/ICONE12-49142
View Paper
PDF
Topics: Computer software, Cycles, Power station control systems, Q-factor, Software verification