Электронный каталог

Статья

Dikova, T.S.
Issues of Verification and Attestation of Software Programs Used for Calculations of Research Reactors : XXX International Seminar on Interaction of Neutrons with Nuclei «Fundamental Interactions and Neutrons, Nuclear Structure, Related Topics», Sharm El Sheikh, Egypt, April 14-18, 2024 : Materials / T.S.Dikova, M.V.Bulavin, M.V.Rzyanin // Физика элементарных частиц и атомного ядра. Письма. – 2025. – Т. 22, № 2. – C. 191. – URL: http://www1.jinr.ru/Pepan_letters/panl_2025_2/25_Dikova_ann.pdf.

In the process of developing software programs used for safety justification of nuclear facilities, there are requirements both to the functionality of the software programs and to their verification. These requirements are based on the necessity to confirm their correct operation through the verification process, in addition to ensuring that the functionality of the software meets the safety needs of nuclear facilities. We consider the main requirements of the federal laws and regulatory legal acts of the Russian Federation associated with the attestation and verification of software programs used in research nuclear facilities. Both the attestation process and approaches and the programs that require attestation are analyzed. Recent trends and challenges in the field of validation and verification are discussed, and practical recommendations for validation activities in the research reactor context are offered.



Спец.(статьи,препринты) = С 348 а - Теория и расчет ядерных реакторов
Спец.(статьи,препринты) = Ц 840 в - Программы обработки экспериментальных данных и управление физическими установками$
ОИЯИ = ОИЯИ (JINR)2025