Защита диссертации - Белеванцев Андрей Андреевич

Белеванцев Андрей Андреевич

Многоуровневый статический анализ исходного кода для обеспечения качества программ

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

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

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

Дата размещения: 2017-11-13.
Текст диссертации: Скачать

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

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

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

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

1. Вьюкова Н.И., Галатенко В.А., Самборский С.В. LLVM как инфраструктура разработки компиляторов для встроенных систем. - "Программная инженерия", N 6, 2013. - с. 2-10.
2. Вьюкова Н.И., Галатенко В.А., Самборский С.В. О стандарте C11. - "Программная инженерия", N 8, 2013. - с. 2-9.
3. К вопросу по строения формальных моделей сбоеустойчивых приложений реального времени Галатенко В.А., Костюхин К.А., Шмырев Н.В. Интеллектуальные системы. Теория и приложения. 2013. Т. 17. № 1-4. С. 231-236.
4. К постановке задачи разграничения доступа в распределенной объектной среде. Галатенко А.В., Галатенко В.А. Программная инженерия. 2013. № 5. С. 27-30.
5. Модель памяти многопоточных программ в стандарте C11. Вьюкова Н.И., Галатенко В.А., Самборский С.В. Программная инженерия. 2013. № 10. С. 2-9.
6. Основные понятия контролируемого выполнения сложных систем. Бетелин В.Б., Галатенко В.А., Костюхин К.А. Информационные технологии. 2013. № S3. С. 1-32.
7. Controlled execution with explicit model. Бетелин В.Б., Галатенко В.А., Костюхин К. А. PROGRAMMING AND COMPUTER SOFTWARE, 2014, № 6, Т. 40, стр. 305 - 313
8. Трассировка и самолечение в POSIX-системах. Бомбин А.А., Галатенко В.А., Костюхин К.А. Программные продукты и системы, 2014, № 108, стр. 5 - 9
9. КОНТРОЛИРУЕМОЕ ВЫПОЛНЕНИЕ ПРИЛОЖЕНИЙ НА МНОГОПРОЦЕССОРНЫХ ПЛАТФОРМАХ. Бетелин В.Б., Галатенко В.А., Костюхин К.А. Информационные технологии. 2015. Т. 21. № 10. С. 723-728.
10. СОВМЕЩЕНИЕ ВЫБОРА И ПЛАНИРОВАНИЯ КОМАНД В ПРОГРАММНОЙ КОНВЕЙЕРИЗАЦИИ ЦИКЛОВ. Вьюкова Н.И., Галатенко В.А., Самборский С.В. Программная инженерия. 2015. № 9. С. 3-10.
11. К вопросу самовосстановления программного обеспечения в ARINC- и POSIX-системах. Бомбин А.А., Галатенко В.А., Костюхин К.А. Программная инженерия, 2015, № 3, стр. 3 - 12
12. ДИРЕКТИВНАЯ И АВТОМАТИЧЕСКАЯ ВЕКТОРИЗАЦИИ ЦИКЛОВ. Вьюкова Н.И., Галатенко B.А., Самборский C.В. Программная инженерия. 2016. Т. 7. № 10. С. 435-445.
13. ИСПОЛЬЗОВАНИЕ ВЕКТОРНЫХ РАСШИРЕНИЙ СОВРЕМЕННЫХ ПРОЦЕССОРОВ. Вьюкова Н.И., Галатенко В.А., Самборский С.В. Программная инженерия. 2016. Т. 7. № 4. С. 147-157.
14. ПРОБЛЕМЫ ОТЛАДКИ МНОГОПРОЦЕССНЫХ СИСТЕМ. Галатенко В.А., Костюхин К.А. Программные продукты и системы. 2017. № 3. С. 378-383.
15. ПРИМЕНЕНИЕ ПРОТОКОЛА RSP В РАМКАХ КОНЦЕПЦИИ КОНТРОЛИРУЕМОГО ВЫПОЛНЕНИЯ ВСТРАИВАЕМЫХ ПРИЛОЖЕНИЙ. Галатенко В.А., Костюхин К.А., Дзабраев М.Д. Программная инженерия. 2017. Т. 8. № 1. С. 3-6.

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

Официальный оппонент: Мельник Эдуард Всеволодович, доктор технических наук (05.13.11 + 05.13.05).

Место работы, должность: Федеральное государственное бюджетное учреждение науки Южный научный центр Российской академии наук (ЮНЦ РАН), отдел информационных технологий и процессов управления, и.о. заведующего отделом, главный научный сотрудник.

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

