Петренко Александр Константинович. Доктор физико-математических наук, профессор. Тема докторской диссертации «Тестирование на основе формальных спецификаций в процессах разработки программных комплексов» (2003). Заведующий отделом Технологий программирования ИСП РАН. Профессор кафедр системного программирования ВМК МГУ и Факультета компьютерных наук НИУ ВШЭ. Член редколлегии журнала «Программирование», Председатель подкомитета Технического комитета по стандартизации ТК22 JTC 1 ISO/JEC «Языки программирования, их окружение и системные программные интерфейсы», Организатор Международного семинара по тестированию на основе моделей (Model Based Testing — MBT workshop), ежегодной конференции молодых ученых по программной инженерии (Spring Young Researchers Colloquium on Software Engineering, SyrcoSE), Московского городского семинара "Технологии разработки и анализа программ (ТРАП).
Предлагается технология сборки экспериментального варианта ядра OS Linus с надежным и безопасным функционированием в технических устройствах и прикладных системах. Разработка варианта ядра проводилась в рамках проектов РФФИ №352 и №206 в период 2016-2021гг. Представлена технология сборочного создания вариантов OS Linus и обеспечения безопасности и надежности функционирования варианта ядра в системах и устройствах. Описаны операции config, make конфигурационной сборки ядра ОС IEEE 828 Configuration - 1996, 2012, средства верификации, тестирования, безопасности, защиты и оценки надежности отдельных элементов и варианта ядра OS Linus. Приведены примеры методов обеспечения надежности, защиты и безопасности на некоторых технических средствах с членами названных проектов РФФИ.
