ОСОБЕННОСТИ ВЕРИФИКАЦИИ И ВАЛИДАЦИИ ПРИКЛАДНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ПРОГРАММНО-ТЕХНИЧЕСКИХ КОМПЛЕКСОВ НА АППАРАТУРЕ ТПТС ДЛЯ СИСТЕМ БЕЗОПАСНОСТИ АЭС
Аннотация
2 февраля 2015
Об авторах
Е. Ю. Маликова
Всероссийский научно-исследовательский институт автоматики им. Н.Л. Духова
Беларусь
Беларусь
С. И. Купцов
Всероссийский научно-исследовательский институт автоматики им. Н.Л. Духова
Беларусь
Беларусь
Список литературы
1. ГОСТ Р МЭК 60880 - 2011 «Атомные электростанции. Системы контроля и управления, важные для безопасности. Программное обеспечение компьютерных систем, выполняющих функции категории А».
2. ГОСТ Р ИСО/МЭК 12207-2010 «Информационная технология. Системная и программная инженерия. Процессы жизненного цикла программных средств».
3. Верификация и валидация программных средств управляющих систем, важных для безопасности атомных станций. Общие требования. Руководящий документ. 58413824.23512.001-390.РД-01-2002.М.
4. IEEE Std 1012. IEEE Standard for Software Verification and Validation Plans.
Рецензия
Для цитирования:
Маликова Е.Ю., Купцов С.И. ОСОБЕННОСТИ ВЕРИФИКАЦИИ И ВАЛИДАЦИИ ПРИКЛАДНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ПРОГРАММНО-ТЕХНИЧЕСКИХ КОМПЛЕКСОВ НА АППАРАТУРЕ ТПТС ДЛЯ СИСТЕМ БЕЗОПАСНОСТИ АЭС. Доклады БГУИР. 2015;(2):52-55.
Просмотров: 328
Послать статью по эл. почте 