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

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

DOI: 10.25728/avtprom.2022.11.05

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

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

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

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

Построение модели производственных данных по ГОСТ Р МЭК 62264 и проектирование интеграционного взаимодействия

Разработка облика универсального стенда с моделью динамики и рычагами управления летательного аппарата

Алгоритмическое обеспечение предварительной обработки изображений в условиях обнаружения и классификации дефектов процесса 3D-печати методом FDM на основе технического зрения

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

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