https://libeldoc.bsuir.by/handle/123456789/45591| Title: | Верификация прикладного программного обеспечения УСБ АЭС посредством САПР GET-R1 |
| Other Titles: | Verification of NPP safety control system application software using GET-R1 CAD |
| Authors: | Селиверстов, Е. С. Галицын, Ю. С. Иванова, А. А. Seliverstov, E. S. Galitsyn, Y. S. Ivanova, A. A. |
| Keywords: | материалы конференций;программное обеспечение;верификация;управляющие системы безопасности;software;verification;safety control systems |
| Issue Date: | 2021 |
| Publisher: | БГУИР |
| Citation: | Селиверстов, Е. С. Верификация прикладного программного обеспечения УСБ АЭС посредством САПР GET-R1 / Селиверстов Е. С., Галицын Ю. С., Иванова А. А. // Автоматизированные системы управления технологическими процессами АЭС и ТЭС = Instrumentation and control systems for NPP and TPP : материалы II Международной научно-технической конференции, Минск, 27-28 апреля 2021 года / Белорусский государственный университет информатики и радиоэлектроники. – Минск, 2021. – С. 68–71. |
| Abstract: | Темой доклада является освещение процедуры верификации прикладного программного обеспечения УСБ Белорусской АЭС посредством САПР GET-R1. Описаны инструменты САПР, позволяющие проводить верификацию, и приведена методология испытаний прикладного программного обеспечения. |
| Alternative abstract: | 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. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/45591 |
| Appears in Collections: | Автоматизированные системы управления технологическими процессами АЭС и ТЭС (2021) |
| File | Description | Size | Format | |
|---|---|---|---|---|
| Seliverstov_Verifikatsiya.pdf | 418.58 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.