71302

Автор(ы): 

Голубев П. А. (РФЯЦ-ВНИИЭФ "НИИИС им. Ю.Е. Седакова")
Жарко Е. Ф. (ИПУ РАН, Лаборатория 31)

Автор(ов): 

2

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

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

ISBN/ISSN: 

1819-5962

DOI: 

10.25728/avtprom.2022.11.05

Наименование источника: 

  • Автоматизация в промышленности

Обозначение и номер тома: 

№ 11

Город: 

  • Москва

Издательство: 

  • ООО Издательский дом ИнфоАвтоматизация

Год издания: 

2022

Страницы: 

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

Библиографическая ссылка: 

Голубев П.А., Жарко Е.Ф. Особенности верификации и валидации заданий на прикладное программное обеспечение систем верхнего уровня АСУТП АЭС // Автоматизация в промышленности. 2022. № 11. С. 25-27.