1. Главная
  2. Ресурсы
  3. Библиотечный поиск
  4. Журнал «Электрические станции»
  5. Выпуск 2016 г. № 8
Современные методыверификациипрограммно-технических комплексов АСУТПАЭС на базе ТПТС Королев С. А.Толоконский А. О.Рогов В. М.2016 год

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

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

Похожие публикации

О технологииинтеллектуализацииАСУТП на базе ПТК Тверской Ю. С.Гайдина Ю. А.2023 год

О технологии интеллектуализации АСУТП на базе ПТК : статья из журнала

  • Тверской Ю. С. и др.
  • 2023 год

Методика статического анализа для поиска дефектов естественной семантики программных объектов и… : статья из журнала

  • Викторов Д. С. и др.
  • 2018 год
Итоги разработкиновых цифровых АСУТПАЭС Зверков В. В.Боженков О. Л.2016 год

Итоги разработки новых цифровых АСУТП АЭС : статья из журнала

  • Зверков В. В. и др.
  • 2016 год
Методикаавтоматизированногоуправления качествомпри прототипированииаппаратно-программныхкомплексов на базеПЛИС… Брехов О. М.Корнеенкова А. В.Кордовер К. А.2012 год

Методика автоматизированного управления качеством при прототипировании аппаратно-программных… : статья из журнала

  • Брехов О. М. и др.
  • 2012 год
Формированиеалгоритмовоперативнойблокировки поинформационныммоделям однолинейныхсхем электроустановок Трофимов А. В.Поляков А. М.Абдухалилов Г. А.2015 год

Формирование алгоритмов оперативной блокировки по информационным моделям однолинейных схем… : статья из журнала

  • Трофимов А. В. и др.
  • 2015 год

Аппаратно-программный комплекс на базе рекордера МКМ-11 : статья из журнала

  • Солдатов А. В. и др.
  • 2018 год
Основные решения пореализации алгоритмоврегулирования частотыи мощности крупныхэнергоблоков спрямоточными котлами Тузов И. В.Никольский Д. Ю.Биленко В. А.2024 год

Основные решения по реализации алгоритмов регулирования частоты и мощности крупных энергоблоков с… : статья из журнала

  • Тузов И. В. и др.
  • 2024 год

Программно-технические комплексы АСУТП АЭС. Функциональные и структурные решения : учебное пособие

  • Зверков В. В.
  • 2018 год

Показать ещё

Анализ подходов кпостроению АСУТП АЭС Зверков В. В.2015 год

Анализ подходов к построению АСУТП АЭС : статья из журнала

  • Зверков В. В.
  • 2015 год
Интеллектуальныемодели рассуждений всоветчике диспетчераэлектрических сетей Любарский Ю. Я.2017 год

Интеллектуальные модели рассуждений в советчике диспетчера электрических сетей : статья из журнала

  • Любарский Ю. Я.
  • 2017 год
Особенностиинтегрированной АСУТПАдлерской ТЭС Таламанов С. А.Абрамов А. М.Саленко А. С.2015 год

Особенности интегрированной АСУТП Адлерской ТЭС : статья из журнала

  • Таламанов С. А. и др.
  • 2015 год
Нормативноерегулирование вобласти обеспечениясейсмостойкостиважных длябезопасности систем иэлементов… Казновский П. С.Казновский А. П.Сааков Э. С.2012 год

Нормативное регулирование в области обеспечения сейсмостойкости важных для безопасности систем и… : статья из журнала

  • Казновский П. С. и др.
  • 2012 год
Обоснованиеперспектив выбораосновногоэлектрооборудования вцепи генератораэнергоблоков большоймощности атомных… Андреев Д. А.Назарычев А. Н.Фольварчук А. С.2023 год

Обоснование перспектив выбора основного электрооборудования в цепи генератора энергоблоков… : статья из журнала

  • Андреев Д. А. и др.
  • 2023 год
Системаавтоматизированногопроектированиямолниезащитыподстанций ивоздушных линий Борисов Р. К.Жуликов С. С.Кошелев М. А.2018 год

Система автоматизированного проектирования молниезащиты подстанций и воздушных линий : статья из журнала

  • Борисов Р. К. и др.
  • 2018 год
О концепцииобслуживания иремонта элементоватомныхэлектростанций Гуринович В. Д.Янченко Ю. А.Ткачук С. А.2017 год

О концепции обслуживания и ремонта элементов атомных электростанций : статья из журнала

  • Гуринович В. Д. и др.
  • 2017 год
Выбор и обоснованиеоптимальных схем ПТУв составеэнергокомплекса набазе АЭС с ВВЭР-СКДИи ГТУ Башлыков Дмитрий ОлеговичХрусталев ВладимирАлександрович2013 год

Выбор и обоснование оптимальных схем ПТУ в составе энергокомплекса на базе АЭС с ВВЭР-СКДИ и ГТУ : статья из журнала

  • Башлыков Дмитрий Олегович и др.
  • 2013 год