В Университете Решетнёва прошла успешная защита кандидатской диссертации, посвящённой обеспечению отказоустойчивости критически важных IT-систем. Соискатель Денис Грузенкин представил работу на тему «Модели описания и алгоритмы оценки диверсифицированности для принятия решений в мультиверсионных программных системах». Защита состоялась на заседании диссертационного совета и вызвала живой интерес у экспертов, подчеркнув статус Университета Решетнёва как ведущего центра компетенций в области системного анализа и программной инженерии. Исследование посвящено одной из самых острых проблем современной IT-отрасли. В условиях экспоненциального роста сложности информационных управляющих систем (ИУС) цена ошибки в таких сферах, как атомная энергетика, авиация и тяжёлая промышленность, становится критически высокой. Денис Грузенкин предлагает решать эту задачу с помощью методологии мультиверсионного программирования. В основе подхода лежит принцип программной избыточности: для выполнения одной задачи создаётся несколько независимых версий программы. Однако, как доказывает автор, простого дублирования кода недостаточно — версии должны быть диверсифицированными (разнородными). Только в этом случае сбой или ошибка в одном модуле не приведут к отказу всей системы. Поздравляем Дениса Владимировича и его научного руководителя Игоря Владимировича Ковалева с успешной защитой и желаем новых профессиональных достижений 🎉