Transcript Семинар в ОАО «ВНИИАЭС» 29.02.2012 Обеспечение качества при создании СУЗ-УСБТ на основе оборудования TELEPERM XS.

Семинар в ОАО «ВНИИАЭС» 29.02.2012
Обеспечение качества при
создании СУЗ-УСБТ на основе
оборудования TELEPERM XS
1
Создание ПТК на основе TELEPERM XS
При создании систем СУЗ-УСБ для Кольской АЭС (блоки 3 и 4),
НВАЭС-2 и ЛАЭС-2 в составе инициирующей части применяется
оборудование TELEPERM XS, включая его аппаратные и
программные компоненты, средства автоматизированного
проектирования и отладки программ, средства для испытаний
интегрированного ПТК на специализированном полигоне
2
Создание ПТК на основе TELEPERM XS
Основополагающие нормативные документы, используемые
для созданию ПТК на основе TELEPERM XS
 МАГАТЭ NS-G-1.3. Системы контрольно-измерительных приборов и
управления, важные для безопасности атомных станций. Руководство
по безопасности;
 МАГАТЭ NS-G-1.1. Программное обеспечение для компьютерных систем,
важных для безопасности АЭС;
 МЭК 61513-2001. Системы контроля и управления важные для
безопасности. Общие требования к системам;
 МЭК 60987-2007. Атомные электростанции. Контрольно-измерительное
оборудование для обеспечения безопасности. Требования к
проектированию оборудования для компьютерных систем;
 МЭК 60880 Изд.2: 2006. Атомные электростанции. Системы контроля и
управления, важные для безопасности. Аспекты программного
обеспечения компьютерных систем, выполняющих функции категории А;
 IEEE 1012-1998. Верификация и валидация программных средств.
3
Создание ПТК на основе TELEPERM XS
Основные документы качества, разрабатываемые при создании ПТК
на основе TELEPERM XS
 Программа обеспечения качества;
 План верификации и валидации;
 Планы качества на шкафы TELEPERM XS;
 План качества на ПТК (на основе TELEPERM XS).
4
Создание ПТК на основе TELEPERM XS
Требования
к
Входные
данные и
станции и
описание
задачи
системам
Валидация, если необходимо
Модификация
Доработка
после монтажа и в
(поэксплуатации
техрешениям)
ходе
ТЗ (ЧТЗ) на систему
к
ЗаданиеТребования
заводу на
системам
изготовление
ПТК
безопасности
Ввод в эксплуатацию
Монтаж и
испытания на АЭС
Монтаж
Валидация
Верификация
Проектирование
Технический
систем
(базовый)
проект
безопасности
Интеграция
на
Испытания
уровне систем
ПТК
на Полигоне
Валидация
Верификация
Верификация
Верификация
Спецификация
модулей системи
Разработка
безопасности
Валидация
Верификация
Интеграция ПТК
на Полигоне
Валидация
Сборка модулей
отладка ПО
Верификация
ТУ
на шкафы TXS
Разработка КДПроцедуры
изготовления
на шкафы TXS
Верификация
Верификация
Изготовление
и
Изготовление
приёмка шкафов
Планы качества
на шкафы TXS
5
Создание ПТК на основе TELEPERM XS
Задание заводу на изготовление (ЗЗИ):
 технологическое задание (этап LEFU1-3);
 база данных (БД) сигналов входных/выходных сигналов;
 спецификация интерфейсных связей;
 поведение системы при отказах/ неисправностях/ проверках;
 электропитание и заземление;
 обеспечение независимости;
 человеко-машинный интерфейс (ЧМИ);
 сигнализация на БПУ и РПУ;
 кабели, подключаемые к шкафам TELEPERM XS;
 кодирование и маркировка;
 описание оборудования, подключаемое к TELEPERM XS.
6
Создание ПТК на основе TELEPERM XS
Технический (базовый) проект ПТК:
 описание системы (ПТК);
 описание тестирования и испытаний;
 описание идентификации и кодирования;
 описание решений по сигнализации;
 описание внутреннего контроля и периодических проверок;
 исходные данные для строительной части;
 описание изоляции для обеспечения независимости;
 каталог типовых решений для интерфейсов;
 описание периодических проверок интерфейсов с другими
