The target model of the NRNU MEPhI provides, in particular, the transition to the use of distance learning platforms, integrated with the international educational environment and social learning networking. A special place in education network is allocated to computer tools to support the learning process. These tools include Cyber Learning Platform for Nuclear Education and Training (CLP4NET) related to the automated monitoring systems and support of the learning process. NRNU MEPhI pays particular attention to Control and managed content (CMC), virtual labs and PC-based simulators of nuclear power plant (NPP), and especially when they are used as part of CLP4NET.
Keywords-Cyber Learning Platform for Nuclear Education;Control and managed content; virtual laboratories; PC-based simulators of nuclear power plant.
Citation: Belonosov MA, Kishkin VL, Korolev SA (2018) Verification on application program generation and loading for safety systems of nuclear power plants based on the reverse engineering method. Nuclear Energy and Technology 4(4): 223-228. https://
AbstractThe article describes an automated verification method used for application software of control safety systems based on the TPTS-SB equipment. Verification is performed by comparing two mathematical models (oriented graphs): one obtained by processing the original design data, i.e., graphical functional diagrams, and the other formed by reversing the program code loaded from the controller. The vertices in both graphs are functional blocks of mathematical and logical operations; the edges are connections between them. The constructed mathematical models undergo a comparison, covering the vertices and edges of the graphs as well as the memory cells and values of constants. The equivalence of mathematical models proves the correspondence between the program code and the initial set of design functional diagrams.The proposed automated verification method makes it possible to prove that no distortion is introduced into the program during the process of converting graphical functional diagrams into the program code with its subsequent translation and loading into the controller. It is postulated that any distortions will be detected during the verification procedure, which is performed every time after loading the code into the controller.The solution provides an acceptable speed when large volumes of vector graphics stored in a relational database are processed, and makes it possible to visualize the verification results. The proposed method is implemented in the GET-R1 instrumentation tools for TPTS-SB and is used in designing and verifying the application software of the safety systems at the Belarusian NPP.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.