{"title":"Issues of Verification and Attestation of Software Programs Used for Calculations of Research Reactors","authors":"T. S. Dikova, M. V. Bulavin, M. V. Rzyanin","doi":"10.1134/S1547477124702406","DOIUrl":null,"url":null,"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>","PeriodicalId":730,"journal":{"name":"Physics of Particles and Nuclei Letters","volume":"22 2","pages":"341 - 344"},"PeriodicalIF":0.4000,"publicationDate":"2025-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Physics of Particles and Nuclei Letters","FirstCategoryId":"1085","ListUrlMain":"https://link.springer.com/article/10.1134/S1547477124702406","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"PHYSICS, PARTICLES & FIELDS","Score":null,"Total":0}
引用次数: 0
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.
期刊介绍：
The journal Physics of Particles and Nuclei Letters, brief name Particles and Nuclei Letters, publishes the articles with results of the original theoretical, experimental, scientific-technical, methodological and applied research. Subject matter of articles covers: theoretical physics, elementary particle physics, relativistic nuclear physics, nuclear physics and related problems in other branches of physics, neutron physics, condensed matter physics, physics and engineering at low temperatures, physics and engineering of accelerators, physical experimental instruments and methods, physical computation experiments, applied research in these branches of physics and radiology, ecology and nuclear medicine.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
