title: ÐÐ»Ð³Ð¾ÑÐ¸ÑÐ¼Ð¸Ð·Ð°ÑÐ¸Ñ Ð¸ Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ¸Ð·Ð°ÑÐ¸Ñ Ð¿ÑÐ¾ÑÐµÑÑÐ° Ð²ÐµÑÐ¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¸ Ð¿ÑÐ¾ÐµÐºÑÐ½ÑÑ ÑÑÐ½ÐºÑÐ¸Ð¹ Ð±ÐµÐ·Ð¾Ð¿Ð°ÑÐ½Ð¾ÑÑÐ¸ Ð´Ð»Ñ Ð¿ÑÐ¾ÐµÐºÑÐ° ÐÐ­Ð¡ "ÐÐ°ÐºÑ-2"
title: Ð²ÑÐ¿ÑÑÐºÐ½Ð°Ñ ÐºÐ²Ð°Ð»Ð¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¾Ð½Ð½Ð°Ñ ÑÐ°Ð±Ð¾ÑÐ° Ð¼Ð°Ð³Ð¸ÑÑÑÐ°
titleType: Subtitle
title: Algorithmization and automation of the verification process of design safety functions for the Â«Paks-2Â» NPP project
Creators: name: ÐÑÐ·Ð½ÐµÑÐ¾Ð², ÐÐ¸ÐºÐ¸ÑÐ°
Publisher: name: Ð¡Ð°Ð½ÐºÑ-ÐÐµÑÐµÑÐ±ÑÑÐ³ÑÐºÐ¸Ð¹ Ð¿Ð¾Ð»Ð¸ÑÐµÑÐ½Ð¸ÑÐµÑÐºÐ¸Ð¹ ÑÐ½Ð¸Ð²ÐµÑÑÐ¸ÑÐµÑ ÐÐµÑÑÐ° ÐÐµÐ»Ð¸ÐºÐ¾Ð³Ð¾
Year: 2024
Subjects: ÐÑÐ¾Ð¼Ð½ÑÐµ ÑÐ»ÐµÐºÑÑÐ¸ÑÐµÑÐºÐ¸Ðµ ÑÑÐ°Ð½ÑÐ¸Ð¸
Ð¯Ð´ÐµÑÐ½ÑÐµ ÑÐµÐ°ÐºÑÐ¾ÑÑ
ÐÐ°Ð·Ñ Ð´Ð°Ð½Ð½ÑÑ
Ð½Ð¾ÑÐ¼Ð°ÑÐ¸Ð²Ð½ÑÐµ ÑÑÐµÐ±Ð¾Ð²Ð°Ð½Ð¸Ñ
ÐºÐ¾Ð´ÐµÐºÑ ÑÐ´ÐµÑÐ½Ð¾Ð¹ Ð±ÐµÐ·Ð¾Ð¿Ð°ÑÐ½Ð¾ÑÑÐ¸
Ð¿ÑÐ¾ÐµÐºÑÐ½Ð°Ñ Ð´Ð¾ÐºÑÐ¼ÐµÐ½ÑÐ°ÑÐ¸Ñ
ÑÑÐ½ÐºÑÐ¸Ð¸ Ð±ÐµÐ·Ð¾Ð¿Ð°ÑÐ½Ð¾ÑÑÐ¸
Ð²ÐµÑÐ¸ÑÐ¸ÐºÐ°ÑÐ¸Ñ
regulatory requirements
nuclear safety codes
design documentation
safety functions
verification

