Asset Details
Do you wish to reserve the book?
Research on reliability evaluation method of nuclear power plant control system network
Hey, we have placed the reservation for you!
By the way, why not check out events that you can attend while you pick your title.
Oops! Something went wrong.
Looks like we were not able to place the reservation. Kindly try again later.
Are you sure you want to remove the book from the shelf?
Research on reliability evaluation method of nuclear power plant control system network
Do you wish to request the book?
Research on reliability evaluation method of nuclear power plant control system network
Please be aware that the book you have requested cannot be checked out. If you would like to checkout this book, you can reserve another copy
We have requested the book for you!
Your request is successful and it will be processed during the Library working hours. Please check the status of your request in My Requests.
Oops! Something went wrong.
Looks like we were not able to place your request. Kindly try again later.
Journal Article
Research on reliability evaluation method of nuclear power plant control system network
2026
Overview
With the continuous development of digital technology, digital control systems (DCS) have been widely used in nuclear power units. The reliability of the control system network directly affects the overall reliability of the control system. If the performance of the control system network deteriorates or fails, it may lead to a decrease in the overall response speed of the control system, and in severe cases, even the loss of the monitoring function of the nuclear power plant control system. Therefore, evaluating the reliability of the instrumentation and control network is of great significance for improving the safety and availability of the system. In current network reliability studies, the analysis is mainly based on the failure rate of equipment firmware, while ignoring the impact of communication mechanisms. Furthermore, network verification is mainly carried out in the testing phase, relying on hardware environment construction, and cannot identify problems in the design phase. This study introduces formal verification technology based on model checking. It takes a client-server system network with a two-layer dual-ring structure as the target network, constructs a formal model, and conducts a comprehensive verification of the connectivity and performance reliability of the instrumentation and control system network, focusing on various network reliability indicators. This network verification method employs formal model testing and can be performed during the design phase, covering multiple dimensions of network reliability attributes. It achieves exhaustive state-space verification through mathematical modeling and simulates extreme faults without requiring a complete hardware environment, thus providing a design basis for evaluating network reliability indicators.
Publisher
IOP Publishing