1. Каляев, И.А., Коробкин, В.В., Мельник, Э.В., Хисамутдинов М.В. Методы и средства повышения безопасности и сокращения времени операций с ядерным топливом на АЭС с реактором типа ВВЭР-1000 / Южный федеральный университет – Ростов н/Д: Изд-во Южного федерального университета, 2014.–208 с.
2. Melnik E.V., Klimenko, A.B., Korobkin, V.V. The method providing fault-tolerance for information and control systems of the industrial mechatronic objects // IOP Conference Series: Materials Science and Engineering, 2017, 177(1), 012004
3. E. Melnik, A.Klimenko, I.Korovin. A recovery method for the robotic decentralized control system with performance redundancy. // First International Conference, ICR 2016, Budapest, Hungary, August 24-26, 2016, Proceedings. pp 9-17. 2016. (http://link.springer.com/chapter/10.1007/978-3-319-43955-6_2)
4. E.Melnik, V.Korobkin, A.Klimenko. System Reconfiguration Using Multiagent Cooperative Principles. // Proceedings of the First International Scientific Conference ― Intelligent Information Technologies for Industry (IITI’16). Volume 451 of the series Advances in Intelligent Systems and Computing. 2016. pp 385-394. (http://link.springer.com/chapter/10.1007/978-3-319-33816-3_38)
5. Клименко А.Б., Клименко В.В., Таранов А.Ю. Повышение качества конфигураций распределенной информационно-управляющей системы посредством выравнивания вычислительной нагрузки // Вестник компьютерных и информационных технологий, М.: Издательский дом ”Спектр”, №11, 2016, С.33-38.
6. Э.В.Мельник, А.Б. Клименко, Д.Я. Иванов, В.А. Гандурин. Методы обеспечения бесперебойной работы сетецентрических информационно-вычислительных систем с кластеризацией // Известия ЮФУ. Технические науки, Ростов-на-Дону: изд-во Южного федерального университета №12, 2016 г., С.71-84
7. Мельник, Э.В. Методы организации высоконадежных сетецентрических ИУС с распределенным диспетчированием и кластеризацией / Э.В. Мельник [и др.] // Известия ЮФУ. Технические науки. – 2015. – № 10 (171). – С. 129-143.
8. Каляев А.И., Мельник Э.В. Об одном подходе к аппаратной организации коммутатора для программно-конфигурируемых сетей на базе программируемых логических интегральных схем / Вестник компьютерных и информационных технологий. 2014. № 5. С. 26-31.
9. V.Korobkin, E.Melnik, A.Klimenko. Fault-tolerant architecture for the hazardous object information control systems / Application of information and communication technologies – AICT2015 (IEEE catalog number CFPI556H-PRT): conference proceedings (Rostov-on-Don, Russia 14-16 October 2015). – Rostov-on-Don: SFedU. – 2015. – P.274-276.
10. Мельник Э.В., Клименко А.Б. Экспериментальное исследование алгоритма имитации отжига с ускоренным понижением температуры для формирования конфигурации распределенной информационно-управляющей системы / Вестник компьютерных и информационных технологий. 2015. № 3 (129). С. 16-21.

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

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

Место работы, должность: Федеральное госу­дарственное бюджетное образовательно­е учреждение высшего профессионально­го образования «Санкт-Петербургский го­сударственный университет», заведующий кафедрой систем­ного программирования.

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

