Preview

Доклады БГУИР

Расширенный поиск

ОСОБЕННОСТИ ВЕРИФИКАЦИИ И ВАЛИДАЦИИ ПРИКЛАДНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ПРОГРАММНО-ТЕХНИЧЕСКИХ КОМПЛЕКСОВ НА АППАРАТУРЕ ТПТС ДЛЯ СИСТЕМ БЕЗОПАСНОСТИ АЭС

Аннотация

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.

Просмотров: 265


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1729-7648 (Print)
ISSN 2708-0382 (Online)