Россия
Статья представляет собой разработку и анализ стохастической модели устойчивости операционных систем 2026 года к редким состояниям гонки на основе марковских цепей с поглощающими состояниями и векторизованной инъекции гонок. Авторы классифицируют гонки, формализуют фазовые переходы стабильности и реализуют алгоритм fuzzing'а с importance sampling для верификации планировщика, файловых систем и сетевого стека. Уникальность работы заключается в обнаружении скрытых уязвимостей ядра за часы вместо месяцев, повышении устойчивости на порядки с минимальными накладными расходами и предиктивной верификацией перед производством.
редкие гонки, операционные системы, стохастическая верификация, марковские цепи, устойчивость ядра
1. Формализация верификации топологии и электрической схемы для систем автоматизированного проектирования / Т. В. Скворцова, К. В. Зольников, А. М. Плотников, И. В. Скоркин // Моделирование систем и процессов. – 2024. – Т. 17, № 3. – С. 61-70. – DOIhttps://doi.org/10.12737/2219-0767-2024-59-68. – EDN DUYQHJ.
2. Иванов А. А. Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций // Известия СПИИРАН. – 2016. – Т. 13, № 6. – С. 65-78. – URL: https://www.ispras.ru/proceedings/docs/2016/28/6/isp_28_2016_6_65.pdf (дата обращения: 17.02.2026).
3. Сидоров В. В. Метод легковесного статического анализа для поиска состояний гонок // Труды ИСП РАН. – 2024. – Т. 47, № 2. – С. 45-56. – URL: https://cyberleninka.ru/article/n/metod-legkovesnogo-staticheskogo-analiza-dlya-poiska-sostoyaniy-gonok (дата обращения: 17.02.2026).
4. Генетические алгоритмы в моделировании поведения робота / А. С. Логвиненко, Л. Ю. Смилянский, А. И. Заревич, Ф. В. Макаренко // Новые аспекты моделирования систем и процессов : материалы Междунар. науч.-практ. конф. / отв. ред. В. К. Зольников, А. И. Заревич. – Воронеж, 2023. – С. 94–103.
5. Синтез больших данных и коррекция дисбаланса классов для улучшения модели классификации лесных пожаров / А. И. Заревич, Ф. В. Макаренко, А. В. Полуэктов // Лесное хозяйство в условиях глобальных вызовов: новые парадигмы устойчивого развития. Forestry – 2025 : материалы Междунар. лес. форума, приуроч. к празднованию 95-летия ВГЛТУ. – Воронеж, 2025. – С. 773–785.
6. Моделирование колебательных процессов в пакете MVStudium / А. В. Полуэктов, К. В. Зольников, В. И. Анциферова // Моделирование систем и процессов. – 2021. – Т. 14, № 4. – С. 139–148. – DOIhttps://doi.org/10.12737/2219-0767-2021-14-4-139-148. – EDN PPOUDI.
