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

Голубев П.А., Жарко Е.Ф.

DOI: 10.25728/avtprom.2022.11.05

Рассмотрены вопросы верификации и валидации прикладного программного обеспечения систем верхнего уровня АСУТП АЭС. Представлена формализованная модель верификации и валидации цифровых систем АСУТП. Выделены задачи верификации и валидации прикладного программного обеспечения в части рабочих баз данных, которые необходимо решить для повышения качества разработки подсистем АСУТП АЭС, а соответственно, и безопасности эксплуатации энергоблоков АЭС.

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

Последний вышедший номер

Читайте в номере:

Опыт обеспечения функциональной безопасности продуктов

Робототизированный комплекс для диагностики ремонта элементов ЛЭП под напряжением

Многопараметрический нейрорегулятор для подогревателя нефтяной эмульсии

Машинное обучение и блокчейн

Готовится к печати

Читайте в номере:

Метод адаптивного программирования роботизированного технологического комплекса на основе данных, получаемых от систем технического зрения

Программно-технический комплекс промышленного 3D сканирования

Интеллектуальный метод решения задачи ранжирования требований по информационной безопасности в организационной системе её обеспечения

Адрес редакции: 117997, Москва, Профсоюзная ул., д. 65, оф. 360
Телефон: (926) 212-60-97.
E-mail: info@avtprom.ru или avtprom@ipu.ru