ОСОБЕННОСТИ ВЕРИФИКАЦИИ И ВАЛИДАЦИИ ПРИКЛАДНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ПРОГРАММНО-ТЕХНИЧЕСКИХ КОМПЛЕКСОВ НА АППАРАТУРЕ ТПТС ДЛЯ СИСТЕМ БЕЗОПАСНОСТИ АЭС
Abstract
2 февраля 2015
About the Authors
Е. Маликова
Всероссийский научно-исследовательский институт автоматики им. Н.Л. Духова
Belarus
Belarus
С. Купцов
Всероссийский научно-исследовательский институт автоматики им. Н.Л. Духова
Belarus
Belarus
References
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.
Review
For citations:
, . Doklady BGUIR. 2015;(2):52-55. (In Russ.)
Views: 329
Email this article 