Зеленов Сергей Вадимович

Доцент базовой кафедры «Системное программирование» ИСП РАН им. В. П. Иванникова на факультете компьютерных наук НИУ ВШЭ, кандидат физико-математических наук (2001). Высшее образование получил в 1998 году в МГУ им. М. В. Ломоносова по специальности «Математика, прикладная математика» с квалификацией «Математик». С 1997 года работает в Институте системного программирования РАН. В Вышке преподаёт с 2017 года, общий научно-педагогический стаж — 27 лет. В сентябре 2020 года отмечен благодарностью факультета компьютерных наук НИУ ВШЭ. Владеет английским языком.

Читает дисциплину «Прикладной системный анализ» для первого курса магистратуры «Системное программирование» направления 09.04.04 «Программная инженерия» (2 модуль, 3 кредита, 28 контактных часов); тот же курс доступен студентам других программ в формате «Маго-лего» и открыт для всех кампусов университета. Курс состоит из трёх частей: методы анализа сетей передачи данных, методы анализа надёжности и методы построения расписаний для периодических задач. В программу входят моделирование систем на языке AADL, сетевое исчисление и его применение к бортовым сетям AFDX, подход Trajectory, анализ рисков на основе Error Model Annex, логико-вероятностный анализ, построение деревьев неисправностей и анализ FMEA, а также марковские модели отказов. По итогам обучения студент должен вычислять входящие кривые и максимальные задержки в оконечной системе и коммутаторе AFDX методом сетевого исчисления и методом Trajectory, находить минимальные сечения и меры значимости для дерева неисправностей и строить марковскую цепь по EMV2-модели ошибок комплекса.

Научные интересы лежат в области надёжности и безопасности программно-аппаратных комплексов и планирования строго периодических задач в операционных системах реального времени. Совместно с С. А. Зеленовой опубликовал работы «Анализ построения расписаний для строго периодических задач в ОСРВ» (журнал «Программирование», 2018; англоязычная версия — Schedulability Analysis for Strictly Periodic Tasks in RTOS, Programming and Computer Software, 2018) и «Критерий существования бесконфликтного расписания для системы строго периодических задач» (Труды ИСП РАН, 2017).

В Трудах Института системного программирования РАН вышли также статьи «Моделирование программно-аппаратных систем и анализ их безопасности» (2017), «Стохастические методы анализа комплексных программно-аппаратных систем» (2017), «Анализ методов оценки надежности оборудования и систем. Практика применения методов» (2018) и «Методы оценки надежности программных и технических систем» (2019) — последние две написаны в соавторстве с Н. В. Пакулиным и коллегами по институту.

Результаты докладывались на международных конференциях. Глава Effective Scheduling of Strict Periodic Task Sets with Given Permissible Periods in RTOS опубликована в серии Lecture Notes in Computer Science (том 11964, сборник Perspectives of System Informatics, Springer, 2019), работа Visualization of behavioral aspects of AADL-models — в сборнике конференции Computer Science and Information Technologies (CSIT-2017, Ереван, издательство IEEE). Публикации преподавателя индексируются в РИНЦ и Scopus, у него есть подтверждённый профиль ORCID.