67651

Автор(ы): 

Будынкова Е. Р. (Акционерное Общество «АЛЬФА-БАНК»)
Байбулатов А. А. (ИПУ РАН, Лаборатория 31)

Автор(ов): 

2

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

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

Доклад

Название: 

О верификации заданий на разработку рабочих баз данных АСУТП АЭС

Электронная публикация: 

Да

ISBN/ISSN: 

978-5-91450-256-7

DOI: 

10.25728/3505.2021.78.35.001

Наименование конференции: 

  • 14-я Международная конференция "Управление развитием крупномасштабных систем" (MLSD-2021)

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

  • Труды 14-й Международной конференции "Управление развитием крупномасштабных систем" (MLSD-2021)

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2021

Страницы: 

1312-1316, https://mlsd2021.ipu.ru/proceedings/1312-1316.pdf
Аннотация
Рассмотрена задача верификации заданий на разработку рабочих баз данных верхнего уровня АСУТП АЭС. Выделено место верификации в жизненном цикле разработки. Предложен алгоритм автоматизации решения задачи в части проверки структуры и содержимого заданий. Подробно изложен один из вариантов реализации алгоритма.

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

Будынкова Е.Р., Байбулатов А.А. О верификации заданий на разработку рабочих баз данных АСУТП АЭС / Труды 14-й Международной конференции "Управление развитием крупномасштабных систем" (MLSD-2021). М.: ИПУ РАН, 2021. С. 1312-1316, https://mlsd2021.ipu.ru/proceedings/1312-1316.pdf.