The optimal approach for the processes of verification and validation of NPP software and hardware complexes

Korolev, Sergej Andreevich; Tolokonsky, A; Rogov, V

doi:10.1088/1742-6596/781/1/012048

J. Phys.: Conf. Ser.

2017

DOI: 10.1088/1742-6596/781/1/012048

|View full text |Cite

The optimal approach for the processes of verification and validation of NPP software and hardware complexes

Sergej Andreevich Korolev

A Tolokonsky

V Rogov

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2018

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The main design solutions for I&C systems of modern Russian NPPs are presented in (Zverkov 2017, Bozhenkov 2009, Zverkov 2015, Dunaev and Korolev 2011, Zverkov 2014, Yastrebenetsky 2011; the verification methods for software/hardware complexes of NPP TPTS-based I&C systems are described in (Korolev et al 2017, Korolev et al 2016; the modern international safety requirements for software/hardware complexes of NPP are contained in the IAEA/IEC documents (IAEA SSR-2/1 2012, IEC 61513-2002 2002, IAEA NS-G-1.1 2000)…”

mentioning

confidence: 99%

Verification on application program generation and loading for safety systems of nuclear power plants based on the reverse engineering method

Belonosov

Kishkin

Korolev

2018

NUCET

View full text Add to dashboard Cite

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.

show abstract

mentioning

confidence: 99%

Verification on application program generation and loading for safety systems of nuclear power plants based on the reverse engineering method

Belonosov

Kishkin

Korolev

2018

NUCET

View full text Add to dashboard Cite

show abstract

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.

Contact Info

hi@scite.ai

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Made with 💙 for researchers

Part of the Research Solutions Family.

The optimal approach for the processes of verification and validation of NPP software and hardware complexes

Cited by 1 publication

References 0 publications

Verification on application program generation and loading for safety systems of nuclear power plants based on the reverse engineering method

Verification on application program generation and loading for safety systems of nuclear power plants based on the reverse engineering method

Contact Info

Product

Resources

About