| DC Field | Value | Language |
|---|
| dc.contributor.author | Селиверстов, Е. С. | - |
| dc.contributor.author | Галицын, Ю. С. | - |
| dc.contributor.author | Иванова, А. А. | - |
| dc.contributor.author | Seliverstov, E. S. | - |
| dc.contributor.author | Galitsyn, Y. S. | - |
| dc.contributor.author | Ivanova, A. A. | - |
| dc.date.accessioned | 2021-10-11T06:07:31Z | - |
| dc.date.available | 2021-10-11T06:07:31Z | - |
| dc.date.issued | 2021 | - |
| dc.identifier.citation | Селиверстов, Е. С. Верификация прикладного программного обеспечения УСБ АЭС посредством САПР GET-R1 / Селиверстов Е. С., Галицын Ю. С., Иванова А. А. // Автоматизированные системы управления технологическими процессами АЭС и ТЭС = Instrumentation and control systems for NPP and TPP : материалы II Международной научно-технической конференции, Минск, 27-28 апреля 2021 года / Белорусский государственный университет информатики и радиоэлектроники. – Минск, 2021. – С. 68–71. | ru_RU |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/45591 | - |
| dc.description.abstract | Темой доклада является освещение процедуры верификации прикладного программного обеспечения УСБ Белорусской АЭС посредством САПР GET-R1. Описаны инструменты САПР, позволяющие проводить верификацию, и приведена методология испытаний прикладного программного обеспечения. | ru_RU |
| dc.language.iso | ru | ru_RU |
| dc.publisher | БГУИР | ru_RU |
| dc.subject | материалы конференций | ru_RU |
| dc.subject | программное обеспечение | ru_RU |
| dc.subject | верификация | ru_RU |
| dc.subject | управляющие системы безопасности | ru_RU |
| dc.subject | software | ru_RU |
| dc.subject | verification | ru_RU |
| dc.subject | safety control systems | ru_RU |
| dc.title | Верификация прикладного программного обеспечения УСБ АЭС посредством САПР GET-R1 | ru_RU |
| dc.title.alternative | Verification of NPP safety control system application software using GET-R1 CAD | ru_RU |
| dc.type | Статья | ru_RU |
| local.description.annotation | The topic of the report is to highlight the procedure for verifying the application software of the safety control system of the Belarusian NPP using the CAD GET-R1. The CAD tools that allow for verification are described, and the methodology for testing the application software is given. | - |
| Appears in Collections: | Автоматизированные системы управления технологическими процессами АЭС и ТЭС (2021)
|
