НПП Дозор
Airborne OS micro kernel
Реинжиниринг и формальная верификация бортовой ОС micro kernel + BSP.
Основные технологии:
C, ASM ARM Cortex-Mx, HAL, ГОСТ 51904, уровень А

Команда и продолжительность:
4 инженера, 1 год.

История успеха:
Реинжиниринг завершен без поддержки авторов микро-ядра. Некоторые критические баги в безопасности найдены и устранены.
Мы были удивительно довольны высоким уровнем квалификации команды Advalange, ее вниманием к потребностям клиента и готовностью учесть все наши требования.
Дмитрий Подхватилин, Заместитель главного конструктора
НПП Дозор