системами СКУ;
 описание деградации при неисправностях и проверках;
 принципы разнообразия в реализации прикладного ПО;
 детальные требования (этап LEFU 4).
7
Создание ПТК на основе TELEPERM XS
Расчёты, выполняемые на этапе технического (базового)
проекта ПТК:
 расчет погрешности измерительных каналов ПТК;
 расчет времени реакции ПТК;
 оценка надежности в части ПТК;
 анализ последствий отказов ПТК (FMEA).
8
Создание ПТК на основе TELEPERM XS
Схема разработки и отладки прикладного ПО
Испытательный
стенд
Функциональные
требования
Спецификация
Проектная
БД
Генерация
кодов
Компиляция
Редактор
«SPACE»
Сравнение
Инженертехнолог
Отладка ПО
(«SIVAT»)
Инженерсистемотехник
9
Создание ПТК на основе TELEPERM XS
Состав конструкторской документации на шкафы TXS:
 ведомость документов (UV);
 схема расположения элементов (YD);
 схема электрическая принципиальная (YS);
 таблица оборудования (YV);
 схема расположения перемычек и переключателей (YT);
 таблица подключения (YB);
 спецификация кабелей (YX).
Разрабатывается при помощи САПР «SYNTEC»
10
Создание ПТК на основе TELEPERM XS
Состав проверок при приёмке шкафов TXS:
 входной контроль комплектующих элементов;
 внешний и внутренний осмотр, соответствие чертежам,
маркировка;
 соответствие электрического монтажа электрическим схемам и
перечням кабелей;
 комплектность поставки;
 требования безопасности;
 функциональные характеристики:
• электропитание шкафа;
• сигнализация шкафа;
• проверка загрузки программ, связь по шинам,
параметризация модулей;
• контроль работы процессорных модулей (BASP / WDG);
• приём и выдача сигналов
11
Создание ПТК на основе TELEPERM XS
ERBUS
Испытания ПТК на Полигоне
Панели
безопасности
Стойки питания 24 В
СП
TELEPERM XS
TELEPERM XS
TELEPERM XS
TELEPERM XS
TELEPERM XS
TELEPERM XS
TELEPERM XS
TELEPERM XS
TELEPERM XS
TELEPERM XS
TELEPERM XS
TELEPERM XS
TELEPERM XS
TELEPERM XS
СП
СП
СП
Рабочая станция
управления
ERBUS
АКНП
Испытываемый ПТК
TELEPERM XS
TELEPERM XS
ТПТС
Инжиниринговая
станция TXS
Моделирующая
станция
СП
СП
СП
СП
Сервер
документации
СВБУ
Стойки питания 24 В
12
ERBUS
Создание ПТК на основе TELEPERM XS
Состав испытаний ПТК АЗ-ПЗ УСБИ
Перечень испытаний по этапам
Виды испытаний
.0: Проверка
конфигурации
А
B
C
Тестирование ППО
Испытания на Полигоне
Ввод в эксплуатацию
Конфигурация ПО
Конфигурация ТС
Конфигурация ТС
.1: Проверка
электропитания и
связи, загрузки и
конфигурации ПО
-
Электропитание шкафов
Связь по сети
Конфигурация ПО
Сигнализация шкафа
Электропитание шкафов
Связь по сети
Конфигурация ПО
Сигнализация шкафа
.2: Проверка
передачи сигналов
-
Входные / выходные сигналы
Проверка погрешности
Шлюз с СВБУ
Входные / выходные сигналы
Шлюз с СВБУ
.3: Проверка
показателей работы
ПТК и поведение
при отказах
Поведение при отказах
(в части алгоритмов)
Загрузка шины и процессора
Время прохождения сигналов
Режимы работы
Поведение при отказах
Загрузка шины и процессора
Режимы работы
-
.4: Проверка
заданных функций
Верификация ПО
(«White box»)
Функциональные проверки
Технологическая сигнализация
Деградация логики обр. сигн.
(при необходимости)
.5: Проверка
технологических
задач
Верификация ПО
(«Black box»)
Проверки при имитации
исходных событий
(при необходимости)
13
Создание ПТК на основе TELEPERM XS
Благодарю за внимание
14