Современные методы верификации программно-технических комплексов АСУТП АЭС на базе ТПТС

С. А. Королев; Андрей Олегович Толоконский; Виктор Михайлович Рогов

Современные методы верификации программно-технических комплексов АСУТП АЭС на базе ТПТС

С. А. Королев, Андрей Олегович Толоконский, Виктор Михайлович Рогов

Аннотация

Предложены методы верификации программно-технических комплексов АСУТП АЭС на базе ТПТС, а также разработано приложение для автоматизации процессов верификации прикладного программного обеспечения АСУТП АЭС на базе ТПТС. Предложенные методы верификации могут быть применены к программно-техническим комплексам различных изготовителей, а разработанное приложение «v_tool» успешно используется для проектов энергоблока № 4 Белоярской АЭС, энергоблока № 1 Нововоронежской АЭС-2 и энергоблока № 3 Ростовской АЭС. Приведены описание роли верификации в процессе жизненного цикла АСУТП, функций приложения «v_tool», результаты применения разработанных методов верификации.

Ключевые слова

АСУТП, верификация и валидация, автоматизация, тестирование.

Полный текст:

PDF

Литература

Боженков, О.Л. Системная инженерия АСУТП АЭС [Текст] / О.Л. Боженков, А.Б. Кабачников // Ядерные измерительно-информационные технологии. – 2009. -- № 2. – С. 27 – 30.

Зверков, В.В. Автоматизированная система управления технологическими процессами АЭС [Текст] / В. В. Зверков. – М.: МИФИ, 2014. – 558 с.

Дунаев, В.Г. Опыт и перспективы использования инструментальных моделирующих средств и Полигона главного конструктора в проектах АСУТП АЭС [Текст] / В.Г. Дунаев, В.А. Чернаков, Н.Г. Лялюк // Материалы научных конференций ВНИИАЭС. – 2010. – 20 с.

Чернаков, В.А. Опыт использования моделирующих комплексов при внедрении цифровых АСУТП АЭС [Текст] / В.А. Чернаков, С.А. Королев, С.М. Жуков // Тезисы докладов научной сессии МИФИ-2009. -- Том 1. Ядерная физика и энергетика. – 173 с.