description: ÐÐ°Ð½Ð½Ð°Ñ ÑÐ°Ð±Ð¾ÑÐ° Ð¿Ð¾ÑÐ²ÑÑÐµÐ½Ð° ÑÐ¾Ð·Ð´Ð°Ð½Ð¸Ñ ÑÐµÐ»ÑÑÐ¸Ð¾Ð½Ð½Ð¾Ð¹ Ð±Ð°Ð·Ñ Ð´Ð°Ð½Ð½ÑÑ Ð´Ð»Ñ Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ¸Ð·Ð°ÑÐ¸Ð¸ Ð²ÑÐ¿Ð¾Ð»Ð½ÐµÐ½Ð¸Ñ Ð°Ð½Ð°Ð»Ð¸Ð·Ð° Ð¿ÑÐ¾ÐµÐºÑÐ½ÑÑ ÑÐµÑÐµÐ½Ð¸Ð¹ Ñ ÑÐµÐ»ÑÑ Ð¾Ð±Ð½Ð°ÑÑÐ¶ÐµÐ½Ð¸Ñ Ð¸ ÑÑÑÑÐ°Ð½ÐµÐ½Ð¸Ñ Ð¾ÑÐºÐ»Ð¾Ð½ÐµÐ½Ð¸Ð¹ Ð¾Ñ ÑÑÐµÐ±Ð¾Ð²Ð°Ð½Ð¸Ð¹ ÐºÐ¾Ð´ÐµÐºÑÐ° ÑÐ´ÐµÑÐ½Ð¾Ð¹ Ð±ÐµÐ·Ð¾Ð¿Ð°ÑÐ½Ð¾ÑÑÐ¸ Ð¸ EPC-ÐºÐ¾Ð½ÑÑÐ°ÐºÑÐ° Ð½Ð° ÑÐ¾Ð¾ÑÑÐ¶ÐµÐ½Ð¸Ðµ ÐÐ­Ð¡ Â«ÐÐ°ÐºÑ-2Â». ÐÐ°Ð´Ð°ÑÐ¸, ÐºÐ¾ÑÐ¾ÑÑÐµ ÑÐµÑÐ°Ð»Ð¸ÑÑ Ð² ÑÐ¾Ð´Ðµ ÑÐ°Ð±Ð¾ÑÑ: 1) ÐÐ½Ð°Ð»Ð¸Ð· Ð¾Ð±ÑÑÐ¼Ð° ÑÑÐµÐ±Ð¾Ð²Ð°Ð½Ð¸Ð¹ ÐºÐ¾Ð´ÐµÐºÑÐ° ÑÐ´ÐµÑÐ½Ð¾Ð¹ Ð±ÐµÐ·Ð¾Ð¿Ð°ÑÐ½Ð¾ÑÑÐ¸ Ð¸ EPC-ÐºÐ¾Ð½ÑÑÐ°ÐºÑÐ°, ÑÐ¾ÑÑÐ°Ð²Ð»ÑÑÑÐ¸Ñ Ð¿ÑÐ¾ÐµÐºÑÐ½ÑÑ Ð¾ÑÐ½Ð¾Ð²Ñ ÐÐ­Ð¡ Â«ÐÐ°ÐºÑ-2Â». 2) ÐÐ½Ð°Ð»Ð¸Ð· ÑÑÑÑÐºÑÑÑÑ ÑÑÐ½ÐºÑÐ¸Ð¾Ð½Ð°Ð»ÑÐ½ÑÑ ÑÐ¿ÐµÑÐ¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¹ Ð¸ Ð²ÑÑÐ²Ð»ÐµÐ½Ð¸Ðµ Ð°ÑÐ¿ÐµÐºÑÐ¾Ð², ÐºÐ¾ÑÐ¾ÑÑÐµ Ð¿Ð¾Ð´Ð»ÐµÐ¶Ð°Ñ ÑÐµÐ°Ð»Ð¸Ð·Ð°ÑÐ¸Ð¸ Ð² Ð²Ð¸Ð´Ðµ ÑÐµÐ»ÑÑÐ¸Ð¾Ð½Ð½Ð¾Ð¹ Ð±Ð°Ð·Ñ Ð´Ð°Ð½Ð½ÑÑ. 3) Ð Ð°Ð·ÑÐ°Ð±Ð¾ÑÐºÐ° Ð±Ð°Ð·Ñ Ð´Ð°Ð½Ð½ÑÑ Ð¸ Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ¸Ð·Ð°ÑÐ¸Ñ Ð¿ÑÐ¾ÑÐµÑÑÐ° ÐµÑ Ð½Ð°Ð¿Ð¾Ð»Ð½ÐµÐ½Ð¸Ñ. 4) ÐÐ¾Ð´Ð²ÐµÐ´ÐµÐ½Ð¸Ðµ Ð¸ÑÐ¾Ð³Ð¾Ð² ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐºÐ¸ Ð±Ð°Ð·Ñ Ð´Ð°Ð½Ð½ÑÑ. 5) ÐÐ½Ð°Ð»Ð¸Ð· Ð±Ð°Ð·Ñ Ð´Ð°Ð½Ð½ÑÑ Ñ ÑÐµÐ»ÑÑ Ð¾Ð±Ð½Ð°ÑÑÐ¶ÐµÐ½Ð¸Ñ Ð¸ ÑÑÑÑÐ°Ð½ÐµÐ½Ð¸Ñ Ð¾ÑÐºÐ»Ð¾Ð½ÐµÐ½Ð¸Ð¹ Ð¾Ñ ÑÑÐµÐ±Ð¾Ð²Ð°Ð½Ð¸Ð¹ Ð½Ð¾ÑÐ¼Ð°ÑÐ¸Ð²Ð½Ð¾Ð¹ Ð´Ð¾ÐºÑÐ¼ÐµÐ½ÑÐ°ÑÐ¸Ð¸ Ð¸ EPC-ÐºÐ¾Ð½ÑÑÐ°ÐºÑÐ°. Ð ÑÐµÐ·ÑÐ»ÑÑÐ°ÑÐµ Ð±ÑÐ»Ð¾ Ð²ÑÑÐ²Ð»ÐµÐ½Ð¾ Ð¸ Ð¾Ð±Ð¾ÑÐ½Ð¾Ð²Ð°Ð½Ð¾ Ð¾ÑÐºÐ»Ð¾Ð½ÐµÐ½Ð¸Ðµ Ð¾Ñ Ð¿Ð¾ÑÑÐ´ÐºÐ° Ð¿ÑÐ¸Ð¾ÑÐ¸ÑÐµÐ·Ð°ÑÐ¸Ð¸ ÐºÐ¾Ð¼Ð°Ð½Ð´ Ð½Ð° ÑÐ¿ÑÐ°Ð²Ð»ÐµÐ½Ð¸Ðµ Ð¸ÑÐ¿Ð¾Ð»Ð½Ð¸ÑÐµÐ»ÑÐ½ÑÐ¼Ð¸ Ð¼ÐµÑÐ°Ð½Ð¸Ð·Ð¼Ð°Ð¼Ð¸, ÑÑÐ°ÑÑÐ²ÑÑÑÐ¸Ð¼Ð¸ Ð² ÑÑÐ½ÐºÑÐ¸ÑÑ Ð±Ð¾ÑÐ¸ÑÐ¾Ð²Ð°Ð½Ð¸Ñ Ð¿ÐµÑÐ²Ð¾Ð³Ð¾ ÐºÐ¾Ð½ÑÑÑÐ° Ð¸ ÑÐ½Ð¸Ð¶ÐµÐ½Ð¸Ñ Ð´Ð°Ð²Ð»ÐµÐ½Ð¸Ñ Ð² Ð¿ÐµÑÐ²Ð¾Ð¼ ÐºÐ¾Ð½ÑÑÑÐµ Ð¿ÑÐ¸ ÑÐµÑÐ¸ Ð¸Ð· Ð¿ÐµÑÐ²Ð¾Ð³Ð¾ ÐºÐ¾Ð½ÑÑÑÐ° Ð²Ð¾ Ð²ÑÐ¾ÑÐ¾Ð¹. Ð¢Ð°ÐºÐ¸Ð¼ Ð¾Ð±ÑÐ°Ð·Ð¾Ð¼, Ð¿ÑÐ¸Ð¼ÐµÐ½ÐµÐ½Ð¸Ðµ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐ°Ð½Ð½Ð¾Ð¹ Ð±Ð°Ð·Ñ Ð´Ð°Ð½Ð½ÑÑ Ð¿Ð¾Ð·Ð²Ð¾Ð»Ð¸Ð»Ð¾ Ð¿ÑÐ¾Ð´ÐµÐ¼Ð¾Ð½ÑÑÑÐ¸ÑÐ¾Ð²Ð°ÑÑ Ð²ÑÐ¿Ð¾Ð»Ð½ÐµÐ½Ð¸Ðµ ÑÑÐµÐ±Ð¾Ð²Ð°Ð½Ð¸Ð¹ ÐÐµÐ½Ð³ÐµÑÑÐºÐ¾Ð³Ð¾ Ð½Ð°Ð´Ð·Ð¾ÑÐ½Ð¾Ð³Ð¾ Ð¾ÑÐ³Ð°Ð½Ð° Ð¿ÑÐ¸ Ð¾Ð±Ð¾ÑÐ½Ð¾Ð²Ð°Ð½Ð¸Ð¸ Ð±ÐµÐ·Ð¾Ð¿Ð°ÑÐ½Ð¾ÑÑÐ¸ Ð¿ÑÐ¾ÐµÐºÑÐ° ÐÐ­Ð¡ Â«ÐÐ°ÐºÑ-2Â» Ð´Ð»Ñ Ð¿Ð¾Ð»ÑÑÐµÐ½Ð¸Ñ Ð»Ð¸ÑÐµÐ½Ð·Ð¸Ð¸ Ð½Ð° ÑÑÑÐ¾Ð¸ÑÐµÐ»ÑÑÑÐ²Ð¾ Ð¸ ÑÐºÑÐ¿Ð»ÑÐ°ÑÐ°ÑÐ¸Ñ ÐÐ­Ð¡.
description: This work is devoted to the creation of a relational database for automating the analysis of design solutions to detect and eliminate deviations from the requirements of the Nuclear Safety Codes and the EPC contract for the construction of the Â«Paks-2Â» NPP. Tasks that were solved during the work: 1) Analysis of the scope of the requirements of the Nuclear Safety Codes and the EPC contract, which form the design basis of the Â«Paks-2Â» NPP. 2) Analysis of the structure of functional specifications and identification of aspects to be implemented in the form of a relational database. 3) Database development and automation of its filling process. 4) Summarizing the results of the database development. 5) Analysis of the database to detect and eliminate deviations from the requirements of regulatory documentation and the EPC contract. As a result, a deviation from the order of prioritization of commands for controlling actuators involved in the functions of boration of the first circuit and pressure reduction in the first circuit in case of leakage from the first circuit to the second was revealed and justified. Thus, the application of the developed database made it possible to demonstrate compliance with the requirements of the Hungarian Supervisory Authority in justifying the safety of the Â«Paks-2Â» NPP project for obtaining a license for the construction and operation of nuclear power plants.