Институт системного программирования им. В.П. Иванникова РАН


Андрианов Павел Сергеевич

Анализ корректности синхронизации компонентов ядра операционных систем

Диссертация защищена

Искомая степень: Кандидат физико-математических наук.

Специальность: 05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

Дата размещения: 23 марта 2021.
Текст диссертации: Скачать

Решение совета о принятии диссертации к защите: Диссертация принята к защите.
Автореферат: Скачать
Отзыв научного руководителя: Скачать
Дата защиты: 25 мая 2021.

Официальный оппонент: Галатенко Владимир Антонович, доктор физико-математических наук (05.13.11).

Место работы, должность: Федеральное государственное учреждение «Федеральный научный центр Научно-исследовательский институт системных исследований Российской академии наук», заведующий сектором в отделе информационной безопасности.

Основные публикации за последние 5 лет:

  1. Информационная безопасность интернета вещей: обзор основных положений. Галатенко В.А., Костюхин К.А. Программная инженерия. 2020. Т. 11. № 5. С. 259-269.
  2. Посмертный анализ процессов ОСРВ Багет с использованием аварийных дампов состояния. Галатенко В.А., Костюхин К.А. Труды научно-исследовательского института системных исследований Российской академии наук. 2020. Т. 10. № 1. С. 17-21.
  3. Разделяемые библиотеки для операционной системы реального времени. Вьюкова Н.И., Галатенко В.А., Годунов А.Н., Самборский С.В., Хоменков И.И. Труды научно-исследовательского института системных исследований Российской академии наук. 2020. Т. 10. № 1. С. 4-16.
  4. СХЕМЫ ПРОГРАММ КАК ИНСТРУМЕНТ РАСПАРАЛЛЕЛИВАНИЯ. ОСНОВНЫЕ ПОНЯТИЯ. Галатенко В.А., Вьюкова Н.И., Костюхин К.А. Программная инженерия. 2019. Т. 10. № 4. С. 147-159.
  5. СХЕМЫ ПРОГРАММ КАК ИНСТРУМЕНТ РАСПАРАЛЛЕЛИВАНИЯ. МЕХАНИЗМЫ ПРИМЕНЕНИЯ. Галатенко В.А., Вьюкова Н.И., Костюхин К.А. Программная инженерия. 2019. Т. 10. № 6. С. 243-256.
  6. ОБРАТИМАЯ ОТЛАДКА. Галатенко В.А., Костюхин К.А. Программная инженерия. 2019. Т. 10. № 7-8. С. 291-296.
  7. АВТОМАТИЧЕСКИЙ РЕМОНТ ПРОГРАММ: БАЗОВЫЕ ПОНЯТИЯ И ПОДХОДЫ. Галатенко В.А., Костюхин К.А. Программная инженерия. 2019. Т. 10. № 9-10. С. 355-366.
  8. АВТОМАТИЧЕСКИЙ РЕМОНТ ПРОГРАММ: СРАВНИТЕЛЬНЫЙ АНАЛИЗ ПОДХОДОВ. Галатенко В.А., Костюхин К.А. Программная инженерия. 2019. Т. 10. № 11-12. С. 419-429.
  9. SUPPORT FOR PARALLEL AND CONCURRENT PROGRAMMING IN C++. V’yukova N.I., Galatenko V.A., Samborskii S.V. Programming and Computer Software. 2018. Т. 44. № 1. С. 35-42.
  10. ВЫБОР ПАКЕТНОГО МЕНЕДЖЕРА ДЛЯ МНОГОВЕРСИОННЫХ ПРИЛОЖЕНИЙ. Галатенко В.А., Костюхин К.А., Дзабраев М.Д. Программные продукты и системы. 2018. № 3. С. 469-474.
  11. ПОДДЕРЖКА МНОГОЯДЕРНОГО ПРОГРАММИРОВАНИЯ В КОМПИЛЯТОРЕ ДЛЯ ПРОЦЕССОРОВ КОМДИВ ПОД УПРАВЛЕНИЕМ ОС РВ БАГЕТ. Вьюкова Н.И., Галатенко В.А., Самборский С.В. Программная инженерия. 2018. Т. 9. № 9. С. 393-403.
  12. ПРОБЛЕМЫ ОТЛАДКИ МНОГОПРОЦЕССНЫХ СИСТЕМ. Галатенко В.А., Костюхин К.А. Программные продукты и системы. 2017. № 3. С. 378-383.
  13. ПРИМЕНЕНИЕ ПРОТОКОЛА RSP В РАМКАХ КОНЦЕПЦИИ КОНТРОЛИРУЕМОГО ВЫПОЛНЕНИЯ ВСТРАИВАЕМЫХ ПРИЛОЖЕНИЙ. Галатенко В.А., Костюхин К.А., Дзабраев М.Д. Программная инженерия. 2017. Т. 8. № 1. С. 3-6.
  14. ПОДДЕРЖКА ПАРАЛЛЕЛЬНОГО И КОНКУРЕНТНОГО ПРОГРАММИРОВАНИЯ В ЯЗЫКЕ С++. Вьюкова Н.И., Галатенко В.А., Самборский С. Программирование. 2017. № 5. С. 48-59.
  15. ДИРЕКТИВНАЯ И АВТОМАТИЧЕСКАЯ ВЕКТОРИЗАЦИИ ЦИКЛОВ. Вьюкова Н.И., Галатенко B.А., Самборский C.В. Программная инженерия. 2016. Т. 7. № 10. С. 435-445.
  16. ИСПОЛЬЗОВАНИЕ ВЕКТОРНЫХ РАСШИРЕНИЙ СОВРЕМЕННЫХ ПРОЦЕССОРОВ. Вьюкова Н.И., Галатенко В.А., Самборский С.В. Программная инженерия. 2016. Т. 7. № 4. С. 147-157.