1. “Good technology makes the difficult task easy”, ESEC/FSE 2013 Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, Pages 683-686, ACM New York, NY, USA, 2013
2. Брыксин Т.А., Литвинов Ю.В., Терехов А.Н. QReal: платфоpма визуального пpедметно-оpиентиpованного моделиpования, Программная инженерия, 6, 2013.
3. Andrebelevancevy Terekhov, Yurii Litvinov, Timofey Bryksin. QReal:Robots an environment for teaching computer science and robotics in schools. Proceedings of the 9th Central & Eastern European Software Engineering Conference in Russia, ACM New York, NY, USA, 2013.
4. Терехов А.Н. АЛГОЛ 68 И ЕГО ВЛИЯНИЕ НА ПРОГРАММИРОВАНИЕ В СССР И РОССИИ (ЧАСТЬ 1). ТРУДЫ SORUCOM-2014. Третья Международная конференция Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР: история и перспективы 2014. С. 342-347.
5. Терехов А.Н. АЛГОЛ 68 И ЕГО ВЛИЯНИЕ НА ПРОГРАММИРОВАНИЕ В СССР И РОССИИ (ЧАСТЬ 2). ТРУДЫ SORUCOM-2014. Третья Международная конференция Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР: история и перспективы 2014. С. 348-353.
6. Терехов А.Н., Геворкян Т.Г., Киселев М.М., Немешев М.Х. Инженерная лаборатория в общеобразовательных учреждениях, Компьютерные инструменты в образовании, №5, 2015.
7. A.N.Terekhov, D.V.Koznov, E.V.Larchik. View to view transformations in domain specific modeling. Programming and Computer Software (PCS) 41(4), 2015.
8. Терехов А.Н. ИНСТРУМЕНТАЛЬНОЕ СРЕДСТВО ОБУЧЕНИЯ ПРОГРАММИРОВАНИЮ И ТЕХНИКЕ ТРАНСЛЯЦИИ. Компьютерные инструменты в образовании. 2016. № 1. С. 36-47.
9. Луцив Д.В., Кознов Д.В., Басит Х.А., Терехов А.Н. ЗАДАЧИ ПОИСКА НЕЧЕТКИХ ПОВТОРОВ ПРИ ОРГАНИЗАЦИИ ПОВТОРНОГО ИСПОЛЬЗОВАНИЯ ДОКУМЕНТАЦИИ Программирование. 2016. № 4. С. 39-49.
10. Terekhov A.N. THE INTEGRATED EVALUATION OF THE QUALITY OF PHONE CONVERSATION UNDER NEW PERSPECTIVE COMMUN ICATION SERVICES T-Comm: Телекоммуникации и транспорт. 2016. № 6. С. 51.
11. Терехов А.Н., Терехов М.А. ПРОЕКТ РУСИ ДЛЯ ОБУЧЕНИЯ И СОЗДАНИЯ ВЫСОКОНАДЕЖНЫХ ПРОГРАММНЫХ СИСТЕМ. Известия высших учебных заведений. Северо-Кавказский регион. Серия: Технические науки. 2017. № 3 (195). С. 70-75.
12. Рысин Ю.С., Терехов А.Н., Яблочников С.Л. ИНСТРУМЕНТАЛЬНАЯ ИДЕНТИФИКАЦИЯ ГОВОРЯЩЕГО В УСЛОВИЯХ ПОМЕХ. Вестник связи. 2017. № 11. С. 8-10.
13. Терехов А.Н., Новиков Б.А., Крук Е.А., Нестеров В.М., Леонов Г.А. СОЗДАНИЕ НА МАТЕМАТИКО-МЕХАНИЧЕСКОМ ФАКУЛЬТЕТЕ СПБГУ НАУЧНО-ОБРАЗОВАТЕЛЬНОГО ИТ-КЛАСТЕРА НА БАЗЕ СОВРЕМЕННОЙ ФУНДАМЕНТАЛЬНОЙ МАТЕМАТИКИ. Компьютерные инструменты в образовании. 2017. № 2. С. 42-57.

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

Ведущая организация: Федеральный исследовательский центр "Информатика и управление" Российской Академии Наук

Контактные данные: 119333, Москва, Вавилова, д.44, кор.2, +7 499 1356260, ipiran@ipiran.ru, www.frccsc.ru

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

1. Nikolay A. Skvortsov, Leonid A. Kalinichenko, Dana A. Kovaleva, Oleg Y. Malkov. Search for hierarchical stellar systems of maximal multiplicity. Selected Papers of the XVII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2015). CEUR Workshop Proceedings, ISSN 1613-0073, Vol. 1752. P. 219-225.
2. Sergey Stupnikov. Formal Semantics of a Language for Entity Resolution and Data Fusion and its Application for Verification of Data Integration Workflows. Selected Papers of the XVII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2015). CEUR Workshop Proceedings, ISSN 1613-0073, Vol. 1752. P. 159-167.
3. Nikolay A. Skvortsov, Leonid A. Kalinichenko, Dmitry Yu. Kovalev. Conceptual modeling of subject domains in data intensive research. Selected Papers of the XVII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2015). CEUR Workshop Proceedings, ISSN 1613-0073, Vol. 1752. P. 7-15.
4. 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.
5. 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.
6. Stupnikov Sergey, Miloslavskaya Natalia, Budzko Vladimir. Unification of Graph Data Models for Heterogeneous Security Information Resources’ Integration. Proc. of the 3rd International Conference on Future Internet of Things and Cloud. IEEE, 2015. -- P. 457-464.
7. L. A. Kalinichenko, S. A. Stupnikov, A. E. Vovchenko, D. Y. Kovalev. Multi-Dialect Workflows. Advances in Databases and Information Systems: Proc. of the 18th East European Conference. LNCS 8716. -- Berlin-Heidelberg: Springer-Verlag, 2014. -- P. 352-365.
8. Kalinichenko L. A., Stupnikov S. A., Vovchenko E. A., Kovalev D. Y. Conceptual Declarative Problem Specification and Solving in Data Intensive Domains. Informatics and Applications. Moscow: IPI RAN, 2013. -- V. 7, Iss. 4. -- P. 112-139.
9. Kalinichenko L. A., Stupnikov S. A., Vovchenko E. A., Kovalev D. Y. Rule-based Multi-dialect Infrastructure for Conceptual Problem Solving over Heterogeneous Distributed Information Resources. New Trends in Databases and Information Systems. Selected Papers of the 17th European Conference on Advances in Databases and Information Systems and Associated Satellite Events. – Springer, 2013. Advances in Intelligent Systems and Computing, V. 241. – P. 61-68.

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

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

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

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