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


Лесовой Сергей Леонидович

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

Научные публикации

Лесовой С.Л. "Использование методов модельно-ориентированной обратной разработки для анализа ARINC 653 совместимого функционального ПО", Сборник трудов конференции "Актуальные проблемы системной и программной инженерии" (АПСПИ 2017). Пятая международная научно-практическая конференция «Актуальные проблемы системной и программной инженерии» (АПСПИ-2017), г. Москва, 14.11.2017 - 16.11.2017.

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

Иностранный язык (до поступления в аспирантуру): отлично, май 2002 года.
История и философия науки: отлично, июнь 2017 года.

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

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

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

При разработке программно-аппаратных комплексов широкое применение получил модельно-ориентированный подход с использованием архитектурных моделей (стандарт AADL).

Использование архитектурных моделей позволяет:

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

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