Scholarlink

Abstract <p>In the process of developing software programs involved in the process of 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 verify their correct operation through the verification process, in addition to ensuring that the functionality of the software meets the safety needs of nuclear facilities. The article considers 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. It analyses both the attestation process and approaches, as well as programs that require attestation. 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.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Issues of Verification and Attestation of Software Programs Used for Calculations of Research Reactors

  • 期刊论文

  • 发表日期：

    2025年4月1日

查看全文
  • T. S. Dikova,
  • M. V. Bulavin,
  • M. V. Rzyanin

摘要

Abstract

In the process of developing software programs involved in the process of 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 verify their correct operation through the verification process, in addition to ensuring that the functionality of the software meets the safety needs of nuclear facilities. The article considers 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. It analyses both the attestation process and approaches, as well as programs that require attestation. 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.