Лев Гореликов, начальник сектора разработки бортового программного обеспечения космического направления АО НТЦ "Модуль". Окончил Московский Авиационный Институт. Свою профессиональную карьеру начинал в качестве RTL designer в АО «Российские космические системы», где занимался разработкой SoC и устройств на их основе. Далее занимался системным программированием (портированием операционных систем, разработкой новых функциональных модулей и BSP, разработкой эмуляторов аппаратных платформ на базе QEMU) и проектированием и тестированием программно-аппаратных комплексов (SoC, Single-Board and ReConfigurable Computer) класса space и industrial. Имеет несколько крупных завершенных проектов внедрённых в эксплуатацию в интересах Роскосмоса, Лукойла и т.д. Область профессиональных интересов: System Programming, Real-Time Systems, Heterogeneous Computing.
Доклад является изложением многолетнего опыта разработки и внедрения доверенного системного программного обеспечения для бортовой цифровой вычислительной машины управления космическим аппаратом. Рассмотрена проблематика разработки подобных систем, представлен маршрут разработки и основные достигнутые результаты.