Отзыв оппонента: Скачать

Официальный оппонент: Климов Юрий Андреевич, кандидат физико-математических наук (05.13.11).

Место работы, должность: Федеральное государственное учреждение «Федеральный исследовательский центр Институт прикладной математики им.М.В.Келдыша Российской академии наук», старший научный сотрудник отдела инструментального и прикладного программного обеспечения.

Основные публикации за последние 5 лет:

  1. И. А. Адамович, Ю. А. Климов, “Специализатор JaSpe: алгоритм внутрипроцедурного анализа времени связывания программ на подмножестве языка Java”, Программные системы: теория и приложения, 11:1 (2020), 3–29
  2. И. А. Адамович, Ю. А. Климов, “Пакетный протокол взаимодействия программируемых логических интегральных схем”, Программные системы: теория и приложения, 11:1 (2020), 31–55
  3. AN FPGA PACKET COMMUNICATION PROTOCOL. Adamovich I.A., Klimov Yu.A. Program Systems: Theory and Applications. 2020. Т. 11. № 1 (44). С. 57-78.
  4. С. С. Андреев, С. А. Дбар, Ю. А. Климов, А. О. Лацис, Е. А. Плоткина, “Квантовая модель вычислений глазами классического программиста”, Препринты ИПМ им. М. В. Келдыша, 2018, 178, 30 стр.

Отзыв оппонента: Скачать

Ведущая организация: Федеральное государственное учреждение «Федеральный исследовательский центр «Информатика и управление» Российской академии наук».

Контактные данные: 119333, Москва, ул.Вавилова, 44 корп. 2, 8(499)135-62-60, frccsc@frccsc.ru, http://www.frccsc.ru/

