Отчет о научно-исследовательской работе по теме "Технологии и инструментарий для надежного управления производственными участками Интернета Вещей", промежуточный, этап 2.ФЦП "Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2014-2020 годы". Соглашение о предоставлении субсидии от 17.07.2017 г. №14.584.21.0022 (уникальный идентификатор проекта RFMEFI58417X0022.

Объект исследования: сетецентрическая система управления надежными поведенческими моделями производственных участков Интернета вещей. Цель: создание теории описания надежных и безопасных поведенческих моделей управления производственными участками Интернета вещей и прототипа технологии автоматизированного проектирования и разработки надежного и эффективного сетецентрического управления производственными процессами Интернета вещей (ИВ). Завершена разработка теории формального описания и построения поведенческих моделей ИВ; разработаны методы доказательства корректности поведенческих моделей ИВ разных уровней управления и коммуникации в процессе символьной верификации. Рассмотрены процедура автоматизации создания корректной и надежной поведенческой модели системы ИВ в процессе символьной верификации, процедуры детализации и конкретизации поведенческой модели до уровня, позволяющего генерировать надежный исполнимый код. Разработан для прототипа программного комплекса, обеспечивающего проектирование конкретной модели ИВ для производственного участка, модуль формализации корректной поведенческой модели ИВ на основе символьной верификации.Разработан для прототипа программного комплекса, обеспечивающего проектирование конкретной модели ИВ для производственного участка, модуль детализации и конкретизации поведенческой модели ИВ. Организована и проведена рабочая встреча с иностранным партнером для обсуждения достигнутых результатов и корректировки текущих задач проекта; проведены дополнительные патентные исследования по тематике ПНИЭР для подачи заявки на изобретение. Работа выполнена в соответствии с ГОСТ 7.32 - 2017.