Лесовой Сергей Леонидович
Направление подготовки: 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).
Использование архитектурных моделей позволяет:
- визуализировать и документировать архитектуру систем;
- проводить анализ различных статических и динамических характеристик системы;
- повторно использовать уже имеющиеся архитектурные компоненты.
В данной работе будут исследоваться методы автоматического построения архитектурных моделей на основе анализа исходного кода прикладного (функционального) программного обеспечения. Созданные модели могут использоваться как при разработке новых, так и для анализа уже существующих программно-аппаратных комплексов.