Verification on application program generation and loading for safety systems of nuclear power plants based on the reverse engineering method
The 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 functi...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
National Research Nuclear University (MEPhI)
2018-12-01
|
| Series: | Nuclear Energy and Technology |
| Online Access: | https://nucet.pensoft.net/article/31868/download/pdf/ |