Библиографическое описание:Королев, С. А. Современные методы верификации программно-технических комплексов АСУТП АЭС на базе ТПТС / Королев С. А., Толоконский А. О., Рогов В. М. - (Атомные электростанции). - Текст : непосредственный // Электрические станции. - 2016. - № 8. - С. 9-15 : 7 рис., 1 табл. - Библиогр.: с. 15 (4 назв. ). - ISSN 0201-4564.
Аннотация:Предложены методы верификации программно-технических комплексов АСУТП АЭС на базе ТПТС, а также разработано приложение для автоматизации процессов верификации прикладного программного обеспечения АСУТП АЭС на базе ТПТС. Предложенные методы верификации могут быть применены к программно-техническим комплексам различных изготовителей, а разработанное приложение "v_tool" успешно используется для проектов энергоблока № 4 Белоярской АЭС, энергоблока № 1 Нововоронежской АЭС-2 и энергоблока № 3 Ростовской АЭС. Приведены описание роли верификации в процессе жизненного цикла АСУТП, функций приложения "v_tool", результаты применения разработанных методов верификации.
