Реинжиниринг и формальная верификация бортовой ОС micro kernel + BSP.
Основные технологии: C, ASM ARM Cortex-Mx, HAL, ГОСТ 51904, уровень А
Команда и продолжительность: 4 инженера, 1 год.
История успеха: Реинжиниринг завершен без поддержки авторов микро-ядра. Некоторые критические баги в безопасности найдены и устранены.
“
Мы были удивительно довольны высоким уровнем квалификации команды Advalange, ее вниманием к потребностям клиента и готовностью учесть все наши требования.
— Дмитрий Подхватилин, Заместитель главного конструктора