Основные публикации за последние 5 лет:

  1. Ю. Е. Малашенко, И. А. Назарова, Аппроксимация множества достижимых потоков многопользовательской сети, Информатика и ее применения, 2020
  2. Е. К. Баранова, А.А. Мурзакова, Е.А. Мурзакова "Сравнительный анализ программного обеспечения для анализа рисков информационной безопасности в соответствии c ГОСТ Р ИСО/МЭК 27005$10", Информационные технологии и вычислительные системы, 2019
  3. М. Г. Коновалов, Р. В. Разумчик. "Комплексное управление в одном классе систем с параллельным обслуживанием". "Информатика и её применение", 2019, т. 13, в. 4, стр. 54–59
  4. А. А. Грушо, Н. А. Грушо, Е. Е. Тимонина "Использование метаданных для реализации требований политики безопасности MLS". "Информатика и её применение", 2019, т. 13, в. 4, стр. 85–89
  5. А. А. Грушо, Н. А. Грушо, Е. Е. Тимонина "Методы выявления «слабых» признаков нарушений информационной безопасности". "Информатика и её применение", 2019, т. 13, в. 3, стр. 3–8
  6. Я. М. Агаларов, М. Г. Коновалов "Доказательство унимодальности целевой функции в задаче порогового управления нагрузкой на сервер". "Информатика и её применение", 2019, т. 13, в. 2, стр. 2–6
  7. Ю.А. Флеров, Л.Л. Вышинский "Автоматизация проектирования прикладных информационно-вычислительных систем". "Информационные технологии и вычислительные системы", т. 3, стр. 29-41, 2018
  8. М.С. Ладнушкин "Исследование метода дублирования триггеров в средствах тестирования с компрессией". "Информационные технологии и вычислительные системы", т. 3, стр. 42-51, 2018
  9. С.К. Сомов "Репликация данных как инструмент повышения надежности функционирования распределенных систем". "Информационные технологии и вычислительные системы", т. 3, стр. 69-79, 2018
  10. Б. М. Басок, В. Н. Захаров, С. Л. Френкель "Использование вероятностной модели вычислений для тестирования одного класса готовых к использованию программных компонентов локальных и сетевых систем". "Информатика и её применение", 2018, т. 12, в. 4, стр. 44–51
  11. О функциональной надежности информационных систем, Гаранин А.И. ИТНОУ: Информационные технологии в науке, образовании и управлении. 2018. № 2 (6). С. 45-50.
  12. Алгоритм разбора трассы среды комплексного анализа производительности алгоритмов балансировки в параллельном методе ветвей и границ, Орлов Ю.В., International Journal of Open Information Technologies. 2017. Т. 5. № 1. С. 93-97.
  13. Оптимизация периодической обработки информации в специализированных устройствах. Часть 1, Хачумов В.М. Информационные технологии и вычислительные системы. 2017. № 1. С. 62-76.
  14. ИТЕРАЦИОННЫЙ ПОДХОД К ПОВЫШЕНИЮ КАЧЕСТВА ТЕСТИРОВАНИЯ ПРОГРАММ. Басок Б.М., Захаров В.Н., Френкель С.Л. Российский технологический журнал, 2017, том 5, № 4, с. 3-12
  15. ВЕРОЯТНОСТНЫЕ МОДЕЛИ ОЦЕНКИ УСТОЙЧИВОСТИ ПРОГРАММ К КРАТКОВРЕМЕННЫМ АППАРАТНЫМ СБОЯМ. Френкель С.Л., Захаров В.Н., Басок Б.М. Информатика и ее применения, издательство ИПИ РАН (М.), 2017, том 11, № 1, с. 46-57
  16. П.Б. Богданов, О.Ю. Сударева "Производительность процессоров КОМДИВ на ряде типовых расчётных задач". "Информационные технологии и вычислительные системы", т. 4 , стр. 104-111, 2017
  17. А.Л. Чернявский, А.А. Дорофеюк, А.С. Мандель, И.В. Покровская, А.Г. Спиро "Использование мультиагентных систем в задачах управления медицинским учреждением". "Информационные технологии и вычислительные системы", т. 4 , стр. 92-100, 2016.
  18. АЛГЕБРАИЧЕСКИЙ ПОДХОД К ФОРМАЛИЗАЦИИ ПАРАЛЛЕЛИЗМА ДАННЫХ. Захаров В.Н., Мунерман В.И. Современные информационные технологии и ИТ-образование, издательство Фонд содействия развитию интернет-медиа, ИТ-образования, человеческого потенциала Лига интернет-медиа (Москва), 2016, том 12, № 1, с. 72-79
  19. N. A. Skvortsov, E. A. Avvakumova, D. O. Bryukhov, A. E. Vovchenko, A. A. Volnova, O. B. Dluzhnevskaya, P. V. Kaygorodov, L. A. Kalinichenko, A. Yu. Knyazev, D. A. Kovaleva, O. Yu. Malkov, A. S. Pozanenko, and S. A. Stupnikov. Conceptual Approach to Astronomical Problems. Astrophysical Bulletin. 71(1):114-124, 2016.
  20. Stupnikov S. A., Briukhov D. O., Skvortsov N. A. Co-lending Systemic Risk Analysis over Heterogeneous Data Collections. Informatics and Applications. Moscow: IPI RAN, 2016. -- V. 10, Iss. 1. -- P. 24-34.

Отзыв ведущей организации: Скачать

Решение диссертационного совета по результатам защиты диссертации: Принято решение о присуждении степени.

Присутствовало 17 из 22 членов диссертационного совета: Томилин А.Н., Петренко А.К., Зеленов С.В., Белеванцев А.А., Бурдонов И.Б., Дроздов А.Ю., Евтушенко Н.В., Жданов А.А., Захаров В.Н., Карпов Л.Е., Козачок А.В., Крюков В.А., Кузнецов С.Д., Лаврищева Е.М., Позин Б.А., Семенов В.А., Шнитман В.З.

Заключение диссертационного совета: Скачать