Аспирант Лесовой Сергей Леонидович

Поляков Сергей Андреевич

Направление подготовки: 09.06.01 «Информатика и вычислительная техника».
Направленность (специальность): 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей».
Дата зачисления: 01 октября 2016 года.
Приказ о зачислении: 13-у от 28.09.2016 года.
Срок окончания аспирантуры: 30 сентября 2020 года.
Форма обучения: очная.

Научные публикации после поступления в аспирантуру

1. А.П. Меркулов, С.А. Поляков, А.А. Белеванцев. Анализ программ на языке Java в инструменте Svace. Труды Института системного программирования РАН, том 29, вып. 3, 2017, стр. 57-74.

Кандидатские экзамены

Иностранный язык: отлично, май 2017 года.

Достижения в научно-исследовательской деятельности

Тема диссертационного исследования: Поиск ошибок управления ресурсами вычислительных систем методами статического анализа.
Утверждена на заседании Учёного совета ИСП РАН: Протокол № 2016-12 от 28 декабря 2016 года.
Научный руководитель: Белеванцев Андрей Андреевич, к.ф-м.н., в.н.с.

Сведения о планируемой диссертационной работе

Целью диссертации является разработка алгоритмов для поиска ошибок управления ресурсами. На алгоритмы накладываются следующие ограничения: масштабируемость на большие проекты, поиск нетривиальных ошибок, высокая точность работы (число ложных срабатываний не более 20%).

Задачи диссертационной работы:

• визуализировать и документировать архитектуру систем;
• проводить анализ различных статических и динамических характеристик системы;
• повторно использовать уже имеющиеся архитектурные компоненты.

В данной работе будут исследоваться методы автоматического построения архитектурных моделей на основе анализа исходного кода прикладного (функционального) программного обеспечения. Созданные модели могут использоваться как при разработке новых, так и для анализа уже существующих программно-аппаратных комплексов.