close

Вход

Забыли?

вход по аккаунту

код для вставкиСкачать
РАЗВИТИЕ МЕТОДОВ ВЕРИФИКАЦИИ
ПРИКЛАДНОГО ПРОГРАММНОГО
ОБЕСПЕЧЕНИЯ ПРОГРАММНО-ТЕХНИЧЕСКИХ
КОМПЛЕКСОВ НА БАЗЕ ТПТС АСУ ТП АЭС
Всероссийский Научно-Исследовательский Институт по
эксплуатации Атомных Электростанций
Зятников А.Н., Волков Д.А., Рогов В.М.
Минск
Февраль 2015
Обобщенная V-модель типового жизненного цикла АСУ ТП АЭС
Валидация АСУ ТП
Проект АЭС,
технологическое задание
Верификация СКУ
ТЗ, ЧТЗ
Опытная эксплуатация,
приемочные испытания
СКУ
Промышленная
эксплуатация
АСУ ТП
Автономные и
комплексные
испытания на
площадке АЭС
Верификация ПТК/ПТС
Испытания на заводеизготовителе и/или
Полигоне АСУ ТП
Задание заводу на
изготовление
переход на следующий этап ЖЦ
Изготовление
процедура верификации
Соответствует МЭК 61513
www.rosatom.ru
2
Этапы стратегии верификации / валидации АСУ ТП (СКУ) АЭС
1) Анализ выполнения требований ТЗ и ЧТЗ в ЗЗИ ПТК;
2) Анализ реализации технологических алгоритмов в ППО ПТК ;
3) Верификация задания заводу на изготовление в части баз данных,
содержащих информацию по сигналам и механизмам, таблиц подключения,
каталогов типовых решений, схем подключений;
4) Верификация прикладных конфигураций функциональных компонент СКУ
(ППО ПТК / ТС ОДУ / РБД и видеокадров СВБУ);
5) Автономные испытания ПТК / ПТС на заводе-изготовителе;
6) Предварительные комплексные испытания СКУ в составе интегрированных
комплексов (каждый интегрированный комплекс включает в себя: ПТК, ТС
ОДУ в составе панелей и пультов, а также РБД и видеокадры СВБУ) на
площадке АЭС;
7) Валидация СКУ в процессе ПНР и режимных испытаний энергоблока.
www.rosatom.ru
3
Полигон ГК АСУ ТП АО «ВНИИАЭС»
www.rosatom.ru
4
Схема проверок при выполнении ПКИ
Подготовительный этап испытаний на площадке АЭС
Проверка правильности
монтажа
Диагностика питания
Диагностика функциональных
модулей
Диагностика шины
Верификация интегрированного комплекса
Панели и пульты
Кнопки
управления
Индикаторы
состояния
СВБУ
Показывающие
приборы
ПТК ТПТС
Видеокадры
Архив
Контроль значения параметра на ТС ОДУ
Контроль значения параметра на СВБУ
Управление с СВБУ
Контроль состояния индикаторов на ТС ОДУ
Управление с ключей и кнопок панели ТС ОДУ
Контроль состояния ИМ, ключей и кнопок на СВБУ
www.rosatom.ru
5
Выполнение СТ на Полигоне ГК АСУ ТП с
использованием ИС ЭНИКАД
Статическое тестирование
Электронные фасады ТС ОДУ
Математическая модель ПТК
СВБУ
АРМы сотрудников (Эникад в режиме
«Модель»)
Коммутатор
Локальная сеть
www.rosatom.ru
6
Выполнение ПАИ на площадке АЭС с использованием ИС ЭНИКАД
ЭНИКАД в режиме «Связь»
Передача данных по шине EN
ПТК СКУ на базе ТПТС
ТС ОДУ
СВБУ
Оптические/проводные связи
www.rosatom.ru
7
Средства автоматизированной верификации ЗЗИ
Автоматизированные проверки приложения «v_tool» условно разделены
на несколько этапов:
1) анализ БД ЗЗИ и выявление ошибок, возникающих при разработке БД ЗЗИ;
2) анализ, проверка реализации прикладного программного обеспечения ПТК на
базе ТПТС (GET-проект) на соответствие базе данных задания заводу на
изготовление (БД ЗЗИ);
3) анализ ППО в части GET-проекта (включая анализ исполняемого кода) и
выявление ряда ошибок, возникающих при проектировании GET-проекта;
4) анализ РБД СВБУ и выявление ошибок, возникающих при её генерации;
5) подготовка файлов для экспорта в ИС «ЭНИКАД» и СВБУ «ПОРТАЛ» с целью
верификации ТС ОДУ (проверки связей GET-проекта и панелей ТС ОДУ).
www.rosatom.ru
8
Изменения компонент ЗЗИ в ходе СТ и ПАИ
Выпуск ЗЗИ
БД, схемы,
таблицы
подключения
GET-проект
Верификация
ТА
ЗЗИ редакция 1
БД, схемы,
таблицы
подключения
GET-проект
Верификация
ТА
ЗЗИ редакция N
БД, схемы,
таблицы
подключения
GET-проект
Верификация
ТА
Передача в ПНР
анализ изменения ЗЗИ;
повторная верификация при необходимости;
проверка устранения замечаний.
www.rosatom.ru
9
Статистика замечаний, выявленных при проведении СТ и ПАИ
департаментом испытаний АО «ВНИИАЭС»
Проект
Количество GETпланов ПТК
Откорректировано
GET-планов по
замечаниям/
рекомендациям
АО ВНИИАЭС
БелАЭС-4
55124
12499
31 %
РстАЭС-3
64045
17134
71 %
НВАЭС 2-1
25332
9600
76 %
www.rosatom.ru
% соотношения
замечаний, выявленных
с использованием v_tool,
к замечаниям,
выявленным «вручную»
10
Планирование работ по верификации департамента
испытаний АО ВНИИАЭС
Калининская АЭС
э/б № 4
(НИАЭП)
Ростовская АЭС
э/б № 3
(НИАЭП)
Нововоронежская
АЭС-2 э/б № 1
(АЭП)
Ростовская АЭС
э/б № 4
(НИАЭП)
www.rosatom.ru
Опыт проведения верификации с
использованием ИС «ЭНИКАД»
Начата разработка средств для
автоматизированной верификации
Белоярская АЭС
э/б № 4
(СпбАЭП)
Нововоронежская
АЭС-2 э/б № 2
(АЭП)
База знаний
Накопление опыта верификации
Увеличение объёма проверок,
выполняемых автоматизировано
Применение опыта верификации ЗЗИ
на ПТК различных проектировщиков
(НИАЭП, АЭП, СпбАЭП)
Дальнейшая автоматизация проверок
Применение полученного опыта на
предыдущих проектах
11
CПАСИБО ЗА ВНИМАНИЕ!
1/--страниц
Пожаловаться на содержимое документа