bsuirДоклады БГУИРDoklady BGUIR1729-76482708-0382БГУИРbsuir-424Research ArticleСтатьиОСОБЕННОСТИ ВЕРИФИКАЦИИ И ВАЛИДАЦИИ ПРИКЛАДНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ПРОГРАММНО-ТЕХНИЧЕСКИХ КОМПЛЕКСОВ НА АППАРАТУРЕ ТПТС ДЛЯ СИСТЕМ БЕЗОПАСНОСТИ АЭСМаликоваЕ. Ю.noemail@neicon.ruКупцовС. И.noemail@neicon.ruВсероссийский научно-исследовательский институт автоматики им. Н.Л. ДуховаBelarus201503062019025255Copyright © Маликова Е.Ю., Купцов С.И., 20192019Маликова Е.Ю., Купцов С.И.Маликова Е.Ю., Купцов С.И.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://doklady.bsuir.by/jour/article/view/424
2 февраля 2015
ReferencesГОСТ Р МЭК 60880 - 2011 «Атомные электростанции. Системы контроля и управления, важные для безопасности. Программное обеспечение компьютерных систем, выполняющих функции категории А».ГОСТ Р МЭК 60880 - 2011 «Атомные электростанции. Системы контроля и управления, важные для безопасности. Программное обеспечение компьютерных систем, выполняющих функции категории А».ГОСТ Р ИСО/МЭК 12207-2010 «Информационная технология. Системная и программная инженерия. Процессы жизненного цикла программных средств».ГОСТ Р ИСО/МЭК 12207-2010 «Информационная технология. Системная и программная инженерия. Процессы жизненного цикла программных средств».Верификация и валидация программных средств управляющих систем, важных для безопасности атомных станций. Общие требования. Руководящий документ. 58413824.23512.001-390.РД-01-2002.М.Верификация и валидация программных средств управляющих систем, важных для безопасности атомных станций. Общие требования. Руководящий документ. 58413824.23512.001-390.РД-01-2002.М.IEEE Std 1012. IEEE Standard for Software Verification and Validation Plans.IEEE Std 1012. IEEE Standard for Software Verification and Validation Plans.
The authors declare that there are no conflicts of interest present.