name: Анализ корректности синхронизации компонентов ядра операционных систем
keyword_list: синхронизация ядро операционной системы подход с раздельным рассмотрением потоков статическая верификация Многопоточная программа
abstract: Объект: компоненты ядра ОС.
  Цель: разработка метода поиска состояний гонок для анализа корректности синхронизации; метод должен масштабироваться на большие объемы кода, обладать приемлемым уровнем ложных предупреждений, учитывать специфику ядра ОС.
  Методы исследования: анализ, формализация, абстрагирование, эксперименты, сравнение.
  Результаты: обобщенный алгоритм анализа программ, позволяющий
  использовать различные виды анализа; алгоритм для проведения раздельного анализа потоков многопоточных программ; метод анализа корректности синхронизации в многопоточных программах.
  Внедрение: разработанный инструмент применен для поиска ошибок в ядрах закрытых ОС, а также в драйверах ОС Linux.
  Область применения: системное и прикладное многопоточное программное обеспечение.
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: E-6121-2017
chairman_dissertation_council.scopus_author_id: 56274803200
chairman_dissertation_council.territory: РОССИЯ
organization_supervisor.name: Арутюн
organization_supervisor.surname: Аветисян
organization_supervisor.patronymic: Ишханович
organization_supervisor.position: Директор
organization_supervisor.territory: РОССИЯ
rubrics.code: 50.41.15
rubrics.name: Операционные системы
oecds.code: 01.02.ET
oecds.name: COMPUTER SCIENCE, INFORMATION SYSTEMS
speciality_codes.name: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
speciality_codes.code: 05.13.11
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: 1037700067327
protection_organization.organization_type: Организация
protection_organization.okogu: Министерство науки и высшего образования Российской Федерации
protection_organization.okopf: Федеральные государственные бюджетные учреждения
author_organization.short_name: ИСП РАН
author_organization.name: Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова Российской академии наук
author_organization.ogrn: 1037700067327
author_organization.organization_type: Организация
author_organization.okogu: Министерство науки и высшего образования Российской Федерации
author_organization.okopf: Федеральные государственные бюджетные учреждения