ОСОБЕННОСТИ ВЕРИФИКАЦИИ И ВАЛИДАЦИИ ПРИКЛАДНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ПРОГРАММНО-ТЕХНИЧЕСКИХ КОМПЛЕКСОВ НА АППАРАТУРЕ ТПТС ДЛЯ СИСТЕМ БЕЗОПАСНОСТИ АЭС
About the Authors
Е. Маликова
Всероссийский научно-исследовательский институт автоматики им. Н.Л. Духова
Belarus
С. Купцов
Всероссийский научно-исследовательский институт автоматики им. Н.Л. Духова
Belarus
References
1. GOST R MEK 60880 - 2011 «Atomnye elektrostantsii. Sistemy kontrolya i upravleniya, vazhnye dlya bezopasnosti. Programmnoe obespechenie komp'yuternykh sistem, vypolnyayushchikh funktsii kategorii A».
2. GOST R ISO/MEK 12207-2010 «Informatsionnaya tekhnologiya. Sistemnaya i programmnaya inzheneriya. Protsessy zhiznennogo tsikla programmnykh sredstv».
3. Verifikatsiya i validatsiya programmnykh sredstv upravlyayushchikh sistem, vazhnykh dlya bezopasnosti atomnykh stantsii. Obshchie trebovaniya. Rukovodyashchii dokument. 58413824.23512.001-390.RD-01-2002.M.
4. IEEE Std 1012. IEEE Standard for Software Verification and Validation Plans.
For citations:
,
. Doklady BGUIR. 2015;(2):52-55.
(In Russ.)
Views: 389
Email this article 