name: Динамическая верификация процесс-ориентированных программ управления киберфизическими системами
keyword_list: процесс-ориентированное программирование динамическая верификация киберфизические системы
abstract: В диссертационной работе предложены, разработаны и исследованы модели, методы и комплексы программ
  динамической верификации процесс-ориентированных программ управления киберфизическими системами, которые
  используют средства процесс-ориентированного программирования и концепцию программных имитаторов. В работе
  предложена четырехкомпонентная формальная модель системы динамической верификации процесс-ориентированных
  программ управления киберфизическими системами, которая основана на расширенной математической модели
  гиперпроцесса, разработан численный метод определения вектора результатов исполнения тестовых сценариев,
  специфицированный для процесс-ориентированных программ, и разработана архитектура программного комплекса
  динамической верификации. Результаты работы были практически апробированы на задаче автоматизации Большого
  солнечного вакуумного телескопа. Разработанные подходы дают возможность повысить качество создаваемого процесс-
  ориентированного программного обеспечения.
chairman_dissertation_council.name: Анатолий
chairman_dissertation_council.surname: Шалагин
chairman_dissertation_council.patronymic: Михайлович
chairman_dissertation_council.position: Научный руководитель Института
chairman_dissertation_council.degree: Доктор физико-математических наук
chairman_dissertation_council.rank: Академик
chairman_dissertation_council.wos_research_id: -
chairman_dissertation_council.scopus_author_id: 7004011075
chairman_dissertation_council.rinc_id: 18224
chairman_dissertation_council.url: https://www.iae.nsk.su/ru/dissertation-council
chairman_dissertation_council.orcid: -
chairman_dissertation_council.territory: РОССИЯ
organization_supervisor.name: Сергей
organization_supervisor.surname: Бабин
organization_supervisor.patronymic: Алексеевич
organization_supervisor.position: Директор
organization_supervisor.territory: РОССИЯ
rubrics.code: 28.17.31
rubrics.name: Моделирование процессов управления
rubrics.code: 50.47.02
rubrics.name: Общие проблемы
oecds.code: 01.02.EW
oecds.name: COMPUTER SCIENCE, SOFTWARE ENGINEERING
oecds.code: 01.02.EX
oecds.name: COMPUTER SCIENCE, THEORY & METHODS
speciality_codes.name: Математическое моделирование, численные методы и комплексы программ
speciality_codes.code: 05.13.18
supervisors.fio: Зюбин В. Е.
supervisors.scientific_degree: Доктор технических наук
supervisors.speciality_code: Теоретические основы информатики
supervisors.responsible_type: Научный руководитель
opponents.fio: Окольнишников В. В.
opponents.scientific_degree: Доктор технических наук
opponents.speciality_code: Математическое моделирование, численные методы и комплексы программ
opponents.responsible_type: Оппонент
opponents.fio: Бессонов А. В.
opponents.scientific_degree: Кандидат технических наук
opponents.speciality_code: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
opponents.responsible_type: Оппонент
protection_organization.short_name: ИАиЭ СО РАН
protection_organization.name: Федеральное государственное бюджетное учреждение науки Институт автоматики и электрометрии Сибирского отделения Российской академии наук
protection_organization.ogrn: 1025403647807
protection_organization.organization_type: Организация
protection_organization.okogu: Министерство науки и высшего образования Российской Федерации
protection_organization.okopf: Федеральные государственные бюджетные учреждения
author_organization.short_name: ИАиЭ СО РАН
author_organization.name: Федеральное государственное бюджетное учреждение науки Институт автоматики и электрометрии Сибирского отделения Российской академии наук
author_organization.ogrn: 1025403647807
author_organization.organization_type: Организация
author_organization.okogu: Министерство науки и высшего образования Российской Федерации
author_organization.okopf: Федеральные государственные бюджетные учреждения