60616

Автор(ы): 

Будынкова Е. Р. (Федеральное государственное бюджетное образовательное учреждение высшего образования «Московский авиационный институт (национальный исследовательский университет)»)
Байбулатов А. А. (ИПУ РАН, Лаборатория 31)

Автор(ов): 

2

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

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

Доклад

Название: 

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

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

Да

ISBN/ISSN: 

978-5-91450-252-9

DOI: 

10.25728/mlsd.2020.1353

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

  • 13-я Международная конференция «Управление развитием крупномасштабных систем» (MLSD'2020, Москва)

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

  • Труды 13-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2020, Москва)

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

2020

Страницы: 

1353-1359, https://mlsd2020.ipu.ru/proceedings/1353-1359.pdf
Аннотация
Рассмотрена задача автоматизации проверки корректности заданий для проектирования рабочих баз данных верхнего уровня АСУТП АЭС. Представлен алгоритм решения в части проверки как структуры, так и содержимого заданий, включая полный разбор KKS-кода с исследованием всех его секторов. Приведен перечень наиболее часто встречающихся несоответствий.

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

Будынкова Е.Р., Байбулатов А.А. Пример автоматизации проверки исходных данных для проектирования рабочих баз данных АСУТП АЭС / Труды 13-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2020, Москва). М.: ИПУ РАН, 2020. С. 1353-1359, https://mlsd2020.ipu.ru/proceedings/1353-1359.pdf.